Issues

• master: compat allows TermInterface 2.0 (from #285), but Metatheory fails to precompile with it (UndefVarError: istree)

  JuliaSymbolics/Metatheory.jl#303 · Filter by author ChrisRackauckas-Claude opened on Oct 1, 2026
  1

• test/tutorials/propositional_logic.jl errors on master: stale eclasslimit argument to prove (FieldError: Int64 has no field goal)

  JuliaSymbolics/Metatheory.jl#301 · Filter by author ChrisRackauckas-Claude opened on Oct 1, 2026
  1

• TagBot: Manual intervention needed for releases

  tagbot-manual
  JuliaSymbolics/Metatheory.jl#293 · Filter by author github-actions opened on Sep 17, 2026

• Core calculational-logic test returns missing on master

  JuliaSymbolics/Metatheory.jl#291 · Filter by author ChrisRackauckas-Claude opened on Aug 21, 2026
  1

• Hash collision for constants

  JuliaSymbolics/Metatheory.jl#287 · Filter by author karlwessel opened on Mar 6, 2026
  10

• Optimal E-Graph Extraction

  JuliaSymbolics/Metatheory.jl#275 · Filter by author samuelsonric opened on May 16, 2025
  1

• Obtaining a sub-E-Graph

  JuliaSymbolics/Metatheory.jl#274 · Filter by author ViciousDoormat opened on Apr 16, 2025

• Standard way to construct RewriteRules at run-time?

  JuliaSymbolics/Metatheory.jl#273 · Filter by author THinnerichs opened on Apr 3, 2025

• Rewriting with metadata

  JuliaSymbolics/Metatheory.jl#272 · Filter by author ViciousDoormat opened on Mar 12, 2025

• Question regarding false and 0 in E-graphs

  JuliaSymbolics/Metatheory.jl#271 · Filter by author ViciousDoormat opened on Mar 6, 2025
  6

• Rewrite rules cannot introduce variables (I think)

  JuliaSymbolics/Metatheory.jl#266 · Filter by author ViciousDoormat opened on Feb 19, 2025
  4

• Document areequal and @areequal

  JuliaSymbolics/Metatheory.jl#263 · Filter by author ztangent opened on Feb 9, 2025
  3

• Unable to reason over ADT

  JuliaSymbolics/Metatheory.jl#257 · Filter by author adrianleh opened on Jan 2, 2025
  13

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

  JuliaSymbolics/Metatheory.jl#248 · Filter by author gkronber opened on Oct 4, 2024
  1

  

• Predicates for pattern variables are not checked consistently

  JuliaSymbolics/Metatheory.jl#246 · Filter by author gkronber opened on Sep 12, 2024
  4

• Race-condition when using Metatheory from multiple threads

  JuliaSymbolics/Metatheory.jl#224 · Filter by author gkronber opened on Jun 29, 2024
  5

• Metadata analysis in 3.0

  JuliaSymbolics/Metatheory.jl#210 · Filter by author HectorPeeters opened on May 26, 2024
  3

• Matching on fully qualified function call in 3.0

  JuliaSymbolics/Metatheory.jl#209 · Filter by author HectorPeeters opened on May 26, 2024
  2

• Compare with twee

  JuliaSymbolics/Metatheory.jl#200 · Filter by author 0x0f0f0f opened on Apr 28, 2024

• Q: Using TermInterface to set up Metatheory

  JuliaSymbolics/Metatheory.jl#173 · Filter by author Audrius-St opened on Nov 20, 2023
  4

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

  JuliaSymbolics/Metatheory.jl#158 · Filter by author kylebd99 opened on Jun 7, 2023
  1

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

  JuliaSymbolics/Metatheory.jl#157 · Filter by author vinhpb opened on May 29, 2023

• Conditions involving more than one variable

  JuliaSymbolics/Metatheory.jl#151 · Filter by author jariji opened on Mar 31, 2023
  2

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

  JuliaSymbolics/Metatheory.jl#148 · Filter by author xtalax opened on Dec 13, 2022
  1

• Move integration tests to narrative documentation.

  JuliaSymbolics/Metatheory.jl#147 · Filter by author 0x0f0f0f opened on Dec 8, 2022