#
# ChangeLog for papers/FDL2012
#
# Generated by Trac 1.2.3
# Dec 26, 2024, 8:26:08 PM

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


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: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 15:38:31 GMT cecile [62]
	* papers/FDL2012/myBib.bib (modified)

	charachter encoding


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

	typos


Tue, 13 Mar 2012 10:47:22 GMT cecile [60]
	* papers/FDL2012/schema/Dependency_graph_weight_PNG.png (moved)
	* papers/FDL2012/schema/K_sigma_i_S_PNG.png (moved)
	* papers/FDL2012/schema/our_CEGAR_Loop_Enhanced_2S_PNG.png (moved)

	new folder organization


Tue, 13 Mar 2012 10:46:41 GMT cecile [59]
	* papers/FDL2012/schema (added)

	new folder schema


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:15:11 GMT cecile [55]
	* papers/FDL2012/FDL2012.out (deleted)

	menage


Wed, 07 Mar 2012 16:13:44 GMT cecile [54]
	* papers/FDL2012/FDL2012.tex (added)

	un peu trop fait le ménage


Wed, 07 Mar 2012 16:13:05 GMT cecile [53]
	* papers/FDL2012/FDL2012.aux (deleted)
	* papers/FDL2012/FDL2012.log (deleted)
	* papers/FDL2012/FDL2012.tex (deleted)

	not useful files


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


Tue, 06 Mar 2012 15:58:19 GMT ema [50]
	* papers/FDL2012/FDL2012.tex (modified)




Mon, 05 Mar 2012 16:32:03 GMT cecile [49]
	* papers/FDL2012/FDL2012.log (modified)
	* papers/FDL2012/Ubbold.fd (added)
	* papers/FDL2012/bbold.sty (added)
	* papers/FDL2012/bbold10.pfb (added)

	add math font


Mon, 05 Mar 2012 16:13:20 GMT syed [48]
	* papers/FDL2012 (added)
	* papers/FDL2012/Dependency_graph_weight_PNG.png (added)
	* papers/FDL2012/FDL2012.aux (added)
	* papers/FDL2012/FDL2012.log (added)
	* papers/FDL2012/FDL2012.out (added)
	* papers/FDL2012/FDL2012.tex (added)
	* papers/FDL2012/IEEEbib.bst (added)
	* papers/FDL2012/K_sigma_i_S_PNG.png (added)
	* papers/FDL2012/myBib.bib (added)
	* papers/FDL2012/our_CEGAR_Loop_Enhanced_2S_PNG.png (added)
	* papers/FDL2012/refs.bib (added)
	* papers/FDL2012/spconf.sty (added)
	* papers/FDL2012/strings.bib (added)

	/papers/FDL2012