AALpy v.1.5.0

AALpy v.1.5.0 (major release)

The current version of AALpy includes a couple of new algorithms, equivalence oracles, QoL improvements, and bug fixes.

New Algorithms:

• L# and adaptive L# (thanks to @lkruger27 and @HarmCorporaal )
• Generalized State Merging framework (thanks to @zwergziege)
• New passive learning algorithms derived from GMS: k-tails, EDSM, AlergiaEDSM

New oracles:

• Wp and RandomWp Oracles (thanks to @steve-anunknown )
• Optimized W method

Other:

• bugfixes
• more robust loading
• advanced random sapling
• Non-deterministic Moore machine support

AALpy v.1.4.3

• Add Wp Method Eq oracle
• Optimized W Method test-case generation
• Minor bug fixes

AALpy v.1.4.2

Add PAPNI - passive learning of deterministic context-free grammars

Fix typing bug that was breaking backwards compatability

AALpy v.1.4.1

• Minor quality of life improvements
• Significant speedup in loading of models

AALpy v.1.4.0

New features

• Context-free grammar learning with KV
• Visualization of classification tree for KV
• Random generation of CFGs
• Added AutoamtaSUL which can be used in place of all SULs found in AutomtataSUL.py
• Top-level imports, eg. from aalpy import run_Lstar
• add eq operator for DeterministicAutomata based on bisimilar

v.1.3.3

• Optimize Alergia (50% memory reduction while keeping all statistical guarantees)
• Minor bug fixes
• Addition of 2 new deterministic oracles

v.1.3.2

• Fix comparability bug in Algeria
• Add copy operator for deterministic and stochastic automata

v.1.3.1

• Speed up RPNI implementation by up to 100 times
• Various small bug fixes
• Minor quality improvements

v.1.3.0

Major note: our implementation of KV with 'rs' counterexample processing on average requires much less system interaction than L*

Major changes

• Added KV
• Optimized and rewrite non-deterministic learning

Minor additions

• minimize method for deterministic automata
• small bug fixes

v.1.2.9

• add option to ensure minimality of randomly generated automata
• minor bug fixes and optimizations