WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com

Add checks for stable hypothesis constructions#157

Merged

mtf90 merged 9 commits intoLearnLib:developfrom

mtf90:stable-hypotheses

Dec 16, 2025

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Add checks for stable hypothesis constructions#157

Add checks for stable hypothesis constructions#157
mtf90 merged 9 commits intoLearnLib:developfrom
mtf90:stable-hypotheses

Commits on Dec 16, 2025

add initial test-infrastructure for detecting unstable hypothesis constructions

typo

fix TTT lambda

fix L* (MMLT)

account for AAAR behavior

further TTT lambda cleanups

split the learner-it-support classes in distinct packages

fix code-analysis issues

update CHANGELOG

Add checks for stable hypothesis constructions#157mtf90 merged 9 commits intoLearnLib:developLearnLib/learnlib:developfrom mtf90:stable-hypothesesmtf90/learnlib:stable-hypothesesCopy head branch name to clipboard

Commits

Commits on Dec 16, 2025

Add checks for stable hypothesis constructions#157
mtf90 merged 9 commits intoLearnLib:developfrom
mtf90:stable-hypotheses