Search results

Should statement names be in the past tense?

discussionTopic that requires discussionTopic that requires discussion

Status: Open.

#470 In 0xPARC/pod2;

· robknight opened on Jan 29, 2026

MainPodBuilder does not reuse Contains statements from input PODs

frontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, Usability

Status: Open.

#469 In 0xPARC/pod2;

· robknight opened on Jan 29, 2026

Merkle trees for custom predicate "modules"

backendTopics: Encoding, Arithmetic constraints, Verification, LayoutingTopics: Encoding, Arithmetic constraints, Verification, Layouting

frontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, Usability

Status: Open.

#466 In 0xPARC/pod2;

· robknight opened on Jan 28, 2026

MultiPodBuilder tidying

frontendTopics: Language, Syntactic Sugar, UsabilityTopics: Language, Syntactic Sugar, Usability

Status: Open.

#463 In 0xPARC/pod2;

· robknight opened on Jan 28, 2026

Predicate sugar and predicate wildcards incompatiblitiy

bugSomething isn't workingSomething isn't working

Status: Open.

#461 In 0xPARC/pod2;

· ed255 opened on Jan 26, 2026

Pretty diagnostic errors from Podlang

podlangThe language to write custom predicates and pod requestsThe language to write custom predicates and pod requests

Status: Open.

#459 In 0xPARC/pod2;

· ed255 opened on Jan 21, 2026

First order predicates: 4th podlang

Status: Open.

#452 In 0xPARC/pod2;

· ed255 opened on Jan 14, 2026

First order predicates: 3rd frontend

Status: Open.

#451 In 0xPARC/pod2;

· ed255 opened on Jan 14, 2026

First order predicates (meta)

Status: Open.

#447 In 0xPARC/pod2;

· ed255 opened on Jan 14, 2026

Benchmark results for bigger Params

Status: Open.

#441 In 0xPARC/pod2;

· ed255 opened on Dec 10, 2025

Underflow in MerkleTree

backendTopics: Encoding, Arithmetic constraints, Verification, LayoutingTopics: Encoding, Arithmetic constraints, Verification, Layouting

bugSomething isn't workingSomething isn't working

Status: Open.

#439 In 0xPARC/pod2;

· ed255 opened on Oct 29, 2025

Reconsider Value implementation

enhancementNew feature or requestNew feature or request

refactorRefactoring task that may be left for the appropriate timeRefactoring task that may be left for the appropriate time

Status: Open.

#437 In 0xPARC/pod2;

· ed255 opened on Oct 20, 2025