#
# ChangeLog for vis_dev/vis-2.3/src/debug/debug.c
#
# Generated by Trac 1.2.3
# Jul 4, 2024, 3:50:23 AM

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