issues
search
alt-romes
/
hegg
Fast equality saturation in Haskell
https://hackage.haskell.org/package/hegg
BSD 3-Clause "New" or "Revised" License
75
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Analysis that store the height
#36
folivetti
closed
4 months ago
2
E-Analysis in test/Sym.hs
#35
Tarmean
opened
4 months ago
0
E-Matching Non-Canonical Nodes
#34
Tarmean
opened
4 months ago
3
Invariants: fix incomplete pattern match warning
#33
NadiaYvette
closed
8 months ago
1
VariablePattern must be greater than 0
#32
BinderDavid
opened
9 months ago
3
Make the Data.Equality.Graph.Dot module compile again
#31
BinderDavid
closed
9 months ago
2
Fix "cabal check" warnings
#30
BinderDavid
closed
9 months ago
1
Direct rewrite rules
#29
jameshaydon
opened
10 months ago
3
Refer to join semilattice in Analysis documentation
#28
alt-romes
opened
11 months ago
1
Correct typo in `README`
#27
ocharles
closed
11 months ago
2
Visualizing e-graphs with graphviz
#26
alt-romes
opened
11 months ago
3
Build failures with various older GHCs
#25
phadej
closed
11 months ago
1
Merge Data.Equality.Language into Data.Equality.Graph
#24
alt-romes
closed
1 year ago
0
Module wrapping e-graphs to use custom e-class-ids
#23
alt-romes
opened
1 year ago
0
Add new tests for Jacobi elliptic function simplification.
#22
NadiaYvette
opened
1 year ago
6
Parent nodes are not deduplicated
#21
Tarmean
opened
1 year ago
1
Possible Id collision in compileToQuery
#20
Tarmean
opened
1 year ago
1
Is the View Pattern really necessary here?
#19
folivetti
closed
1 year ago
3
Draft: Add Equality.Saturation.Debug module for tracing eqsat
#18
alt-romes
opened
1 year ago
1
Simple expression tree with just a few rules enters an infinite loop
#17
folivetti
closed
1 year ago
5
Analysis design
#16
alt-romes
closed
1 year ago
7
Is it possible to write a `equalitySaturationWithTrace`?
#15
folivetti
opened
1 year ago
7
Add benchmarks
#14
alt-romes
closed
1 year ago
0
Fix de-duplication and use list for worklist
#13
alt-romes
closed
1 year ago
4
Draft: {find,canonicalize} vs unsafe{Find,Canonicalize}
#12
alt-romes
opened
1 year ago
5
Make CostFunction polymorphic over Cost
#11
alt-romes
closed
1 year ago
0
Does `Cost` need to be `Int`?
#10
cdsmith
closed
1 year ago
3
Fix NodeMap by making it a newtype
#9
alt-romes
closed
1 year ago
0
Incorrect NodeMap methods and Semigroup instance
#8
alt-romes
closed
1 year ago
0
RFC : generic deriving of Ord1 and possibly more
#7
ocramz
closed
1 year ago
3
tiny fixes
#6
ocramz
closed
1 year ago
1
Make e-graph abstract
#5
alt-romes
closed
1 year ago
2
Discussion: the design of Analysis
#4
aspiwack
closed
1 year ago
7
EGraph should be abstract
#3
aspiwack
closed
1 year ago
5
Performance: should the worklist be a list?
#2
aspiwack
closed
1 year ago
3
Rename {find,canonicalize} to unsafe{Find,Canonicalize}
#1
aspiwack
opened
1 year ago
4