ed255

0 followers · 0 following

• Joined on 2024-02-02

Repositories

1

Projects Packages Public activity Starred repositories

ed255 created branch edu/review-milp-split in ed255/pod2 2026-05-06 17:42:16 +02:00

ed255 pushed to edu/review-milp-split at ed255/pod2 2026-05-06 17:42:16 +02:00

af9c6ca462 review

78ff134011 Remove sources of nondeterminism

fcf0888c25 Improved diagnostics on failure

20204548b3 Remove unused error messages

2443f85520 Working MILP version of predicate splitter

Compare 6 commits »

ed255 created branch main in ed255/pod2 2026-05-06 17:41:53 +02:00

ed255 pushed to main at ed255/pod2 2026-05-06 17:41:53 +02:00

5e3ac9a101 Support mixed depth container merkle proofs (#508)

111b132a00 Use projected statement lookup for op arg resolution (#503)

8844fe124c Diagnostics for MultiPodBuilder (#500)

3203c883e5 Use windowed ECAddXuGate for PublicKeyOf (#501)

dbd958dcca Allow entries as args in custom statements (#498)

Compare 10 commits »

ed255 created repository ed255/pod2 2026-05-06 17:41:24 +02:00