# # ChangeLog for papers # # Generated by Trac 1.2.3 # Dec 27, 2024, 9:43:24 AM 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 Mon, 05 Mar 2012 16:10:22 GMT syed [47] * papers (added) /papers