egraphs-good/egg issues and pull requests

#216 - Minor typo fix in documentation?

Pull Request - State: closed - Opened by minimario about 2 years ago - 1 comment

#215 - Union and Intersection algorithms

Pull Request - State: closed - Opened by oflatt about 2 years ago

#213 - Mismatched parentheses

Issue - State: closed - Opened by intrigus about 2 years ago - 2 comments

#211 - Pretty printing stack overflow for proofs

Issue - State: open - Opened by oflatt about 2 years ago - 3 comments

#210 - Handle overflow in proof size

Pull Request - State: closed - Opened by oflatt over 2 years ago - 2 comments

#208 - Runner stops before actual saturation when having ConditionEqual

Issue - State: closed - Opened by khaki3 over 2 years ago

#207 - LpExtractor creates an infeasible problem for CBC

Issue - State: open - Opened by khaki3 over 2 years ago - 8 comments

#206 - Fix the performance issue with math test suite

Pull Request - State: closed - Opened by yihozhang over 2 years ago - 1 comment

#205 - 0.9.1 release PR

Pull Request - State: closed - Opened by oflatt over 2 years ago

#202 - Cycles in existence proofs

Issue - State: open - Opened by oflatt over 2 years ago

#201 - Export Justification, making `pre_union` usable again

Pull Request - State: closed - Opened by oflatt over 2 years ago

#199 - 'Recursive' rewrite rule not triggering.

Issue - State: closed - Opened by mpope9 over 2 years ago - 2 comments

#198 - Remove dead code.

Pull Request - State: closed - Opened by remysucre over 2 years ago

#197 - Add `search_with_limit`

Pull Request - State: closed - Opened by yihozhang over 2 years ago - 1 comment

#196 - assertion failed: solution.col(v.active) > 0.0

Issue - State: open - Opened by Bastacyclop over 2 years ago - 3 comments

#192 - Parallel rewrites

Issue - State: closed - Opened by Kixiron over 2 years ago - 3 comments

#190 - How to generate fresh `Var`s?

Issue - State: closed - Opened by mb64 over 2 years ago - 1 comment

#187 - [Feature Request] Checkpoints/expression removal/incremental rewriting

Issue - State: closed - Opened by Kixiron over 2 years ago - 1 comment

#186 - Proof minimization

Pull Request - State: closed - Opened by oflatt over 2 years ago

#185 - potential bug in rewrite rules of the prop test?

Issue - State: closed - Opened by ZakSingh over 2 years ago - 1 comment

#184 - Add an unsound method to easily merge to eclasses when explanations are enabled

Pull Request - State: closed - Opened by oflatt over 2 years ago - 1 comment

#178 - Compilation fails with latest Rust release?

Issue - State: closed - Opened by Bastacyclop over 2 years ago - 2 comments

#176 - Correct represented -> representation

Pull Request - State: closed - Opened by tomjaguarpaw over 2 years ago - 3 comments

#175 - Running make leads to an error

Issue - State: closed - Opened by IanBriggs almost 3 years ago

#172 - Refactoring functions on finite sets example

Pull Request - State: closed - Opened by chadbrewbaker almost 3 years ago - 3 comments

#171 - Ability to limit memory usage

Issue - State: open - Opened by Bastacyclop almost 3 years ago - 1 comment

#168 - MultiPatterns

Pull Request - State: closed - Opened by philzook58 almost 3 years ago - 2 comments

#167 - n_free should calculate free vars

Pull Request - State: closed - Opened by yihozhang almost 3 years ago

#166 - recursivly -> recursively in `explain.rs`

Pull Request - State: closed - Opened by jakevossen5 almost 3 years ago - 2 comments

#165 - Instant Unions

Pull Request - State: closed - Opened by oflatt almost 3 years ago

#164 - total_size is not the number of nodes

Issue - State: closed - Opened by remysucre almost 3 years ago - 4 comments

#163 - Shard the STRINGS in the intern cache for better parallel scalability

Pull Request - State: closed - Opened by mmp about 3 years ago - 10 comments

#162 - Replace Mutex with RwLock in string interning code.

Pull Request - State: closed - Opened by mmp about 3 years ago - 3 comments

#155 - Fix Explanation Initialization to Share Subexpressions

Pull Request - State: closed - Opened by oflatt about 3 years ago - 2 comments

#154 - Runner stopping due to node limit not approached

Issue - State: closed - Opened by ecenurustun about 3 years ago - 5 comments

#153 - Bug(?)/Extreme performance issue when using `explain_equivalence`

Issue - State: closed - Opened by derekelkins about 3 years ago - 4 comments

#152 - Document searcher_ast and rule_name in apply_one

Issue - State: open - Opened by remysucre about 3 years ago

#151 - Difficulty working with multiple expressions in an egraph

Issue - State: closed - Opened by spencerking about 3 years ago - 3 comments

#144 - Applying `egg` to SSA-based IRs

