Skip to content

Tags: DES-Lab/AALpy

Tags

v.1.5.3

Toggle v.1.5.3's commit message 
update version

v.1.5.2

Toggle v.1.5.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #97 from DES-Lab/k_way_oracle_bounds

K way oracle bounds

v.1.5.1

Toggle v.1.5.1's commit message 
test PAPNI correctness on SEVPA characterizing set

v.1.5.0

Toggle v.1.5.0's commit message 
- add optional ';' at the end of transition definition

- delete unused/redundant/faulty syntax DOT files

v.1.4.3

Toggle v.1.4.3's commit message 
remove dangling oracle

v.1.4.2

Toggle v.1.4.2's commit message 
add PAPNI to top level imports and one vpa benchmark model

v.1.4.1

Toggle v.1.4.1's commit message 
bump version

v.1.4.0

Toggle v.1.4.0's commit message 
update version

v.1.3.3

Toggle v.1.3.3's commit message 
update version

v.1.3.2

Toggle v.1.3.2's commit message 
update version