3 Pull requests merged by 2 people

• Remove HIGH_COST

  #433 merged Oct 5, 2024

• Remove useless type_info getters

  #429 merged Oct 5, 2024

• Remove dead code

  #428 merged Oct 5, 2024

2 Pull requests opened by 1 person

• Support user-defined scheduler

  #431 opened Oct 4, 2024

• Support recursive datatypes in egglog

  #432 opened Oct 4, 2024

1 Issue closed by 1 person

• Unnecessary arguments to eval_expr and run_actions

  #318 closed Oct 5, 2024