hastabel2idp - Use IDP as a model checker for HaStABeL.

Repositories

Shared Files

JabberHive

Passphraser

Contact Info

summary refs log tree commit diff

Age	Commit message (Expand)	Author
2018-05-24	Starting an IDP model checker for HaStABel...	Nathanael Sensfelder