#
# ChangeLog for vis_dev/vis-2.3/models/transition/relation.dot
#
# Generated by Trac 1.2.3
# Aug 1, 2024, 3:04:35 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


Sun, 04 Dec 2011 11:04:34 GMT cecile [28]
	* vis_dev/vis-2.3/Makefile.in (modified)
	* vis_dev/vis-2.3/models (added)
	* vis_dev/vis-2.3/models/arbiter (added)
	* vis_dev/vis-2.3/models/arbiter/3_faulty.mv (added)
	* vis_dev/vis-2.3/models/arbiter/arbiter.mv (added)
	* vis_dev/vis-2.3/models/arbiter/arbiter.script (added)
	* vis_dev/vis-2.3/models/arbiter/arbiter.v (added)
	* vis_dev/vis-2.3/models/arbiter/check_gcd (added)
	* vis_dev/vis-2.3/models/arbiter/gcd.mv (added)
	* vis_dev/vis-2.3/models/arbiter/gcd.v (added)
	* vis_dev/vis-2.3/models/counter (added)
	* vis_dev/vis-2.3/models/counter/affalse (added)
	* vis_dev/vis-2.3/models/counter/check_result (added)
	* vis_dev/vis-2.3/models/counter/check_script (added)
	* vis_dev/vis-2.3/models/counter/counter.ctl (added)
	* vis_dev/vis-2.3/models/counter/counter.mv (added)
	* vis_dev/vis-2.3/models/counter/counter.v (added)
	* vis_dev/vis-2.3/models/counter/init.prop (added)
	* vis_dev/vis-2.3/models/counter/properties.ltl (added)
	* vis_dev/vis-2.3/models/counter/protect_golden.reg (added)
	* vis_dev/vis-2.3/models/counter/rob.script (added)
	* vis_dev/vis-2.3/models/transition (added)
	* vis_dev/vis-2.3/models/transition/f.ctl (added)
	* vis_dev/vis-2.3/models/transition/mc.html (added)
	* vis_dev/vis-2.3/models/transition/mc.txt (added)
	* vis_dev/vis-2.3/models/transition/relation.bdd (added)
	* vis_dev/vis-2.3/models/transition/relation.dot (added)
	* vis_dev/vis-2.3/models/transition/script (added)
	* vis_dev/vis-2.3/models/transition/simple.mv (added)
	* vis_dev/vis-2.3/models/transition/simple.v (added)
	* vis_dev/vis-2.3/models/transition/testons.mv (added)

	exemples de test