3.0 Release#185

Open

0x0f0f0f wants to merge 391 commits into

This pull request is big! We're only showing the most recent 250 commits

Commits on Apr 28, 2024

Commits on Apr 29, 2024

Commits on Apr 30, 2024

cleanup and adjustments
a
committed

Commits on May 2, 2024

more compiled stuffgs!
a
committed
add match compiler
a
committed

Commits on May 3, 2024

compilation state
a
committed

Commits on May 4, 2024

remove prints
a
committed
YOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO even faster
a
committed
should be slightly faster
a
committed
buffer adjustments
a
committed
ultra optimize buffer memory
a
committed
adjust method
a
committed

Commits on May 5, 2024

use less variables
a
committed
optimize even further
a
committed

Commits on May 6, 2024

compiler progress
a
committed
use opt buffer for stacks
a
committed

Commits on May 7, 2024

finalize static matchers
a
committed
things somehow work in index hell
a
committed
one remaining test
a
committed

Commits on May 12, 2024

Commits on May 13, 2024

adjust knuth bendix and cas
a
committed
remove dep
a
committed

Commits on May 14, 2024

simplify compiler
a
committed
compact rules in single type
a
committed
make all tests green
a
committed

Commits on May 15, 2024

Commits on May 16, 2024

update
a
committed

Commits on May 17, 2024

Commits on May 23, 2024

Merge pull request #208 from nmheim/nh/bench-1.11
0x0f0f0f
authored

Commits on May 30, 2024

simplify
nmheim
committed

Commits on Jun 3, 2024

Commits on Jun 4, 2024

Commits on Jun 5, 2024

Commits on Jun 8, 2024

Commits on Jun 13, 2024

Commits on Jun 18, 2024

Commits on Jun 20, 2024

add direct function to convert EqualityRules
nmheim
committed

Commits on Jun 24, 2024

isequal / rename functions
nmheim
committed

Commits on Jun 25, 2024

update TermInterface to 2.0
Alessandro Cheli
committed
inversion works
Alessandro Cheli
committed
add docs
Alessandro Cheli
committed
add docs
Alessandro Cheli
committed
Merge pull request #220 from nmheim/nh/direct-conversion
0x0f0f0f
authored
Merge remote-tracking branch 'origin/master' into ale/3.0
Alessandro Cheli
committed

Commits on Jun 26, 2024

remove areequal
Alessandro Cheli
committed
adjust failing test on empty arrays
Alessandro Cheli
committed

Commits on Jun 27, 2024

format
Alessandro Cheli
committed
improvements to schedulers
Alessandro Cheli
committed
add freeze scheduler
Alessandro Cheli
committed

Commits on Jun 28, 2024

remove merges buffer
Alessandro Cheli
committed

Commits on Jul 4, 2024

typos
spaette
committed

Commits on Jul 5, 2024

Commits on Jul 6, 2024

Merge pull request #229 from gkronber/225_hashcollision_squashed
0x0f0f0f
authored
syntax improvements
Alessandro Cheli
committed
adjust syntax
Alessandro Cheli
committed
improve performance
Alessandro Cheli
committed

Commits on Jul 8, 2024

minor optimizations
Alessandro Cheli
committed

Commits on Jul 22, 2024

fix for niklas
a
committed

Commits on Aug 16, 2024

Commits on Aug 18, 2024

Add assertions for semantic analysis values.
gkronber
committed

Commits on Aug 20, 2024

Commits on Aug 21, 2024

run on all branches
a
committed
trigger CI
a
committed

Commits on Aug 22, 2024

Commits on Aug 23, 2024

Commits on Aug 25, 2024

Revert change in UniqueQueue as it does not work with Julia v1.8
gkronber
committed

Commits on Sep 3, 2024

Merge pull request #239 from gkronber/fix_enode_memo_2
0x0f0f0f
authored

Commits on Sep 11, 2024

Added more documentation to internal data structures

quffaro
authored and
olynch
committed

Commits on Sep 12, 2024

Commits on Sep 13, 2024

Fix MU-puzzle rules and add more tests from original source.
gkronber
committed

Commits on Sep 15, 2024

Merge pull request #247 from JuliaSymbolics/240_mu_puzzle
0x0f0f0f
authored

Commits on Sep 24, 2024

fix merge
olynch
committed

Commits on Sep 25, 2024

Commits on Sep 29, 2024

Merge pull request #243 from JuliaSymbolics/3.0_minor_fixes_and_improvements
0x0f0f0f
authored

Commits on Oct 5, 2024

Mutable semantic analysis (data) for eclass
gkronber
committed

Commits on Oct 10, 2024

Commits on Oct 11, 2024

Commits on Jan 3, 2025

make UnionAll matchable as pattern operation
a
committed

Commits on Jan 4, 2025

retrigger CI
a
committed

Commits on Jan 20, 2025

Commits on Jan 21, 2025

mega perf
a
committed

Commits on Feb 1, 2025

experiment
a
committed

Commits on Feb 2, 2025

mark failures
a
committed

Commits on Feb 4, 2025

Merge branch 'ale/3.0' into ale/3.0-ematch-hashes
a
committed

Commits on Feb 5, 2025

Optimize pattern
a
committed
minor fix
a
committed

Commits on Feb 11, 2025

Commits on Feb 15, 2025

Fix buffer readable
a
committed
try forcing rebuild
a
committed

Commits on Feb 16, 2025

Commits on Feb 19, 2025

Commits on Feb 20, 2025

Commits on Feb 24, 2025

Commits on Sep 9, 2025

Merge pull request #265 from JuliaSymbolics/report_egraph_size_for_benchmarks
gkronber
authored

Commits on May 21, 2026

Commits on May 23, 2026

fix nightly ci
0x0f0f0f
committed