#
# ChangeLog for papers/FDL2012/exp_results.tex
#
# Generated by Trac 1.2.3
# Jul 4, 2024, 12:45:22 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


Tue, 10 Apr 2012 14:30:02 GMT syed [93]
	* 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/ordering_filter_properties.tex (modified)

	/papers/FDL2012/


Fri, 06 Apr 2012 20:37:41 GMT syed [92]
	* 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)

	/papers/FDL2012/


Fri, 06 Apr 2012 14:44:06 GMT cecile [89]
	* 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/ordering_filter_properties.tex (modified)

	corrections typos and co


Fri, 06 Apr 2012 11:50:44 GMT syed [88]
	* papers/FDL2012/exp_results.tex (modified)

	/papers/FDL2012/


Thu, 05 Apr 2012 11:59:16 GMT syed [83]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/introduction.tex (modified)
	* papers/FDL2012/myBib.bib (modified)

	/papers/FDL2012/


Wed, 04 Apr 2012 12:01:08 GMT syed [80]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/introduction.tex (modified)

	/papers/FDL2012


Tue, 27 Mar 2012 15:24:35 GMT syed [75]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/introduction.tex (modified)

	/papers/FDL2012/


Mon, 26 Mar 2012 13:46:26 GMT syed [74]
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/introduction.tex (modified)

	/papers/FDL2012/


Fri, 23 Mar 2012 17:49:03 GMT syed [73]
	* papers/FDL2012/exp_results.tex (modified)

	/papers/FDL2012/


Fri, 23 Mar 2012 13:57:43 GMT syed [72]
	* papers/FDL2012/exp_results.tex (modified)

	/papers/FDL2012/


Thu, 22 Mar 2012 18:15:07 GMT syed [71]
	* papers/FDL2012/exp_results.tex (modified)

	/papers/FDL2012/


Wed, 14 Mar 2012 14:47:02 GMT cecile [66]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)

	refinement with property first part


Wed, 14 Mar 2012 12:43:13 GMT syed [64]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (added)
	* papers/FDL2012/myBib.bib (modified)

	/papers/FDL2012/