What's Changed
- Interface for determinization by @vhavlena in #9
- TELA inductive: remove type from macrostate by @vhavlena in #11
- TELA: shared breakpoint refactoring by @vhavlena in #10
- TELA inductive: successor computation optimization by @vhavlena in #12
- TELA: FIN-disjunction round robing by @vhavlena in #13
- Build warnings by @vhavlena in #15
- Add complementation for initial-almost-deterministic components (generalization of initial det. components). by @OndrejAlexaj in #14
- Shared breakpoint in the root by @OndrejAlexaj in #16
- Fix computation of max number of runs inside IADAC partition by @OndrejAlexaj in #17
- Fix: Debug script by @vhavlena in #20
- README: minor update by @vhavlena in #21
Full Changelog: v1.1.0...v1.2.0
Contributors
vhavlena and OndrejAlexaj