-
Notifications
You must be signed in to change notification settings - Fork 11
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Document
ReplaceValueWithEntryoperationdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#499 In 0xPARC/pod2;Formal verification for Podlang code?
discussionTopic that requires discussionTopic that requires discussionpodlangThe language to write custom predicates and pod requestsThe language to write custom predicates and pod requestsStatus: Open.#490 In 0xPARC/pod2;Reuse work done by MultiPodBuilder's solver
frontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, UsabilityStatus: Open.#489 In 0xPARC/pod2;Implement
to_bytesandfrom_bytesformerkletree::NodebackendTopics: Encoding, Arithmetic constraints, Verification, LayoutingTopics: Encoding, Arithmetic constraints, Verification, Layoutinggood first issueGood for newcomersGood for newcomersStatus: Open.#488 In 0xPARC/pod2;Should statement names be in the past tense?
discussionTopic that requires discussionTopic that requires discussionStatus: Open.#470 In 0xPARC/pod2;MainPodBuilder does not reuse Contains statements from input PODs
frontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, UsabilityStatus: Open.#469 In 0xPARC/pod2;Predicate sugar and predicate wildcards incompatiblitiy
bugSomething isn't workingSomething isn't workingStatus: Open.#461 In 0xPARC/pod2;Reconsider Value implementation
enhancementNew feature or requestNew feature or requestrefactorRefactoring task that may be left for the appropriate timeRefactoring task that may be left for the appropriate timeStatus: Open.#437 In 0xPARC/pod2;Risks of hash collisions due to Int encoding
discussionTopic that requires discussionTopic that requires discussionquestionFurther information is requestedFurther information is requestedStatus: Open.#428 In 0xPARC/pod2;Raw value collisions
backendTopics: Encoding, Arithmetic constraints, Verification, LayoutingTopics: Encoding, Arithmetic constraints, Verification, LayoutingdiscussionTopic that requires discussionTopic that requires discussionfrontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, UsabilityStatus: Open.#426 In 0xPARC/pod2;Explicit empty value literal
discussionTopic that requires discussionTopic that requires discussionpodlangThe language to write custom predicates and pod requestsThe language to write custom predicates and pod requestsStatus: Open.name conflict between Signer struct and trait
frontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, UsabilityStatus: Open.#410 In 0xPARC/pod2;