Search results

Redo reconstructing to be fast (and cache all classes)

Status: Open.

#22 In eytans/easter-egg;

· eytans opened on Nov 9, 2022

Verify matching jumps colored_brothers on first eclass

Status: Open.

#18 In eytans/easter-egg;

· eytans opened on Jul 4, 2022

Experiment: Conditional Optimizations

Status: Open.

#17 In eytans/easter-egg;

· corwin-of-amber opened on Jun 21, 2022

Experiment: Egg vs. Z3 (validity checking)

Status: Open.

#16 In eytans/easter-egg;

· corwin-of-amber opened on Jun 21, 2022

Gather colored node statistics

Status: Open.

#12 In eytans/easter-egg;

· eytans opened on May 9, 2022

Early stopping when false=true

Status: Open.

#7 In eytans/easter-egg;

· eytans opened on Apr 24, 2022

Improve sorting performance

Status: Open.

#6 In eytans/easter-egg;

· eytans opened on Apr 24, 2022