3.0 Release#185

Open

0x0f0f0f wants to merge 330 commits intomasterfrom ale/3.0

+4,156-3,646

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

Commits on Feb 25, 2024

Fix merging of analysis data when one of them is nothing
gkronber
committed

Commits on Feb 26, 2024

Changed definition of astsize and astsize_inv to simply count the number of nodes in the expression tree (note: the name astsize is not 100% appropriate because we do not process an abstract syntax…
gkronber
committed
Fixed syntax error.
gkronber
committed
Compare with first item (=min cost value) of cost tuple. The current comparison is always wrong.
gkronber
committed

Commits on Feb 27, 2024

Merge pull request #191 from gkronber/3.0_fixes
0x0f0f0f
authored

Commits on Feb 28, 2024

temp work
a
committed
Revert "temp work"
a
committed

Commits on Feb 29, 2024

Init new TIface
a
committed

Commits on Mar 1, 2024

Integrate more new terminterface
a
committed
all working with new terminterface
a
committed
adjust doctest
a
committed
adjust
a
committed

Commits on Mar 2, 2024

Commits on Mar 3, 2024

Merge pull request #194 from gkronber/fix_astsizeinv
0x0f0f0f
authored

Commits on Mar 28, 2024

Commits on Mar 29, 2024

Commits on Apr 5, 2024

Merge remote-tracking branch 'origin/master' into ale/3.0
a
committed

Commits on Apr 6, 2024

Merge remote-tracking branch 'origin/master' into ale/3.0
a
committed
Update docs
a
committed
cleanup
a
committed
fix bug
a
committed

Commits on Apr 9, 2024

restore TODO
a
committed

Commits on Apr 10, 2024

Commits on Apr 11, 2024

dont allocate
a
committed
avoid type convert
a
committed

Commits on Apr 20, 2024

Commits on Apr 21, 2024

Commits on Apr 22, 2024

next iteration
a
committed
remove swearing
a
committed

Commits on Apr 24, 2024

adjustments
a
committed

Commits on Apr 26, 2024

debug stuff
a
committed
friday night
a
committed

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 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 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