# # ChangeLog for papers/FDL2012 # # Generated by Trac 1.2.3 # Jul 6, 2024, 2:08:42 PM Tue, 10 Apr 2012 15:18:01 GMT syed [95] * papers/FDL2012/FDL2012.tex (modified) * papers/FDL2012/introduction.tex (modified) /papers/FDL2012/ Tue, 10 Apr 2012 14:45:00 GMT syed [94] * papers/FDL2012/ordering_filter_properties.tex (modified) /papers/FDL2012/ 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:53:13 GMT cecile [91] * papers/FDL2012/FDL2012.tex (modified) * papers/FDL2012/introduction.tex (modified) intro+ blind Fri, 06 Apr 2012 14:47:07 GMT cecile [90] * papers/FDL2012/ordering_filter_properties.tex (modified) algo input 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/ Fri, 06 Apr 2012 10:05:07 GMT syed [87] * papers/FDL2012/schema/our_framework_cegar_png.png (modified) /papers/FDL2012/schema/ Fri, 06 Apr 2012 09:24:24 GMT ema [86] * papers/FDL2012/framework.tex (modified) Fri, 06 Apr 2012 08:59:18 GMT syed [85] * papers/FDL2012/schema/our_framework_cegar_png.png (added) /papers/FDL2012/ Fri, 06 Apr 2012 08:50:56 GMT syed [84] * papers/FDL2012/framework.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/ 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é 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 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 19:24:30 GMT syed [78] * papers/FDL2012/introduction.tex (modified) /papers/FDL2012/ Wed, 28 Mar 2012 16:10:10 GMT cecile [77] * papers/FDL2012/framework.tex (modified) ref SAT 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