Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alt-romes/hegg issues and pull requests
#36 - Analysis that store the height
Issue -
State: closed - Opened by folivetti 9 months ago
- 2 comments
#35 - E-Analysis in test/Sym.hs
Issue -
State: open - Opened by Tarmean 9 months ago
#34 - E-Matching Non-Canonical Nodes
Issue -
State: open - Opened by Tarmean 9 months ago
- 3 comments
#33 - Invariants: fix incomplete pattern match warning
Pull Request -
State: closed - Opened by NadiaYvette almost 1 year ago
- 1 comment
#32 - VariablePattern must be greater than 0
Issue -
State: open - Opened by BinderDavid about 1 year ago
- 3 comments
#31 - Make the Data.Equality.Graph.Dot module compile again
Pull Request -
State: closed - Opened by BinderDavid about 1 year ago
- 2 comments
#30 - Fix "cabal check" warnings
Pull Request -
State: closed - Opened by BinderDavid about 1 year ago
- 1 comment
#29 - Direct rewrite rules
Issue -
State: open - Opened by jameshaydon about 1 year ago
- 3 comments
#28 - Refer to join semilattice in Analysis documentation
Issue -
State: open - Opened by alt-romes over 1 year ago
- 1 comment
Labels: documentation, good first issue
#27 - Correct typo in `README`
Pull Request -
State: closed - Opened by ocharles over 1 year ago
- 2 comments
#26 - Visualizing e-graphs with graphviz
Issue -
State: open - Opened by alt-romes over 1 year ago
- 3 comments
Labels: enhancement, help wanted, good first issue
#25 - Build failures with various older GHCs
Issue -
State: closed - Opened by phadej over 1 year ago
- 1 comment
#24 - Merge Data.Equality.Language into Data.Equality.Graph
Issue -
State: closed - Opened by alt-romes over 1 year ago
#23 - Module wrapping e-graphs to use custom e-class-ids
Issue -
State: open - Opened by alt-romes over 1 year ago
#22 - Add new tests for Jacobi elliptic function simplification.
Pull Request -
State: open - Opened by NadiaYvette over 1 year ago
- 6 comments
#21 - Parent nodes are not deduplicated
Issue -
State: open - Opened by Tarmean over 1 year ago
- 1 comment
#20 - Possible Id collision in compileToQuery
Issue -
State: open - Opened by Tarmean over 1 year ago
- 1 comment
Labels: bug, good first issue
#19 - Is the View Pattern really necessary here?
Issue -
State: closed - Opened by folivetti about 2 years ago
- 3 comments
#18 - Draft: Add Equality.Saturation.Debug module for tracing eqsat
Pull Request -
State: open - Opened by alt-romes about 2 years ago
- 1 comment
Labels: good first issue
#17 - Simple expression tree with just a few rules enters an infinite loop
Issue -
State: closed - Opened by folivetti about 2 years ago
- 5 comments
#16 - Analysis design
Pull Request -
State: closed - Opened by alt-romes about 2 years ago
- 7 comments
#15 - Is it possible to write a `equalitySaturationWithTrace`?
Issue -
State: open - Opened by folivetti about 2 years ago
- 7 comments
#14 - Add benchmarks
Pull Request -
State: closed - Opened by alt-romes about 2 years ago
#13 - Fix de-duplication and use list for worklist
Pull Request -
State: closed - Opened by alt-romes about 2 years ago
- 4 comments
#12 - Draft: {find,canonicalize} vs unsafe{Find,Canonicalize}
Pull Request -
State: open - Opened by alt-romes about 2 years ago
- 5 comments
#11 - Make CostFunction polymorphic over Cost
Pull Request -
State: closed - Opened by alt-romes about 2 years ago
#10 - Does `Cost` need to be `Int`?
Issue -
State: closed - Opened by cdsmith about 2 years ago
- 3 comments
#9 - Fix NodeMap by making it a newtype
Pull Request -
State: closed - Opened by alt-romes about 2 years ago
#8 - Incorrect NodeMap methods and Semigroup instance
Issue -
State: closed - Opened by alt-romes about 2 years ago
#7 - RFC : generic deriving of Ord1 and possibly more
Issue -
State: closed - Opened by ocramz about 2 years ago
- 3 comments
#6 - tiny fixes
Pull Request -
State: closed - Opened by ocramz about 2 years ago
- 1 comment
#5 - Make e-graph abstract
Pull Request -
State: closed - Opened by alt-romes about 2 years ago
- 2 comments
#4 - Discussion: the design of Analysis
Issue -
State: closed - Opened by aspiwack about 2 years ago
- 7 comments
#3 - EGraph should be abstract
Issue -
State: closed - Opened by aspiwack about 2 years ago
- 5 comments
#2 - Performance: should the worklist be a list?
Issue -
State: closed - Opened by aspiwack about 2 years ago
- 3 comments
#1 - Rename {find,canonicalize} to unsafe{Find,Canonicalize}
Issue -
State: open - Opened by aspiwack about 2 years ago
- 4 comments