Activité - Linear Arithmetic - Forge du Centre Blaise Pascal

Activité

Du 26/04/2017 au 25/05/2017

18/05/2017

12:27 Révision 270: completeness proof : changed case z \neq 0 in the formula for predicative minimisa...: Patrick Baillot

11/05/2017

11:11 Révision 269: Anupam Das

08/05/2017

22:07 Révision 268: Anupam Das
02:00 Révision 267: Anupam Das

07/05/2017

11:13 Révision 266: .: Patrick Baillot

06/05/2017

16:18 Révision 265: Anupam Das
16:02 Révision 264: .: Patrick Baillot
15:57 Révision 263: proofs of example 20: Patrick Baillot

05/05/2017

17:21 Révision 262: Anupam Das
16:47 Révision 261: Anupam Das

04/05/2017

16:08 Révision 260: .: Patrick Baillot

03/05/2017

17:29 Révision 259: Anupam Das
15:30 Révision 258: Anupam Das
15:29 Révision 257: Anupam Das
15:26 Révision 256: Anupam Das
15:24 Révision 255: Anupam Das
15:24 Révision 254: Anupam Das
12:09 Révision 253: .: Patrick Baillot
12:02 Révision 252: corrected example 5: Patrick Baillot

02/05/2017

16:25 Révision 251: added tech report folder: Anupam Das

01/05/2017

00:06 Révision 250: proof of minimisation lemma, in appendic completeness: Patrick Baillot

29/04/2017

15:36 Révision 249: Anupam Das
15:18 Révision 248: Anupam Das
15:17 Révision 247: Anupam Das
15:12 Révision 246: Anupam Das
15:08 Révision 245: Anupam Das
14:56 Révision 244: Anupam Das
14:55 Révision 243: .: Patrick Baillot
14:50 Révision 242: .: Patrick Baillot
14:37 Révision 241: basic functions: Patrick Baillot
14:36 Révision 240: Anupam Das
14:28 Révision 239: Anupam Das
14:26 Révision 238: Anupam Das
14:24 Révision 237: predicate 0BIT in sect 3.1: Patrick Baillot
14:18 Révision 236: Anupam Das
14:08 Révision 235: Anupam Das
13:55 Révision 234: Anupam Das
13:45 Révision 233: done with completeness: Anupam Das
13:43 Révision 232: .: Patrick Baillot
13:40 Révision 231: .: Patrick Baillot
13:22 Révision 230: fixed other basic axioms: Anupam Das
13:08 Révision 229: done first pass: Anupam Das
12:24 Révision 228: Anupam Das
12:04 Révision 227: done with arithmetic: Anupam Das
11:21 Révision 226: .: Patrick Baillot
10:46 Révision 225: done with soundness: Anupam Das
10:44 Révision 224: Added the completeness proof sketch: Patrick Baillot
02:02 Révision 223: down to 12 pages: Anupam Das
02:00 Révision 222: Anupam Das
01:40 Révision 221: Anupam Das
01:36 Révision 220: Anupam Das

28/04/2017

23:49 Révision 219: Anupam Das
23:17 Révision 218: .: Patrick Baillot
23:10 Révision 217: Added 2 predicates in 4.1: Patrick Baillot
18:32 Révision 216: .: Patrick Baillot
17:54 Révision 215: graphs of basic functions: Patrick Baillot
15:32 Révision 214: some graphs of basic functions: Patrick Baillot
14:57 Révision 213: bit(l;x) function: Patrick Baillot
14:15 Révision 212: basic function addition: Patrick Baillot
00:31 Révision 211: added conclusion: Patrick Baillot

27/04/2017

23:16 Révision 210: .: Patrick Baillot
23:12 Révision 209: .: Patrick Baillot
22:37 Révision 208: .: Patrick Baillot
21:58 Révision 207: Anupam Das
19:18 Révision 206: .: Patrick Baillot
18:59 Révision 205: Anupam Das
16:01 Révision 204: .: Patrick Baillot
15:16 Révision 203: intro revised (in progress): Patrick Baillot
15:13 Révision 202: Anupam Das
14:03 Révision 201: Anupam Das

26/04/2017

19:56 Révision 200: added vl: Anupam Das

Formats disponibles : Atom