egraphs-good egg issues

egraphs-good / egg

egg is a flexible, high-performance e-graph library

https://egraphs-good.github.io

MIT License

1.35k stars 136 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Replace `fxhash` with `rustc-hash`

#336 VitalyAnkh opened 1 week ago
0
Add `&mut self` parameter to all Analysis functions

#335 KarelPeeters closed 1 month ago
2
Simple set of addition rewrites already explodes

#334 KarelPeeters opened 1 month ago
7
Remove Existence Explanations

#333 oflatt opened 1 month ago
1
Refactor existance proofs, fixing bugs in the process

#332 oflatt closed 1 month ago
1
Improve benchmarking with criterion

#331 paulzzy closed 1 month ago
6
Parallel matching

#330 szymon-zygula closed 1 month ago
1
Monte-Carlo Tree Search

#329 jafioti opened 2 months ago
7
Different results depending on architecture

#328 bksaiki opened 2 months ago
0
Stack overflow during rule application

#327 bksaiki opened 2 months ago
0
remove clone requirement on `fold`

#326 mtak- opened 2 months ago
0
RecExpr Deref/DerefMut=[L]. also convenience methods and trait impls

#325 mtak- opened 2 months ago
0
remove hashbrown from id_to_pattern API

#324 mtak- opened 2 months ago
0
egg ignore a comm rule

#323 asukaminato0721 closed 2 months ago
4
how to do some recursive check on `rw!` if cond

#322 asukaminato0721 closed 2 months ago
1
Added `fn root(&self) -> Id` to `RecExpr`.

#321 yonatan-reicher closed 2 months ago
1
chore: keep rust version up-to-date with `stable` channel in CI

#320 kayagokalp closed 2 months ago
3
Use newer version of rustc in CI

#319 kayagokalp closed 2 months ago
1
feat: support generics with `define_language` macro

#318 kayagokalp opened 3 months ago
3
Closes #316 (Was dropping rest of proof)

#317 eytans closed 1 month ago
3
Bad explanation when using explain existance

#316 eytans closed 1 month ago
1
How to access external data when making an analysis?

#315 ChijinZ opened 4 months ago
0
Rename `RecExpr` to `Expr`

#314 cospectrum closed 5 months ago
1
Add `hashmap_with_capacity`

#313 cospectrum closed 5 months ago
4
Return `Language::len` in O(1)

#312 cospectrum closed 5 months ago
1
Relaxing `'static` lifetime bounds?

#311 robert-chiniquy opened 5 months ago
5
Fix proofs: switch to `BigUint` instead of `Saturating<usize>` for proof cost

#310 bksaiki closed 5 months ago
4
Become a (more) independent fork

#309 dewert99 closed 5 months ago
1
Add example in doc comment of 'RecExpr'

#308 marcusrossel closed 6 months ago
2
Avoid recursive rule applying during Runner::run()

#307 ChijinZ closed 4 months ago
2
Translate between EGraph types

#306 sgpthomas closed 6 months ago
5
Map from `EGraph<L, _>` to `EGraph<L2, _>`

#305 sgpthomas closed 6 months ago
1
Question: Dealing with side effects/assignment

#304 thorstenhater closed 7 months ago
4
Loss of the discussions tab and its content

#302 SamPruden closed 7 months ago
2
Where is the dicussion part

#301 Gary-oak-Star closed 7 months ago
1
Push Pop API

#300 dewert99 opened 7 months ago
0
[doc] redundant web demo

#299 majidaldo closed 7 months ago
5
Division by zero nitpick - docs

#297 memoryleak47 closed 7 months ago
1
Extracted out `RawEGraph` type

#296 dewert99 opened 8 months ago
18
How to simplify multiple equations with the same variables?

#295 Flians closed 8 months ago
4
Generic analysis

#293 dewert99 closed 6 months ago
5
Is possible to use egg with my own parser as *input* instead of using text?

#292 mamcx closed 6 months ago
4
Add nodes field to EGraph

#291 dewert99 closed 6 months ago
10
Added push/pop API

#290 dewert99 opened 9 months ago
0
Make explain_id_equivalence public

#289 dewert99 closed 9 months ago
0
An approach to a string-free API

#287 robert-chiniquy closed 6 months ago
10
Optimised the `classes` field of `EGraph` to avoid extra hashing

#284 dewert99 closed 10 months ago
3
Add public functions for working with uncanonicalized Ids

#283 dewert99 closed 10 months ago
1
Explanations using `add_internal` and `union_trusted`

#282 dewert99 closed 10 months ago
2
How to pretty-print an egrah

#281 ntcmp2u closed 10 months ago
1