#
# ChangeLog for papers/FDL2012/abstraction_refinement.tex
#
# Generated by Trac 1.2.3
# Jul 3, 2024, 11:40:03 PM

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


Thu, 05 Apr 2012 10:05:33 GMT cecile [82]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	correction label AKS(cex)


Wed, 04 Apr 2012 13:21:25 GMT cecile [81]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	typos et texte un peu allégé


Fri, 30 Mar 2012 15:02:20 GMT cecile [79]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	correction counter-example and its negation representation


Wed, 28 Mar 2012 13:21:52 GMT ema [76]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/myBib.bib (modified)




Tue, 20 Mar 2012 10:56:30 GMT ema [70]
	* papers/FDL2012/abstraction_refinement.tex (modified)




Thu, 15 Mar 2012 13:27:06 GMT cecile [69]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/myBib.bib (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	partie raffinement avec liste des propriétés mis à jour


Thu, 15 Mar 2012 12:43:45 GMT ema [68]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)




Wed, 14 Mar 2012 15:27:45 GMT cecile [67]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	Refinement text filter added


Wed, 14 Mar 2012 14:40:47 GMT cecile [65]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (added)

	algo weight up to date


Tue, 13 Mar 2012 15:53:14 GMT ema [63]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)




Fri, 09 Mar 2012 16:16:33 GMT cecile [58]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/myBib.bib (modified)

	reordoring of the firsts definitions


Fri, 09 Mar 2012 14:31:35 GMT cecile [57]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/myBib.bib (modified)

	biblio et utf8


Thu, 08 Mar 2012 13:00:31 GMT cecile [56]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)

	add defintions concrete, and modify refinement, cex defintion


Wed, 07 Mar 2012 16:10:31 GMT cecile [52]
	* papers/FDL2012/FDL2012.aux (modified)
	* papers/FDL2012/FDL2012.log (modified)
	* papers/FDL2012/FDL2012.out (modified)
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (added)
	* papers/FDL2012/framework.tex (added)
	* papers/FDL2012/introduction.tex (added)

	Decomposition de papier en fichier