Issue - State: closed - Opened by femtomc about 3 years ago - 3 comments

#143 - Running into bugs/errors with unexpected expression equivalences

Issue - State: closed - Opened by rkjones4 about 3 years ago - 3 comments

#142 - Pass name of the rule to `merge` / `make` / etc.

Issue - State: open - Opened by bjchambers about 3 years ago - 4 comments

#141 - Loosen requirement on FromOp::Error

Pull Request - State: closed - Opened by mwillsey about 3 years ago

#140 - Problems upgrading

Issue - State: closed - Opened by bjchambers about 3 years ago - 12 comments

#139 - Fix broken link in Cargo.toml

Pull Request - State: closed - Opened by krypt-n about 3 years ago - 1 comment

#138 - Plans for upcoming releases?

Issue - State: closed - Opened by bjchambers about 3 years ago - 2 comments

#137 - Fix some warnings (oops)

Pull Request - State: closed - Opened by oflatt about 3 years ago

#136 - Errors in `Analysis`

Issue - State: open - Opened by bjchambers about 3 years ago - 4 comments

#135 - Add feature docs

Issue - State: closed - Opened by mwillsey about 3 years ago - 4 comments

#134 - Modifying the e-graph while merging `Analysis` data.

Issue - State: closed - Opened by rosekunkel about 3 years ago - 4 comments

#133 - removed unnecessary mut on extractor in getting started example

Pull Request - State: closed - Opened by jakevossen5 over 3 years ago - 1 comment

#132 - Error while trying to use Serde to serialize egraph to JSON

Issue - State: closed - Opened by jakevossen5 over 3 years ago - 4 comments

#131 - Allow passing arbitrary data from `Searcher`s to `Applier`s

Issue - State: open - Opened by rosekunkel over 3 years ago - 5 comments

#129 - Pattern rewrite triggers index-out-of-bounds panic

Issue - State: closed - Opened by rosekunkel over 3 years ago - 9 comments

#128 - Add LP extractor

Pull Request - State: closed - Opened by mwillsey over 3 years ago - 7 comments

#127 - Non-local cost function

Issue - State: closed - Opened by rkjones4 over 3 years ago - 8 comments

#126 - Adding equivalences during rewriting

Issue - State: closed - Opened by bjchambers over 3 years ago - 12 comments

#125 - Exposing function to get eclasses by node type.

Issue - State: closed - Opened by pjmore over 3 years ago - 2 comments

#124 - Fix up documentation example of apply_one, which now needs to perform unions

Pull Request - State: closed - Opened by oflatt over 3 years ago

#119 - Existance Explanations

Pull Request - State: closed - Opened by oflatt over 3 years ago - 3 comments

#117 - Add missing semicolon in tutorial

Pull Request - State: closed - Opened by lyxell over 3 years ago - 1 comment

#116 - Typo s/that that/that/

Pull Request - State: closed - Opened by akesling over 3 years ago - 2 comments

#115 - Egg Proof Production

Pull Request - State: closed - Opened by oflatt over 3 years ago - 6 comments

#114 - How to ingest large modular ASTs?

Issue - State: closed - Opened by MostAwesomeDude over 3 years ago - 1 comment

#113 - Try de-duplicating parents

Issue - State: open - Opened by oflatt over 3 years ago

#111 - Is egg a good foundation for a language based on term rewriting?

Issue - State: closed - Opened by ul over 3 years ago

#110 - Any intentions for matching arbitrary-length parameters?

Issue - State: closed - Opened by liangyiliang over 3 years ago - 1 comment

#109 - Analysis::make doesn't have `self`

Issue - State: closed - Opened by bjchambers over 3 years ago - 4 comments

#108 - Change signature to simplify merge

Pull Request - State: closed - Opened by bjchambers over 3 years ago - 9 comments

#107 - Analysis::merge for complex types

Issue - State: closed - Opened by bjchambers over 3 years ago - 1 comment

#103 - Allow accessing `Data` within cost functions

Issue - State: closed - Opened by Kixiron over 3 years ago - 2 comments

#84 - Standalone CLI

Issue - State: open - Opened by MostAwesomeDude over 3 years ago - 6 comments

#50 - `find_best` overflows the stack

Issue - State: closed - Opened by gussmith23 over 4 years ago - 7 comments

#44 - Rewrite should probably be a trait

Issue - State: open - Opened by mwillsey over 4 years ago - 1 comment

#43 - Add some kind of debugging for run-away patterns

Issue - State: closed - Opened by mwillsey over 4 years ago - 1 comment

#39 - Support multi-patterns for rewrite rules

Issue - State: closed - Opened by yycdavid over 4 years ago - 8 comments

#37 - Rename RecExpr to Expr

Issue - State: closed - Opened by mwillsey over 4 years ago

#15 - Add not-equal conditions

Issue - State: closed - Opened by mwillsey almost 5 years ago - 7 comments

GitHub / egraphs-good/egg issues and pull requests