Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / JuliaSymbolics/Metatheory.jl issues and pull requests
#178 - Adjust Benchmarks and Goals
Pull Request -
State: closed - Opened by 0x0f0f0f 6 months ago
- 2 comments
#177 - Draft: Complete overhaul
Pull Request -
State: open - Opened by 0x0f0f0f 6 months ago
- 2 comments
#176 - DO NOT MERGE test if benchmarks trigger
Pull Request -
State: closed - Opened by 0x0f0f0f 7 months ago
- 1 comment
#175 - Add benchmarks
Pull Request -
State: closed - Opened by 0x0f0f0f 7 months ago
- 1 comment
#174 - Draft: Use new redesigned TermInterface
Pull Request -
State: closed - Opened by 0x0f0f0f 7 months ago
#173 - Q: Using TermInterface to set up Metatheory
Issue -
State: open - Opened by Audrius-St 8 months ago
#172 - Allow local buffers
Pull Request -
State: closed - Opened by 0x0f0f0f 8 months ago
- 1 comment
#171 - Draft: Use single enode type for type stability, check JET suggestions
Pull Request -
State: closed - Opened by 0x0f0f0f 8 months ago
- 1 comment
#170 - Allow use of local buffers
Pull Request -
State: closed - Opened by rayegun 8 months ago
- 14 comments
#169 - Add debugging and GraphViz visualization utilities
Pull Request -
State: closed - Opened by 0x0f0f0f 9 months ago
- 2 comments
#168 - Try Dictionaries.jl
Issue -
State: closed - Opened by 0x0f0f0f 9 months ago
#167 - Remove noise in tests, restructure tests, update deps
Pull Request -
State: closed - Opened by 0x0f0f0f 9 months ago
- 3 comments
#166 - regression in simplification compared to v1
Issue -
State: closed - Opened by simeonschaub 9 months ago
- 12 comments
#165 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
- 1 comment
Labels: dependencies
#164 - CompatHelper: bump compat for AutoHashEquals to 2, (keep existing compat)
Pull Request -
State: open - Opened by github-actions[bot] 10 months ago
#163 - CompatHelper: bump compat for AutoHashEquals to 1, (keep existing compat)
Pull Request -
State: open - Opened by github-actions[bot] 11 months ago
#162 - Bump codecov/codecov-action from 1 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies
#161 - Bump actions/cache from 1 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies
#160 - Bump actions/checkout from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies
#159 - Create dependabot.yml
Pull Request -
State: closed - Opened by ranocha 11 months ago
#158 - Request for CSE extraction Documentation/Offer to expand CSE extraction
Issue -
State: open - Opened by kylebd99 about 1 year ago
#157 - Q: Metatheory.jl - algebraic simplification for JuMP nonlinear expression
Issue -
State: open - Opened by vinhpb about 1 year ago
#156 - Consider not sharing buffers
Issue -
State: open - Opened by willow-ahrens about 1 year ago
- 5 comments
#155 - remove print statement in init
Pull Request -
State: closed - Opened by willow-ahrens about 1 year ago
#154 - Should egraph hang on cancellation rule?
Issue -
State: closed - Opened by willow-ahrens about 1 year ago
- 1 comment
#153 - Struct-Valued Analysis Cause Infinite Loop
Issue -
State: closed - Opened by kylebd99 about 1 year ago
- 3 comments
#152 - One-line change to fix error message
Pull Request -
State: closed - Opened by kylebd99 about 1 year ago
- 4 comments
#151 - Conditions involving more than one variable
Issue -
State: open - Opened by jariji over 1 year ago
- 1 comment
#150 - @slots x::T
Issue -
State: open - Opened by jariji over 1 year ago
- 1 comment
#149 - 2.0 Docs not deploying
Issue -
State: closed - Opened by 0x0f0f0f over 1 year ago
Labels: bug, documentation
#148 - I want to rebase MethodOfLines.jl on to MetaTheory, can you help me?
Issue -
State: open - Opened by xtalax over 1 year ago
- 1 comment
#147 - Move integration tests to narrative documentation.
Issue -
State: open - Opened by 0x0f0f0f over 1 year ago
#146 - OddEvenAnalysis in the docs is implemented incorrectly
Issue -
State: closed - Opened by xitology over 1 year ago
- 1 comment
#145 - Q: Metatheory.jl code optimization for multivariate polynomial expressions?
Issue -
State: open - Opened by Audrius-St over 1 year ago
- 3 comments
#144 - Version 2.0.0
Pull Request -
State: closed - Opened by 0x0f0f0f over 1 year ago
- 6 comments
#143 - bump TermInterface version to 0.3.3
Pull Request -
State: closed - Opened by shashi over 1 year ago
- 1 comment
#142 - Issues in E-graph matching for parametrized types
Issue -
State: open - Opened by ChenZhao44 almost 2 years ago
- 5 comments
#141 - `@areequal` not working with matching multiple sub-expressions (`xs...`)
Issue -
State: closed - Opened by adomasbaliuka almost 2 years ago
- 1 comment
#140 - DocStringExtensions 0.9
Pull Request -
State: closed - Opened by chriselrod almost 2 years ago
- 1 comment
#139 - bump `DocStringExtensions`
Pull Request -
State: closed - Opened by t-bltg almost 2 years ago
- 1 comment
#138 - fixed issues discovered bj JET.jl
Pull Request -
State: closed - Opened by dpinol almost 2 years ago
- 3 comments
#137 - Scope of classic @rule matcher
Issue -
State: closed - Opened by Audrius-St almost 2 years ago
- 7 comments
#136 - Fix CI
Issue -
State: closed - Opened by shashi almost 2 years ago
- 3 comments
#135 - Register
Issue -
State: closed - Opened by ChrisRackauckas almost 2 years ago
- 5 comments
#134 - Automatic JuliaFormatter.jl run
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: formatting, automated pr, no changelog
#133 - CompatHelper: bump compat for TermInterface to 0.3, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
- 1 comment
#132 - CompatHelper: bump compat for DocStringExtensions to 0.9, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
#131 - Bump docstring extensions
Pull Request -
State: closed - Opened by ChrisRackauckas almost 2 years ago
- 1 comment
#130 - Fix lambda_theory.jl
Pull Request -
State: closed - Opened by ntoxeg almost 2 years ago
- 1 comment
#129 - Automatic JuliaFormatter.jl run
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
Labels: formatting, automated pr, no changelog
#128 - Minor optimizations and refactors
Pull Request -
State: closed - Opened by 0x0f0f0f about 2 years ago
- 1 comment
#127 - Fixed a few typos
Pull Request -
State: closed - Opened by pitmonticone about 2 years ago
- 1 comment
#126 - is this the best way to `reverse(r::Rule)`?
Issue -
State: open - Opened by anandijain about 2 years ago
- 1 comment
#125 - Can not infer term type in egraph
Issue -
State: open - Opened by vitrun about 2 years ago
- 1 comment
#124 - Unable to saturate
Issue -
State: closed - Opened by vitrun about 2 years ago
- 5 comments
#123 - Predicates not working in egraph
Issue -
State: closed - Opened by vitrun about 2 years ago
- 14 comments
#122 - project that manipulate quantum circuit using Metatheory.jl
Issue -
State: closed - Opened by overshiki about 2 years ago
- 11 comments
#121 - bug in @areequal
Issue -
State: closed - Opened by overshiki about 2 years ago
- 3 comments
#120 - dynamic rule for egraph has weird behaviour of push! append! operation on vectors
Issue -
State: closed - Opened by overshiki about 2 years ago
- 1 comment
#119 - why Fixpoint rewriter does not work as expected?
Issue -
State: open - Opened by overshiki about 2 years ago
#118 - Remove unneeded prints
Pull Request -
State: closed - Opened by Wilkenfeld about 2 years ago
#117 - Predicates does not work in Egraph saturation?
Issue -
State: closed - Opened by overshiki about 2 years ago
- 8 comments
#116 - how could I pass the automatically generated rules into @rule and @theory macro?
Issue -
State: closed - Opened by overshiki about 2 years ago
- 5 comments
#115 - Simplify E-Graph Analysis Interface. Use Symbols or functions for identifying Analyses. Remove duplicates in E-Graph analyses data.
Pull Request -
State: closed - Opened by 0x0f0f0f over 2 years ago
- 1 comment
#114 - Automatic JuliaFormatter.jl run
Pull Request -
State: closed - Opened by github-actions[bot] over 2 years ago
Labels: formatting, automated pr, no changelog
#113 - Rewriting broadcasted functions doesn't work
Issue -
State: open - Opened by jenkspt over 2 years ago
- 1 comment
#112 - Structure tests in testsets & Separate unit and integration tests
Pull Request -
State: closed - Opened by Wilkenfeld over 2 years ago
#111 - Proof production algorithm
Issue -
State: open - Opened by vitrun over 2 years ago
- 2 comments
#110 - Automatic JuliaFormatter.jl run
Pull Request -
State: closed - Opened by github-actions[bot] over 2 years ago
Labels: formatting, automated pr, no changelog
#109 - format codebase
Pull Request -
State: closed - Opened by Wilkenfeld over 2 years ago
#108 - add julia-format workflow
Pull Request -
State: closed - Opened by Wilkenfeld over 2 years ago
#107 - Refactor Codebase
Issue -
State: closed - Opened by 0x0f0f0f over 2 years ago
Labels: RELEASE
#106 - version bump (v2.0.0-DEV)
Pull Request -
State: closed - Opened by Wilkenfeld over 2 years ago
- 1 comment
#105 - version bump (v2.0.0-DEV)
Pull Request -
State: closed - Opened by Wilkenfeld over 2 years ago
#104 - EGraph saturation does not run its iterations
Issue -
State: closed - Opened by Roger-luo over 2 years ago
- 4 comments
#103 - EqualityRule does not support user defined types
Issue -
State: closed - Opened by overshiki over 2 years ago
- 5 comments
#102 - Extracting an `Expr` from `ENodeTerm`
Issue -
State: closed - Opened by jakevossen5 over 2 years ago
- 6 comments
#101 - Similarterm, istree and issym only dispatch on objects and not on types. Fix EGraphs tests
Pull Request -
State: closed - Opened by 0x0f0f0f over 2 years ago
- 1 comment
#100 - Fix the library macros
Pull Request -
State: closed - Opened by 0x0f0f0f over 2 years ago
- 6 comments
#99 - Try to use Metatheory.jl in a Reasoning System.
Issue -
State: open - Opened by AIxer over 2 years ago
#98 - Monoid macro in Metatheory.Library missing interpolation
Issue -
State: closed - Opened by schrauf over 2 years ago
- 4 comments
#97 - Update `eggify.jl` for 2.0
Issue -
State: open - Opened by jakevossen5 over 2 years ago
- 4 comments
#96 - Fix binarization type inconsistency bug issue #95
Pull Request -
State: closed - Opened by 0x0f0f0f over 2 years ago
#95 - issue for ematching literals
Issue -
State: open - Opened by jaakkor2 over 2 years ago
- 6 comments
Labels: bug, help wanted
#94 - [WIP] Benchmarks
Pull Request -
State: closed - Opened by 0x0f0f0f over 2 years ago
- 2 comments
#93 - Use Union{Some{T}, Nothing}
Issue -
State: open - Opened by adkabo over 2 years ago
- 1 comment
#92 - Related projects
Issue -
State: open - Opened by adamnemecek over 2 years ago
#91 - fix small typo in egraphs.md
Pull Request -
State: closed - Opened by herrgahr over 2 years ago
- 1 comment
#90 - istree(e::T) versus istree(T)
Issue -
State: closed - Opened by jverzani over 2 years ago
- 3 comments
#89 - Syntax to match vectors
Issue -
State: open - Opened by shashi over 2 years ago
- 1 comment
#88 - Simple rules do not work
Issue -
State: closed - Opened by willow-ahrens over 2 years ago
- 1 comment
#87 - Rule Macro Quotes Function Names
Issue -
State: open - Opened by willow-ahrens over 2 years ago
- 23 comments
#86 - The capture macro does not escape the left hand side pattern before splatting
Issue -
State: closed - Opened by willow-ahrens over 2 years ago
- 3 comments
#85 - avoid conversion from ENodeTerm to ENodeLiteral
Pull Request -
State: closed - Opened by emaibb over 2 years ago
- 2 comments
#84 - Remove `unsorted_arguments` from Walks in Rewriters
Issue -
State: closed - Opened by 0x0f0f0f over 2 years ago
- 2 comments
#83 - Make the EGraph pattern matcher instantiate to ENodes instead of actual expressions with eclasses as children.
Issue -
State: closed - Opened by 0x0f0f0f over 2 years ago
- 1 comment
#82 - EGraph pattern matcher when instantiating substitutions only instantiates symbols as term operations
Issue -
State: open - Opened by 0x0f0f0f over 2 years ago
#81 - Downstream CI
Issue -
State: closed - Opened by shashi over 2 years ago
- 4 comments
#80 - Fixes for Symbolics
Pull Request -
State: closed - Opened by shashi over 2 years ago
#79 - Symbolics rules macro is broken
Issue -
State: closed - Opened by shashi over 2 years ago
- 2 comments