5 Commits

Author	SHA1	Message	Date
Vítor Santos Costa	2053c44054	try to clean-up makefiles and autoconfs	2014-10-26 17:39:52 +00:00
Fabrizio Riguzzi	b00a5bf7fc	em/8 returns the list of updated probabilities of examples	2013-09-08 17:46:36 +02:00
Fabrizio Riguzzi	cbf31fcd50	fixed test predicates	2013-09-08 16:06:18 +02:00
Fabrizio Riguzzi	dff6925a66	remved unnecessary gloabl vars from bddem.c	2013-07-16 12:43:50 +02:00
Fabrizio Riguzzi	be449b3aef	updated cplint	2011-10-22 16:33:04 +02:00