#
# ChangeLog for vis_dev/vis-2.3/models/debug/and2.ltl
#
# Generated by Trac 1.2.3
# Sep 9, 2024, 1:21:44 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 14:38:46 GMT cecile [39]
	* vis_dev/vis-2.3/models/debug/and2.ltl (added)

	debug example ltl formula