#
# ChangeLog for vis_dev/vis-2.3/models/debug
#
# Generated by Trac 1.2.3
# Jul 4, 2024, 2:13:32 AM

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