#
# ChangeLog for papers/FDL2012/FDL2012.tex
#
# Generated by Trac 1.2.3
# Jul 6, 2024, 3:59:26 PM

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 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


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/


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




Tue, 13 Mar 2012 10:56:46 GMT cecile [61]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/framework.tex (modified)

	typos


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:13:44 GMT cecile [54]
	* papers/FDL2012/FDL2012.tex (added)

	un peu trop fait le ménage