Use Metatheory.jl 3.0 rule object#620

Draft

0x0f0f0f wants to merge 25 commits intomasterfrom

Commits on Jun 8, 2024

Commits on Jun 9, 2024

update docs
a
committed
adjust docs
a
committed

Commits on Jun 11, 2024

Commits on Jun 18, 2024

use metatheory rules
a
committed

Commits on Jun 24, 2024

building
Alessandro Cheli
committed
adjust some tests
Alessandro Cheli
committed
remove extra method
Alessandro Cheli
committed
make tests green
Alessandro Cheli
committed
adapt maketerm for promote_symtype
Alessandro Cheli
committed
hacky fix to promote symtype
Alessandro Cheli
committed

Commits on Jun 26, 2024

Merge remote-tracking branch 'origin' into ale/terminterface1
Alessandro Cheli
committed
iscall
Alessandro Cheli
committed
Merge branch 'ale/terminterface1' into ale/usemtrule
Alessandro Cheli
committed
add egraphs example
Alessandro Cheli
committed

Commits on Jun 27, 2024

adjust e-graph integration
Alessandro Cheli
committed