hastabel2idp - Use IDP as a model checker for HaStABeL.

Repositories

Shared Files

JabberHive

Passphraser

Contact Info

summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	99_idp_main.txt	55	log plain
-rw-r--r--	Makefile	2254	log plain
d---------	src	79	log plain