User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 15:47, 21 October 2017 (diff | hist) . . (+6) . . Deliverables (current)
- 15:46, 21 October 2017 (diff | hist) . . (+4) . . Deliverables
- 15:43, 21 October 2017 (diff | hist) . . (0) . . File:Verif-cfdlli.pdf (Sighireanu uploaded a new version of File:Verif-cfdlli.pdf) (current)
- 13:39, 6 September 2017 (diff | hist) . . (0) . . Deliverables
- 14:22, 5 September 2017 (diff | hist) . . (-41) . . Meetings (current)
- 14:17, 5 September 2017 (diff | hist) . . (+89) . . Meetings
- 14:09, 5 September 2017 (diff | hist) . . (+4) . . Deliverables
- 14:09, 5 September 2017 (diff | hist) . . (+2) . . Deliverables
- 14:08, 5 September 2017 (diff | hist) . . (+51) . . Deliverables
- 14:08, 5 September 2017 (diff | hist) . . (+39) . . N File:D1-4.pdf (D1.4: bi-abduction for Separation Logic) (current)
- 14:16, 4 September 2017 (diff | hist) . . (+67) . . Deliverables
- 14:14, 4 September 2017 (diff | hist) . . (+41) . . N File:Verif-cfdlli.pdf (Verification of container library: cfdlli)
- 14:13, 4 September 2017 (diff | hist) . . (0) . . File:D2-1.pdf (Sighireanu uploaded a new version of File:D2-1.pdf) (current)
- 21:40, 3 September 2017 (diff | hist) . . (+54) . . N File:D3-3.pdf (Deliverable 3.3: From low level to high level programs) (current)
- 21:40, 3 September 2017 (diff | hist) . . (0) . . File:D2-2.pdf (Sighireanu uploaded a new version of File:D2-2.pdf) (current)
- 21:39, 3 September 2017 (diff | hist) . . (0) . . File:D4-5.pdf (Sighireanu uploaded a new version of File:D4-5.pdf) (current)
- 14:09, 1 September 2017 (diff | hist) . . (+8) . . Deliverables
- 14:07, 1 September 2017 (diff | hist) . . (+46) . . N File:D4-5.pdf (Deliverable 4.5: Tools for High Level Programs)
- 14:07, 1 September 2017 (diff | hist) . . (+186) . . Deliverables
- 14:05, 1 September 2017 (diff | hist) . . (+56) . . N File:D2-2.pdf (Deliverable 2.2: Static Analysis for High Level Programs)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)