#
# ChangeLog for vis_dev/vis-2.3/src/debug/debugInt.h
#
# Generated by Trac 1.2.3
# Jul 31, 2024, 7:40:28 AM

Mon, 20 Feb 2012 17:45:17 GMT cecile [45]
	* biblio (added)
	* biblio/biblio.bib (added)
	* biblio/verif_biblio.html (added)
	* 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.make (modified)
	* vis_dev/vis-2.3/src/debug/debugAbnormal.c (modified)
	* vis_dev/vis-2.3/src/debug/debugInt.h (modified)

	fichier biblio avec lien sur le compte verif


Tue, 24 Jan 2012 14:41:23 GMT cecile [44]
	* 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)

	abnormal predicate done


Fri, 13 Jan 2012 17:32:51 GMT cecile [42]
	* 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)

	Fault candidates OK


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


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


Sun, 04 Dec 2011 11:02:36 GMT cecile [27]
	* vis_dev/vis-2.3/src/debug (added)
	* vis_dev/vis-2.3/src/debug/debug.c (added)
	* vis_dev/vis-2.3/src/debug/debug.h (added)
	* vis_dev/vis-2.3/src/debug/debug.make (added)
	* vis_dev/vis-2.3/src/debug/debugInt.h (added)
	* vis_dev/vis-2.3/src/debug/debugUtilities.c (added)
	* vis_dev/vis-2.3/src/vm/vmInit.c (modified)
	* vis_dev/vis-2.3/src/vm/vmInt.h (modified)

	add debug code source