AALpy 1.5.3

• Minor bug fixes
  • ensure post method is called after every eq. query
  • ensure reproducibility in functions that rely on computation of characterization set
  • fix state tracking Transition Focus Eq Oracle
  • misc. updates

AALpy 1.5.2

• bug fixes
• added bound to k-way oracles

AAlpy 1.5.1

• Minor bug fixes
• Usability improvements

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