# # ChangeLog for papers/FDL2012 # # Generated by Trac 1.2.3 # Dec 26, 2024, 5:36:20 AM 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