JuliaSymbolics/Metatheory.jl

Issues

• Incorrect number of matches used to inform scheduler in eqsat_search!()

  #248 opened a month ago by gkronber
  0

• Conditions involving more than one variable

  #151 opened 2 years ago by jariji
  2

• Predicates for pattern variables are not checked consistently

  #246 opened 2 months ago by gkronber
  3

• MU-puzzle tutorial example has a flawed rule and test

  #240 opened 2 months ago by tgorordo
  2

• Unit test for lambda theory fails check_analysis test

  #235 opened 2 months ago by gkronber
  0

• Metadata analysis in 3.0

  #210 opened 6 months ago by HectorPeeters
  3

• Handling of qualified operations

  #234 opened 3 months ago by olynch
  4

• Issues in E-graph matching for parametrized types

  #142 opened 2 years ago by ChenZhao44
  6

• Equality saturation hash collision leads to unwanted merge of unequal eclasses

  #225 opened 4 months ago by gkronber
  9

• Proof production algorithm

  #111 opened 3 years ago by vitrun
  3

• Race-condition when using Metatheory from multiple threads

  #224 opened 5 months ago by gkronber
  3

• Matching on fully qualified function call in 3.0

  #209 opened 6 months ago by HectorPeeters
  1

• Q: Using TermInterface to set up Metatheory

  #173 opened a year ago by Audrius-St
  4

• Compare with twee

  #200 opened 7 months ago by 0x0f0f0f
  0

• Exploding egraphs - Troubles defining rule sets working with eq-sat

  #190 opened 9 months ago by gkronber
  16

• @slots x::T

  #150 opened 2 years ago by jariji
  3

• Consider not sharing buffers

  #156 opened 10 months ago by willow-ahrens
  5

• Refactor Codebase

  #107 opened a year ago by 0x0f0f0f
  0

• Try Dictionaries.jl

  #168 opened a year ago by 0x0f0f0f
  0

• regression in simplification compared to v1

  #166 opened a year ago by simeonschaub
  12

• Predicates not working in egraph

  #123 opened 3 years ago by vitrun
  14

• Request for CSE extraction Documentation/Offer to expand CSE extraction

  #158 opened a year ago by kylebd99
  0

• Struct-Valued Analysis Cause Infinite Loop

  #153 opened a year ago by kylebd99
  3

• Q: Metatheory.jl - algebraic simplification for JuMP nonlinear expression

  #157 opened a year ago by vinhpb
  0

• Should egraph hang on cancellation rule?

  #154 opened 2 years ago by willow-ahrens
  1

• Register

  #135 opened 2 years ago by ChrisRackauckas
  5

• 2.0 Docs not deploying

  #149 opened 2 years ago by 0x0f0f0f
  0

• Scope of classic @rule matcher

  #137 opened 2 years ago by Audrius-St
  7

• Update `eggify.jl` for 2.0

  #97 opened 3 years ago by jakevossen5
  4

• Fix CI

  #136 opened 2 years ago by shashi
  3

• OddEvenAnalysis in the docs is implemented incorrectly

  #146 opened 2 years ago by xitology
  1

• Q: Metatheory.jl code optimization for multivariate polynomial expressions?

  #145 opened 2 years ago by Audrius-St
  3

• I want to rebase MethodOfLines.jl on to MetaTheory, can you help me?

  #148 opened 2 years ago by xtalax
  1

• Move integration tests to narrative documentation.

  #147 opened 2 years ago by 0x0f0f0f
  0

• `@areequal` not working with matching multiple sub-expressions (`xs...`)

  #141 opened 2 years ago by adomasbaliuka
  1

• Unable to saturate

  #124 opened 2 years ago by vitrun
  5

• is this the best way to `reverse(r::Rule)`?

  #126 opened 2 years ago by anandijain
  1

• Can not infer term type in egraph

  #125 opened 2 years ago by vitrun
  1

• Predicates does not work in Egraph saturation?

  #117 opened 3 years ago by overshiki
  8

• project that manipulate quantum circuit using Metatheory.jl

  #122 opened 3 years ago by overshiki
  11

• bug in @areequal

  #121 opened 3 years ago by overshiki
  3

• dynamic rule for egraph has weird behaviour of push! append! operation on vectors

  #120 opened 3 years ago by overshiki
  1

• why Fixpoint rewriter does not work as expected?

  #119 opened 3 years ago by overshiki
  0

• how could I pass the automatically generated rules into @rule and @theory macro?

  #116 opened 3 years ago by overshiki
  5

• Rewriting broadcasted functions doesn't work

  #113 opened 3 years ago by jenkspt
  1

• EGraph saturation does not run its iterations

  #104 opened 3 years ago by Roger-luo
  4

• EqualityRule does not support user defined types

  #103 opened 3 years ago by overshiki
  5

• Extracting an `Expr` from `ENodeTerm`

  #102 opened 3 years ago by jakevossen5
  6

• Monoid macro in Metatheory.Library missing interpolation

  #98 opened 3 years ago by schrauf
  4

• Try to use Metatheory.jl in a Reasoning System.

  #99 opened 3 years ago by AIxer
  0