eytans/easter-egg

Issues

• Redo reconstructing to be fast (and cache all classes)

  #22 opened 2 years ago by eytans
  0

• Add tests for `check_colored_imm`

  #19 opened 2 years ago by eytans
  0

• Add tests for `FilteringSearcher` with colored matches

  #20 opened 2 years ago by eytans
  0

• Add tests for `ConditionalApplier` with `check_colored`

  #21 opened 2 years ago by eytans
  0

• Verify matching jumps colored_brothers on first eclass

  #18 opened 2 years ago by eytans
  0

• Investigate weird case splits in split_and_or

  #8 opened 2 years ago by eytans
  1

• Early stopping when false=true

  #7 opened 3 years ago by eytans
  0

• Color aware pattern matching

  #4 opened 2 years ago by eytans
  1

• Colors should remove unneeded colored edges during rebuild

  #2 opened 2 years ago by eytans
  4

• Code duplication - process_unions

  #10 opened 2 years ago by eytans
  1

• Optimize Colored Add

  #14 opened 2 years ago by eytans
  1

• Apply is very slow compared to search and rebuild

  #11 opened 2 years ago by eytans
  1

• Colored Parents are not canonized during rebuild

  #9 opened 2 years ago by eytans
  1

• Experiment: Conditional Optimizations

  #17 opened 2 years ago by corwin-of-amber
  0

• Experiment: Egg vs. Z3 (validity checking)

  #16 opened 2 years ago by corwin-of-amber
  0

• Single colored edges

  #15 opened 2 years ago by eytans
  0

• Gather colored node statistics

  #12 opened 3 years ago by eytans
  0

• Colored Parents

  #5 opened 3 years ago by eytans
  1

• Improve sorting performance

  #6 opened 3 years ago by eytans
  0

• Sparse node colors need to be updated during rebuild

  #3 opened 3 years ago by eytans
  1

• Discriminant should not be used

  #1 opened 3 years ago by eytans
  1