All public logs
Combined display of all available logs of vecolib. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)- 14:14, 4 September 2017 Sighireanu (Talk | contribs) uploaded File:Verif-cfdlli.pdf (Verification of container library: cfdlli)
- 14:13, 4 September 2017 Sighireanu (Talk | contribs) uploaded a new version of File:D2-1.pdf (Deliverable 2.1: fix missing reference)
- 21:40, 3 September 2017 Sighireanu (Talk | contribs) uploaded File:D3-3.pdf (Deliverable 3.3: From low level to high level programs)
- 21:40, 3 September 2017 Sighireanu (Talk | contribs) uploaded a new version of File:D2-2.pdf (Deliverable 2.2: Static Analysis for High Level Programs)
- 21:39, 3 September 2017 Sighireanu (Talk | contribs) uploaded a new version of File:D4-5.pdf (Deliverable 4-5: Tools for high level programs)
- 14:07, 1 September 2017 Sighireanu (Talk | contribs) uploaded File:D4-5.pdf (Deliverable 4.5: Tools for High Level Programs)
- 14:05, 1 September 2017 Sighireanu (Talk | contribs) uploaded File:D2-2.pdf (Deliverable 2.2: Static Analysis for High Level Programs)
- 16:47, 28 August 2017 Sighireanu (Talk | contribs) uploaded a new version of File:D2-1.pdf (Deliverable D2.1: Static Analysis for Low Level Programs)
- 18:37, 27 August 2017 Sighireanu (Talk | contribs) uploaded File:D3-1.pdf (Deliverable 3.1 : Logic tools for refinement relations)
- 08:50, 24 August 2017 Sighireanu (Talk | contribs) uploaded File:D4-3.pdf (Report going with the prototypes for deliverables 'Tools for low level programs')
- 18:10, 22 August 2017 Sighireanu (Talk | contribs) uploaded File:D2-1.pdf (Deliverable 2.1: Static Analysis of Low Level Code)
- 10:43, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10368 of page Grenoble meeting 18 July 2017 patrolled
- 10:38, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10367 of page Grenoble meeting 18 July 2017 patrolled
- 10:36, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10366 of page Grenoble meeting 18 July 2017 patrolled
- 10:31, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10365 of page Meetings patrolled
- 15:48, 5 September 2016 Iosif (Talk | contribs) automatically marked revision 10362 of page News patrolled
- 15:47, 5 September 2016 Iosif (Talk | contribs) automatically marked revision 10361 of page News patrolled
- 11:06, 17 June 2016 Iosif (Talk | contribs) automatically marked revision 10358 of page Publications patrolled
- 11:05, 17 June 2016 Iosif (Talk | contribs) automatically marked revision 10357 of page Publications patrolled
- 11:02, 17 June 2016 Iosif (Talk | contribs) automatically marked revision 10356 of page Publications patrolled