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

#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

#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

#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

#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

#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

#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

#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

#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

#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