Activité - Linear Arithmetic - Forge du Centre Blaise Pascal

Activité

Du 13/03/2017 au 11/04/2017

11/04/2017

23:00 Révision 170: predicative minimisation: Patrick Baillot

10/04/2017

11:13 Révision 169: Anupam Das

06/04/2017

22:34 Révision 168: Anupam Das
15:47 Révision 167: .: Patrick Baillot
01:35 Révision 166: Anupam Das

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

Formats disponibles : Atom