Activity
fix up build again
fix up build again
oflattmanual batch doesn't break
manual batch doesn't break
JPepperwood123try to get build working again
try to get build working again
removed ormap bit
removed ormap bit
AYadrovMerge remote-tracking branch 'origin/main' into egglog-merge
Merge remote-tracking branch 'origin/main' into egglog-merge
JJponce0913update nightly, tweak costs
update nightly, tweak costs
JonasRegehrdraft solution of dynamic pruning at alt-table
draft solution of dynamic pruning at alt-table
pavpanchekhatracked down sorting issue!
tracked down sorting issue!
removed useful feature
removed useful feature
oops, some nonsense
oops, some nonsense
a little code simplification
a little code simplification
default platform set to be c
default platform set to be c
removed no-pareto and egraph-platform-cost
removed no-pareto and egraph-platform-cost
that was a mistake to put these flags on nightly
that was a mistake to put these flags on nightly
some extremely crazy typos
some extremely crazy typos
flags to match no-pareto mode
flags to match no-pareto mode
default->herbie10 at some benchmarks
default->herbie10 at some benchmarks
Fix 2 occurrences of define-lambda-to-define
Fix 2 occurrences of
define-lambda-to-define
github-actions[bot]