#
# ChangeLog for vis_dev/vis-2.3/models
#
# Generated by Trac 1.2.3
# Jul 4, 2024, 1:35:12 AM

Tue, 10 Jan 2012 17:51:23 GMT cecile [41]
	* vis_dev/vis-2.3/models/debug/and2.ltl (modified)
	* vis_dev/vis-2.3/models/debug/test.script (modified)
	* vis_dev/vis-2.3/src/bmc/bmcInt.h (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/debug/debug.h (modified)
	* vis_dev/vis-2.3/src/debug/debugAbnormal.c (modified)
	* vis_dev/vis-2.3/src/debug/debugInt.h (modified)
	* vis_dev/vis-2.3/src/debug/debugUtilities.c (modified)

	new command generate cnf from network


Sun, 08 Jan 2012 16:12:00 GMT cecile [40]
	* vis_dev/cusp-1.1/configure (modified)
	* vis_dev/cusp-1.1/helpers/mkinstalldirs (modified)
	* vis_dev/sharpSAT/sharpSAT (modified)
	* vis_dev/vis-2.3/models/debug/test.script (modified)
	* vis_dev/vis-2.3/models/transition/f.ctl (modified)
	* vis_dev/vis-2.3/models/transition/script (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/debug/debug.h (modified)
	* vis_dev/vis-2.3/src/debug/debugAbnormal.c (modified)
	* vis_dev/vis-2.3/src/ntk/ntkNtk.c (modified)

	abnormal structure in network


Sun, 08 Jan 2012 14:38:46 GMT cecile [39]
	* vis_dev/vis-2.3/models/debug/and2.ltl (added)

	debug example ltl formula


Sun, 08 Jan 2012 14:30:01 GMT cecile [38]
	* vis_dev/vis-2.3/models/debug/test.script (modified)
	* vis_dev/vis-2.3/src/bmc/bmcBmc.c (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)

	first attempt debug with ltl formula


Wed, 04 Jan 2012 11:03:00 GMT cecile [36]
	* vis_dev/vis-2.3/models/debug/and2.v (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/debug/debug.h (modified)
	* vis_dev/vis-2.3/src/debug/debug.make (modified)
	* vis_dev/vis-2.3/src/debug/debugAbnormal.c (added)
	* vis_dev/vis-2.3/src/debug/debugInt.h (modified)

	Add Abnormal predicate structures


Tue, 03 Jan 2012 10:11:46 GMT cecile [34]
	* vis_dev/vis-2.3/models/debug/aig.dot (deleted)
	* vis_dev/vis-2.3/models/debug/and2.cnf (deleted)
	* vis_dev/vis-2.3/models/debug/and2.mv (deleted)
	* vis_dev/vis-2.3/models/debug/andé.cnf (deleted)
	* vis_dev/vis-2.3/models/debug/core (deleted)
	* vis_dev/vis-2.3/models/debug/new_ntk.dot (deleted)
	* vis_dev/vis-2.3/models/debug/ntx.dot (deleted)

	des fichiers en trop


Tue, 03 Jan 2012 10:10:33 GMT cecile [33]
	* vis_dev/vis-2.3/models/debug (added)
	* vis_dev/vis-2.3/models/debug/2_faulty.v (added)
	* vis_dev/vis-2.3/models/debug/2_golden.v (added)
	* vis_dev/vis-2.3/models/debug/aig.dot (added)
	* vis_dev/vis-2.3/models/debug/and.v (added)
	* vis_dev/vis-2.3/models/debug/and2.cnf (added)
	* vis_dev/vis-2.3/models/debug/and2.mv (added)
	* vis_dev/vis-2.3/models/debug/and2.v (added)
	* vis_dev/vis-2.3/models/debug/andé.cnf (added)
	* vis_dev/vis-2.3/models/debug/core (added)
	* vis_dev/vis-2.3/models/debug/new_ntk.dot (added)
	* vis_dev/vis-2.3/models/debug/ntx.dot (added)
	* vis_dev/vis-2.3/models/debug/test.script (added)

	add debug example


Thu, 08 Dec 2011 16:23:16 GMT cecile [31]
	* vis_dev/vis-2.3/models/transition/relation.bdd (modified)
	* vis_dev/vis-2.3/models/transition/script (modified)
	* vis_dev/vis-2.3/models/transition/simple.mv (modified)

	example for _transition


Sun, 04 Dec 2011 11:04:34 GMT cecile [28]
	* vis_dev/vis-2.3/Makefile.in (modified)
	* vis_dev/vis-2.3/models (added)
	* vis_dev/vis-2.3/models/arbiter (added)
	* vis_dev/vis-2.3/models/arbiter/3_faulty.mv (added)
	* vis_dev/vis-2.3/models/arbiter/arbiter.mv (added)
	* vis_dev/vis-2.3/models/arbiter/arbiter.script (added)
	* vis_dev/vis-2.3/models/arbiter/arbiter.v (added)
	* vis_dev/vis-2.3/models/arbiter/check_gcd (added)
	* vis_dev/vis-2.3/models/arbiter/gcd.mv (added)
	* vis_dev/vis-2.3/models/arbiter/gcd.v (added)
	* vis_dev/vis-2.3/models/counter (added)
	* vis_dev/vis-2.3/models/counter/affalse (added)
	* vis_dev/vis-2.3/models/counter/check_result (added)
	* vis_dev/vis-2.3/models/counter/check_script (added)
	* vis_dev/vis-2.3/models/counter/counter.ctl (added)
	* vis_dev/vis-2.3/models/counter/counter.mv (added)
	* vis_dev/vis-2.3/models/counter/counter.v (added)
	* vis_dev/vis-2.3/models/counter/init.prop (added)
	* vis_dev/vis-2.3/models/counter/properties.ltl (added)
	* vis_dev/vis-2.3/models/counter/protect_golden.reg (added)
	* vis_dev/vis-2.3/models/counter/rob.script (added)
	* vis_dev/vis-2.3/models/transition (added)
	* vis_dev/vis-2.3/models/transition/f.ctl (added)
	* vis_dev/vis-2.3/models/transition/mc.html (added)
	* vis_dev/vis-2.3/models/transition/mc.txt (added)
	* vis_dev/vis-2.3/models/transition/relation.bdd (added)
	* vis_dev/vis-2.3/models/transition/relation.dot (added)
	* vis_dev/vis-2.3/models/transition/script (added)
	* vis_dev/vis-2.3/models/transition/simple.mv (added)
	* vis_dev/vis-2.3/models/transition/simple.v (added)
	* vis_dev/vis-2.3/models/transition/testons.mv (added)

	exemples de test