Comments (2)
Implemented. Works when analyses are specified at E-Graph creation time.
What is left to do, is to add analysises after the graph has already been filled, and add example analyses in the library.
from metatheory.jl.
Done. Closing
from metatheory.jl.
Related Issues (20)
- Fix CI HOT 3
- Scope of classic @rule matcher HOT 7
- `@areequal` not working with matching multiple sub-expressions (`xs...`) HOT 1
- Issues in E-graph matching for parametrized types HOT 5
- Q: Metatheory.jl code optimization for multivariate polynomial expressions? HOT 3
- OddEvenAnalysis in the docs is implemented incorrectly HOT 1
- Move integration tests to narrative documentation.
- I want to rebase MethodOfLines.jl on to MetaTheory, can you help me? HOT 1
- 2.0 Docs not deploying
- @slots x::T HOT 3
- Conditions involving more than one variable HOT 1
- Struct-Valued Analysis Cause Infinite Loop HOT 3
- Should egraph hang on cancellation rule? HOT 1
- Consider not sharing buffers HOT 5
- Q: Metatheory.jl - algebraic simplification for JuMP nonlinear expression
- Request for CSE extraction Documentation/Offer to expand CSE extraction
- regression in simplification compared to v1 HOT 12
- Try Dictionaries.jl
- Q: Using TermInterface to set up Metatheory HOT 4
- Exploding egraphs - Troubles defining rule sets working with eq-sat HOT 16
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from metatheory.jl.