Fundamental Refactoring of SL Lambda Learning Algorithm#116

Merged

FredrikTaquist merged 32 commits intomainfrom

sllambda-refactor

Jan 19, 2026

Commits on Jan 14, 2026

classification tree and slct implementation

FredrikTaquist
authored and
kostis
committed
update out-of-date code and fix errors

FredrikTaquist
authored and
kostis
committed
add sllambda algorithm and replace ralambda with sllambda

FredrikTaquist
authored and
kostis
committed
bugfixing

FredrikTaquist
authored and
kostis
committed
remove method call introduced in java 21

FredrikTaquist
authored and
kostis
committed
fix query counting in caching oracle and update query numbers

FredrikTaquist
authored and
kostis
committed
fix to caching oracle query counting

FredrikTaquist
authored and
kostis
committed
remove unused files

FredrikTaquist
authored and
kostis
committed
apply spotless

FredrikTaquist
authored and
kostis
committed
remove one additional unused file

FredrikTaquist
authored and
kostis
committed
change variable name to keep codespell happy

FredrikTaquist
authored and
kostis
committed
remove some prints

FredrikTaquist
authored and
kostis
committed
remove unused dependency

FredrikTaquist
authored and
kostis
committed
remove unused and commented out code

FredrikTaquist
authored and
kostis
committed
improve readability with code reorganization and documentation/comments

FredrikTaquist
authored and
kostis
committed
apply spotless

FredrikTaquist
authored and
kostis
committed
fix mistake in ClassificationTree::suffixRevealsNewGuard

FredrikTaquist
authored and
kostis
committed
add test case for issue #78

FredrikTaquist
authored and
kostis
committed
rename test so it runs automatically

FredrikTaquist
authored and
kostis
committed
attempt number 2 at renaming test

FredrikTaquist
authored and
kostis
committed
fix ineq theory guard merging bug

FredrikTaquist
authored and
kostis
committed
add test case revealing bug

FredrikTaquist
authored and
kostis
committed
fix bug with comparing sdts using inequality theory

FredrikTaquist
authored and
kostis
committed
add test revealing non-determinacy bug

FredrikTaquist
authored and
kostis
committed
include ra transitions in ra run

FredrikTaquist
authored and
kostis
committed
remove unused methods

FredrikTaquist
authored and
kostis
committed
update login test query count

FredrikTaquist
authored and
kostis
committed
fix error in RARun::getGuard

FredrikTaquist
authored and
kostis
committed
small fixes, tidying up, and removing unused code

FredrikTaquist
authored and
kostis
committed
change name of tryEquality

FredrikTaquist
authored and
kostis
committed
add note on deprecated methods

FredrikTaquist
authored and
kostis
committed
Fix Javadoc errors
kostis
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fundamental Refactoring of SL Lambda Learning Algorithm#116

Fundamental Refactoring of SL Lambda Learning Algorithm#116
FredrikTaquist merged 32 commits intomainfrom
sllambda-refactor

Commits on Jan 14, 2026

classification tree and slct implementation

update out-of-date code and fix errors

add sllambda algorithm and replace ralambda with sllambda

bugfixing

remove method call introduced in java 21

fix query counting in caching oracle and update query numbers

fix to caching oracle query counting

remove unused files

apply spotless

remove one additional unused file

change variable name to keep codespell happy

remove some prints

remove unused dependency

remove unused and commented out code

improve readability with code reorganization and documentation/comments

apply spotless

fix mistake in ClassificationTree::suffixRevealsNewGuard

add test case for issue #78

rename test so it runs automatically

attempt number 2 at renaming test

fix ineq theory guard merging bug

add test case revealing bug

fix bug with comparing sdts using inequality theory

add test revealing non-determinacy bug

include ra transitions in ra run

remove unused methods

update login test query count

fix error in RARun::getGuard

small fixes, tidying up, and removing unused code

change name of tryEquality

add note on deprecated methods

Fix Javadoc errors