Metatheory.jl

Metatheory.jl copied to clipboard

0x0f0f0f

Hi, I am working on a `Reasoning System`, it has some syllogistic rules like: ```julia """ { M>, P>} |- P> { M>, P>} |- P> { T>, (*, P,...

AIxer

Update `eggify.jl` for 2.0

4

I have been trying to run `eggify.jl` found [here](https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/benchmarks/eggify.jl) but have been running into some issues, as it looks like some things have been renamed, mostly from https://github.com/JuliaSymbolics/Metatheory.jl/pull/77. First time...

jakevossen5

issue for ematching literals

6

Metatheory 1.3.3, SymbolicUtils 0.19.1 ``` using SymbolicUtils @syms x::Real r = @rule exp(-1 * im * ~x) => cos(~x) - im*sin(~x) ``` gives ``` ┌ Error: This shouldn't be printed....

jaakkor2

[WIP] Benchmarks

2

TODO: - [ ] Github Actions Workflow/Buildkite - [ ] Needs expression fuzzing (?) - [ ] Classical pattern matching - [ ] Logics example. - [ ] Equality saturation...

0x0f0f0f

Use Union{Some{T}, Nothing}

1

Currently rewriters don't distinguish between failing to match and successfully returning a value of `nothing`. I want to use this pattern: ```jl y = r1(expr)::Union{Nothing, Some{Expr}) return isnothing(y) ? y...

adkabo

Interesting stuff! You might be interested in checking out the work presented in the book “The Optimal Implementation of Functional Programming Languages”. They implement a graph rewriting vm based on...

adamnemecek

Rule Macro Quotes Function Names

23

The rule macro was changed to quote the names of functions in function call expressions. This is a change from the old rule macro. I used to return function objects...

willow-ahrens

Syntax to match vectors

1

SymbolicUtils.Code module creates `@matchable` types, but many of the types there have vector fields, but we don't have syntax to match things within vectors. It would be nice to have...

shashi

This issue gets in the way for #82 . See https://github.com/JuliaSymbolics/Metatheory.jl/blob/edfa8911f26dbfadd3108b381f8c88d6a24efb61/src/EGraphs/ematch.jl#L37-L47

0x0f0f0f