#
# ChangeLog for vis_dev/vis-2.3/src/debug
#
# Generated by Trac 1.2.3
# Jul 11, 2024, 10:53:57 AM

Thu, 19 Jul 2012 09:44:48 GMT syed [101]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/introduction.tex (modified)
	* papers/FDL2012/myBib.bib (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)
	* papers/FDL2012/schema/our_framework_cegar_png.png (modified)
	* vis_dev/vis-2.3/configure (modified)
	* vis_dev/vis-2.3/models/transition/relation.dot (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)

	final


Wed, 18 Jul 2012 14:46:43 GMT cecile [100]
	* vis_dev/vis-2.3/models/transition/cex.ctl (modified)
	* vis_dev/vis-2.3/models/transition/cex.v (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/mc/mcCmd.c (modified)

	exemple transition with cex


Sun, 15 Jul 2012 12:15:06 GMT cecile [98]
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/debug/debugInt.h (modified)
	* vis_dev/vis-2.3/src/debug/debugUtilities.c (modified)
	* vis_dev/vis-2.3/src/rob/Robust.c (modified)
	* vis_dev/vis-2.3/src/rob/robCmd.c (modified)

	add part of cex


Mon, 09 Jul 2012 16:31:35 GMT cecile [97]
	* vis_dev/vis-2.3/src/debug/debugNewBdd.c (added)

	debugNew


Mon, 09 Jul 2012 14:36:29 GMT cecile [96]
	* vis_dev/vis-2.3/src/debug/debug.c (modified)

	verbose


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


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: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


Thu, 05 Jan 2012 15:33:54 GMT cecile [37]
	* vis_dev/vis-2.3/src/debug/debug.c (modified)

	the network now take the new fsm as fsm


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:12:40 GMT cecile [35]
	* 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/debugUtilities.c (modified)

	modify mv table


Thu, 08 Dec 2011 15:38:48 GMT cecile [30]
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/debug/debugUtilities.c (modified)
	* vis_dev/vis-2.3/src/rob/Robust.c (modified)

	We can now change the transition relation


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