issues
search
JuliaSymbolics
/
Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
349
stars
44
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix hash collisions in e-graph saturation
#229
gkronber
closed
2 weeks ago
2
fix typos
#228
spaette
closed
2 weeks ago
0
fix typos
#227
spaette
closed
2 weeks ago
1
[DRAFT]: Expression proof
#226
adrianleh
opened
2 weeks ago
0
Equality saturation hash collision leads to unwanted merge of unequal eclasses
#225
gkronber
closed
2 weeks ago
9
Race-condition when using Metatheory from multiple threads
#224
gkronber
opened
2 weeks ago
3
Ale/3.0 proof
#223
0x0f0f0f
opened
3 weeks ago
0
CompatHelper: bump compat for TermInterface to 2, (keep existing compat)
#222
github-actions[bot]
opened
3 weeks ago
0
CompatHelper: bump compat for TermInterface to 2, (keep existing compat)
#221
github-actions[bot]
closed
3 weeks ago
0
Add `direct` function to convert `EqualityRule`s to `DirectRule`s
#220
nmheim
closed
3 weeks ago
0
CompatHelper: bump compat for TermInterface to 1, (keep existing compat)
#219
github-actions[bot]
opened
1 month ago
0
CompatHelper: bump compat for TermInterface to 1, (keep existing compat)
#218
github-actions[bot]
closed
1 month ago
0
CompatHelper: bump compat for TermInterface to 1, (keep existing compat)
#217
github-actions[bot]
closed
1 month ago
0
Move lambda calculus example to tutorials
#216
nmheim
closed
1 month ago
0
CompatHelper: bump compat for TermInterface to 1, (keep existing compat)
#215
github-actions[bot]
closed
1 month ago
0
CompatHelper: bump compat for TermInterface to 0.5, (keep existing compat)
#214
github-actions[bot]
closed
1 month ago
0
CompatHelper: bump compat for TermInterface to 0.5, (keep existing compat)
#213
github-actions[bot]
closed
1 month ago
0
New TermInterface.jl 0.5
#212
0x0f0f0f
closed
1 month ago
3
CompatHelper: bump compat for TermInterface to 0.5, (keep existing compat)
#211
github-actions[bot]
closed
1 month ago
0
Metadata analysis in 3.0
#210
HectorPeeters
opened
1 month ago
1
Matching on fully qualified function call in 3.0
#209
HectorPeeters
opened
1 month ago
1
Run benchmarks on 1.11
#208
nmheim
closed
1 month ago
0
Rules can have names
#207
0x0f0f0f
closed
2 months ago
2
Ale/3.0 new compact rule
#206
0x0f0f0f
closed
2 months ago
0
Fix calculational logic test/benchmark
#205
nmheim
closed
2 months ago
1
Compiled Pattern Matching
#204
0x0f0f0f
closed
2 months ago
2
Fix lambda calculus example
#203
nmheim
closed
1 month ago
0
Don't eval and statically compile matchers too
#202
0x0f0f0f
closed
2 months ago
0
GH action to benchmark against egg
#201
nmheim
closed
2 months ago
1
Compare with twee
#200
0x0f0f0f
opened
2 months ago
0
Statically Compiled E-Matcher
#199
0x0f0f0f
closed
2 months ago
2
Second simple benchmark
#198
nmheim
closed
3 months ago
0
Add Symtype to e-nodes
#197
0x0f0f0f
closed
1 month ago
0
Use package extensions for GraphViz.jl
#196
nmheim
closed
3 months ago
2
Pretty printing, fix for graph plots & minor docs improvement
#195
nmheim
closed
3 months ago
2
Fixed a bug that I introduced earlier.
#194
gkronber
closed
4 months ago
0
Fixed a bug for astsize_inv that I introduced earlier.
#193
gkronber
closed
4 months ago
1
CompatHelper: bump compat for TermInterface to 0.4, (keep existing compat)
#192
github-actions[bot]
closed
1 month ago
0
3.0 fixes
#191
0x0f0f0f
closed
4 months ago
0
Exploding egraphs - Troubles defining rule sets working with eq-sat
#190
gkronber
closed
4 months ago
16
Bump peter-evans/find-comment from 2 to 3
#189
dependabot[bot]
closed
5 months ago
1
Bump codecov/codecov-action from 3 to 4
#188
dependabot[bot]
closed
5 months ago
1
Bump peter-evans/create-or-update-comment from 3 to 4
#187
dependabot[bot]
closed
5 months ago
1
Bump actions/cache from 3 to 4
#186
dependabot[bot]
closed
5 months ago
1
3.0 Release
#185
0x0f0f0f
opened
6 months ago
14
Draft: Complete Overhaul of Egraphs (even faster)
#184
0x0f0f0f
closed
6 months ago
3
Add more benchmarks and move example theories in dedicated folder.
#183
0x0f0f0f
closed
6 months ago
2
Use vector of int for enodes
#182
0x0f0f0f
closed
6 months ago
0
Bump actions/checkout from 2 to 4
#181
dependabot[bot]
closed
6 months ago
2
Bump actions/upload-artifact from 2 to 4
#180
dependabot[bot]
closed
6 months ago
2
Next