Commits

Commits on Jun 12, 2024

Add a check for bad multipatterns
mwillsey
committedJun 12, 2024

Commits on May 30, 2024

Use quanta for timing
mwillsey
committedMay 30, 2024

Commits on Apr 26, 2024

Add hook to ban e-matched cycles
mwillsey
committedApr 26, 2024

Commits on Apr 24, 2024

Add hashmap_with_capacity (#313 )
cospectrum
committedApr 24, 2024
Fix proofs: switch to BigUint instead of Saturating<usize> for proof cost (#310 )
bksaiki
committedApr 24, 2024

Commits on Apr 16, 2024

Fix matching perf regression
mwillsey
committedApr 16, 2024

Commits on Apr 3, 2024

Add example in doc comment of 'RecExpr' (#308 )
marcusrossel
committedApr 3, 2024
Add nodes field to EGraph (#291 )
dewert99
committedApr 3, 2024

Commits on Mar 22, 2024

Add way to create numeric variables without parsing
mwillsey
committedMar 22, 2024

Commits on Mar 21, 2024

Translate between EGraph types (#306 )
sgpthomas
committedMar 21, 2024

Commits on Feb 13, 2024

Update readme
mwillsey
committedFeb 13, 2024

Commits on Feb 9, 2024

Add note in is_not_zero example.
mwillsey
committedFeb 9, 2024

Commits on Dec 24, 2023

Make explain_id_equivalence public (#289 )
dewert99
committedDec 24, 2023

Commits on Nov 28, 2023

Merge pull request #283 from dewert99/non-canonical
oflatt
committedNov 28, 2023
allow per-language discriminants (#270 )
bjchambers
committedNov 28, 2023

Commits on Nov 27, 2023

Improved documentation
dewert99
committedNov 27, 2023

Commits on Nov 26, 2023

Added public functions to allow working with uncanonicalized Ids
dewert99
committedNov 26, 2023

Commits on Oct 28, 2023

Clean up proof code using saturating numbers (#274 )
oflatt
committedOct 28, 2023

Commits on Oct 12, 2023

Make Analysis::make take in the E-graph mutably (#277 )

imbrem
and
mwillsey
committedOct 12, 2023

Commits on Oct 4, 2023

allow converting RecExpr to Vec<L> (#275 )
bjchambers
committedOct 4, 2023

Commits on Aug 21, 2023

Fix minor grammar in _01_background.rs (#267 )
namin
committedAug 21, 2023

Commits on Jun 29, 2023

release 0.9.5
oflatt
committedJun 29, 2023

Commits on Jun 23, 2023

reduce proof minimization constants for memory's sake
oflatt
committedJun 23, 2023

Commits on Jun 19, 2023

Add egglog note
mwillsey
committedJun 19, 2023

Commits on May 25, 2023

remove incorrect panic
oflatt
committedMay 25, 2023
Revert "fix subtle bug in complying with assert"
oflatt
committedMay 25, 2023

Commits on May 24, 2023

fix subtle bug in complying with assert
oflatt
committedMay 24, 2023

Commits on May 23, 2023

fix up cargo.toml
oflatt
committedMay 23, 2023
release 0.9.4
oflatt
committedMay 23, 2023

Commits on May 19, 2023

more saturating fixes (#259 )
oflatt
committedMay 19, 2023

Commits on May 15, 2023

Fix implication make in prop test
mwillsey
committedMay 15, 2023

Commits on May 8, 2023

impl From for converting a RecExpr<L> to a Pattern<L>. (#257 )
nlewycky
committedMay 8, 2023

Commits on May 2, 2023

Use a unique queue for pending analyses (#253 )
Bastacyclop
committedMay 2, 2023

Commits on May 1, 2023

Derive Eq when deriving PartialEq, as suggested by clippy. (#255 )
nlewycky
committedMay 1, 2023
Fix typos in comments. (#256 )
nlewycky
committedMay 1, 2023