Timeline



Apr 6, 2012:

10:37 PM Changeset [92] by syed
/papers/FDL2012/
4:53 PM Changeset [91] by cecile
intro+ blind
4:47 PM Changeset [90] by cecile
algo input
4:44 PM Changeset [89] by cecile
corrections typos and co
1:50 PM Changeset [88] by syed
/papers/FDL2012/
12:05 PM Changeset [87] by syed
/papers/FDL2012/schema/
11:24 AM Changeset [86] by ema
10:59 AM Changeset [85] by syed
/papers/FDL2012/
10:50 AM Changeset [84] by syed
/papers/FDL2012/

Apr 5, 2012:

1:59 PM Changeset [83] by syed
/papers/FDL2012/
12:05 PM Changeset [82] by cecile
correction label AKS(cex)

Apr 4, 2012:

3:21 PM Changeset [81] by cecile
typos et texte un peu allégé
2:01 PM Changeset [80] by syed
/papers/FDL2012

Mar 30, 2012:

5:02 PM Changeset [79] by cecile
correction counter-example and its negation representation

Mar 28, 2012:

9:24 PM Changeset [78] by syed
/papers/FDL2012/
6:10 PM Changeset [77] by cecile
ref SAT
3:21 PM Changeset [76] by ema

Mar 27, 2012:

5:24 PM Changeset [75] by syed
/papers/FDL2012/

Mar 26, 2012:

3:46 PM Changeset [74] by syed
/papers/FDL2012/

Mar 23, 2012:

6:49 PM Changeset [73] by syed
/papers/FDL2012/
2:57 PM Changeset [72] by syed
/papers/FDL2012/

Mar 22, 2012:

7:15 PM Changeset [71] by syed
/papers/FDL2012/

Mar 20, 2012:

11:56 AM Changeset [70] by ema

Mar 15, 2012:

2:27 PM Changeset [69] by cecile
partie raffinement avec liste des propriétés mis à jour
1:43 PM Changeset [68] by ema

Mar 14, 2012:

4:27 PM Changeset [67] by cecile
Refinement text filter added
3:47 PM Changeset [66] by cecile
refinement with property first part
3:40 PM Changeset [65] by cecile
algo weight up to date
1:43 PM Changeset [64] by syed
/papers/FDL2012/

Mar 13, 2012:

4:53 PM Changeset [63] by ema
4:38 PM Changeset [62] by cecile
charachter encoding
11:56 AM Changeset [61] by cecile
typos
11:47 AM Changeset [60] by cecile
new folder organization
11:46 AM Changeset [59] by cecile
new folder schema

Mar 9, 2012:

5:16 PM Changeset [58] by cecile
reordoring of the firsts definitions
3:31 PM Changeset [57] by cecile
biblio et utf8

Mar 8, 2012:

2:00 PM Changeset [56] by cecile
add defintions concrete, and modify refinement, cex defintion
Note: See TracTimeline for information about the timeline view.