v1.3.4

Metatheory v1.3.4

Diff since v1.3.3

Closed issues:

• PatSegment (AKA slotvars in SymbolicUtils.jl) not implemented for new classical rewriting module. (#72)
• istree(e::T) versus istree(T) (#90)
• Monoid macro in Metatheory.Library missing interpolation (#98)
• Extracting an Expr from ENodeTerm (#102)
• EqualityRule does not support user defined types (#103)
• EGraph saturation does not run its iterations (#104)
• how could I pass the automatically generated rules into @rule and @theory macro? (#116)
• Predicates does not work in Egraph saturation? (#117)
• dynamic rule for egraph has weird behaviour of push! append! operation on vectors (#120)
• bug in @areequal (#121)
• project that manipulate quantum circuit using Metatheory.jl (#122)
• Predicates not working in egraph (#123)

Merged pull requests:

• fix small typo in egraphs.md (#91) (@herrgahr)
• Fix binarization type inconsistency bug issue #95 (#96) (@0x0f0f0f)
• Fix the library macros (#100) (@0x0f0f0f)
• Similarterm, istree and issym only dispatch on objects and not on types. Fix EGraphs tests (#101) (@0x0f0f0f)
• version bump (v2.0.0-DEV) (#106) (@Wilkenfeld)
• add julia-format workflow (#108) (@Wilkenfeld)
• format codebase (#109) (@Wilkenfeld)
• Structure tests in testsets & Separate unit and integration tests (#112) (@Wilkenfeld)
• Simplify E-Graph Analysis Interface. Use Symbols or functions for identifying Analyses. Remove duplicates in E-Graph analyses data. (#115) (@0x0f0f0f)
• Remove unneeded prints (#118) (@Wilkenfeld)