Activité - Linear Arithmetic - Forge du Centre Blaise Pascal

Activité

Du 05/03/2017 au 03/04/2017

03/04/2017

10:07 Révision 165: Anupam Das

30/03/2017

12:13 Révision 164: corrected polynomial checking lemma: Patrick Baillot
12:08 Révision 163: + 1 reference: Patrick Baillot

29/03/2017

22:41 Révision 162: .: Patrick Baillot
22:32 Révision 161: preliminaries: definitions PH: Patrick Baillot
16:16 Révision 160: added in preliminaries the polychecking lemma: Patrick Baillot
12:42 Révision 159: added definitions mubc: Patrick Baillot

28/03/2017

21:49 Révision 158: Anupam Das
15:44 Révision 157: Anupam Das
01:53 Révision 156: Anupam Das

27/03/2017

18:11 Révision 155: Anupam Das
17:47 Révision 154: added basic template: Anupam Das
17:44 Révision 153: Anupam Das
17:21 Révision 152: added csl17 dir: Anupam Das
16:45 Révision 151: Anupam Das
16:42 Révision 150: rough draft done with goals at end - now move onto paper: Anupam Das

23/03/2017

18:29 Révision 149: Anupam Das
15:05 Révision 148: Anupam Das
14:55 Révision 147: Anupam Das
11:18 Révision 146: Anupam Das
11:17 Révision 145: Anupam Das

09/03/2017

14:16 Révision 144: Anupam Das

08/03/2017

22:43 Révision 143: added soundness file: Anupam Das

06/03/2017

00:53 Révision 142: done: Anupam Das

05/03/2017

22:29 Révision 141: .: Patrick Baillot
22:17 Révision 140: revised the second table of sect 2: Patrick Baillot
17:38 Révision 139: done for now - section 2 still needs a little work: Anupam Das
17:27 Révision 138: Anupam Das
17:11 Révision 137: done with narrative - only references and tables need to be cleaned up: Anupam Das

Formats disponibles : Atom