JuliaSymbolics/Metatheory.jl issues and pull requests

#78 - Broken links due to move to JuliaSymbolics

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

#77 - [WIP] Import and unify the rule syntax and classical pattern matching system from SymbolicUtils.jl

Pull Request - State: closed - Opened by 0x0f0f0f about 3 years ago - 4 comments
Labels: enhancement, help wanted

#76 - Move over repository to JuliaSymbolics

Issue - State: closed - Opened by 0x0f0f0f about 3 years ago

#75 - E-Graph intersection

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

#74 - Metatheory incorrectly merges e-classes?

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

#73 - Improve pattern display.

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

#72 - `PatSegment` (AKA slotvars in SymbolicUtils.jl) not implemented for new classical rewriting module.

Issue - State: closed - Opened by 0x0f0f0f about 3 years ago - 1 comment
Labels: help wanted

#71 - Fix `inform!` for `ScoredScheduler`.

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

#70 - Fix equality saturation when `threaded=true`. Improve search performance.

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

#69 - `cached_ids` not implemented?

Issue - State: open - Opened by MrVPlusOne about 3 years ago - 6 comments

#68 - Full compatibility of rules syntax with SymbolicUtils.jl rule syntax

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

#67 - UPDATE DOCUMENTATION

Issue - State: closed - Opened by 0x0f0f0f about 3 years ago

#66 - Use SafeTestsets.jl

Issue - State: closed - Opened by 0x0f0f0f about 3 years ago - 1 comment

#60 - For fun, I turned on DEBUG...

Issue - State: open - Opened by dalejordan over 3 years ago - 4 comments

#52 - Experiment conditional rules

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

#45 - Is `@metatheory_init` really needed?

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

#42 - How to write your own Analysis/Scheduler tutorials

Issue - State: closed - Opened by 0x0f0f0f over 3 years ago - 1 comment
Labels: documentation, enhancement

#41 - Produce EGraph images like egg.

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

#36 - Different pretty prints in CLI of egraphs

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

#35 - Knuth-Bendix Completion for Classical Backend

Issue - State: closed - Opened by 0x0f0f0f over 3 years ago

#26 - @when macro for conditional dynamic rules

Issue - State: closed - Opened by 0x0f0f0f over 3 years ago - 3 comments

#22 - Detect causes of slowdowns in equality saturation. Improve Schedulers and performance.

Issue - State: open - Opened by 0x0f0f0f over 3 years ago - 10 comments
Labels: bug, enhancement, help wanted

#16 - Document analyses and AbstractAnalysis

Issue - State: closed - Opened by 0x0f0f0f over 3 years ago - 1 comment
Labels: documentation

#13 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot over 3 years ago - 24 comments

#12 - Match on `::` and `...` (and optionally `where`) without triggering special ematching functions.

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

#9 - AC Rules/Loop Prevention for MatchCore rewriting backend