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 50 | older 50) (20 | 50 | 100 | 250 | 500)- 17:39, 26 September 2017 Iosif (Talk | contribs) automatically marked revision 10423 of page News patrolled
- 12:50, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10422 of page Deliverables patrolled
- 12:22, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10420 of page Software patrolled
- 12:20, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10419 of page Deliverables patrolled
- 12:17, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10418 of page Deliverables patrolled
- 12:16, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10417 of page Deliverables patrolled
- 12:15, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10416 of page Deliverables patrolled
- 12:11, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10415 of page Deliverables patrolled
- 12:11, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10414 of page Deliverables patrolled
- 12:10, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10413 of page Deliverables patrolled
- 12:10, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10412 of page Deliverables patrolled
- 12:09, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10411 of page Deliverables patrolled
- 12:08, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10410 of page Deliverables patrolled
- 12:08, 6 September 2017 Iosif (Talk | contribs) uploaded File:D1-3.pdf
- 12:06, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10408 of page Deliverables patrolled
- 12:04, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10407 of page Deliverables patrolled
- 12:01, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10406 of page Publications patrolled
- 12:00, 6 September 2017 Iosif (Talk | contribs) automatically marked revision 10405 of page Publications patrolled
- 13:08, 5 September 2017 Sighireanu (Talk | contribs) uploaded File:D1-4.pdf (D1.4: bi-abduction for Separation Logic)
- 13:14, 4 September 2017 Sighireanu (Talk | contribs) uploaded File:Verif-cfdlli.pdf (Verification of container library: cfdlli)
- 13:13, 4 September 2017 Sighireanu (Talk | contribs) uploaded a new version of File:D2-1.pdf (Deliverable 2.1: fix missing reference)
- 20:40, 3 September 2017 Sighireanu (Talk | contribs) uploaded File:D3-3.pdf (Deliverable 3.3: From low level to high level programs)
- 20: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)
- 20:39, 3 September 2017 Sighireanu (Talk | contribs) uploaded a new version of File:D4-5.pdf (Deliverable 4-5: Tools for high level programs)
- 13:07, 1 September 2017 Sighireanu (Talk | contribs) uploaded File:D4-5.pdf (Deliverable 4.5: Tools for High Level Programs)
- 13:05, 1 September 2017 Sighireanu (Talk | contribs) uploaded File:D2-2.pdf (Deliverable 2.2: Static Analysis for High Level Programs)
- 15: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)
- 17:37, 27 August 2017 Sighireanu (Talk | contribs) uploaded File:D3-1.pdf (Deliverable 3.1 : Logic tools for refinement relations)
- 07:50, 24 August 2017 Sighireanu (Talk | contribs) uploaded File:D4-3.pdf (Report going with the prototypes for deliverables 'Tools for low level programs')
- 17:10, 22 August 2017 Sighireanu (Talk | contribs) uploaded File:D2-1.pdf (Deliverable 2.1: Static Analysis of Low Level Code)
- 09:43, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10368 of page Grenoble meeting 18 July 2017 patrolled
- 09:38, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10367 of page Grenoble meeting 18 July 2017 patrolled
- 09:36, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10366 of page Grenoble meeting 18 July 2017 patrolled
- 09:31, 13 July 2017 Iosif (Talk | contribs) automatically marked revision 10365 of page Meetings patrolled
- 14:48, 5 September 2016 Iosif (Talk | contribs) automatically marked revision 10362 of page News patrolled
- 14:47, 5 September 2016 Iosif (Talk | contribs) automatically marked revision 10361 of page News patrolled
- 10:06, 17 June 2016 Iosif (Talk | contribs) automatically marked revision 10358 of page Publications patrolled
- 10:05, 17 June 2016 Iosif (Talk | contribs) automatically marked revision 10357 of page Publications patrolled
- 10:02, 17 June 2016 Iosif (Talk | contribs) automatically marked revision 10356 of page Publications patrolled
- 07:15, 7 June 2016 Iosif (Talk | contribs) automatically marked revision 10355 of page Publications patrolled
- 14:35, 6 June 2016 Iosif (Talk | contribs) automatically marked revision 10354 of page Publications patrolled
- 14:30, 6 June 2016 Iosif (Talk | contribs) automatically marked revision 10353 of page Publications patrolled
- 10:56, 6 June 2016 Iosif (Talk | contribs) automatically marked revision 10352 of page Publications patrolled
- 10:56, 6 June 2016 Iosif (Talk | contribs) automatically marked revision 10351 of page Publications patrolled
- 11:37, 23 May 2016 Iosif (Talk | contribs) automatically marked revision 10350 of page Grenoble meeting 25 May 2016 patrolled
- 16:37, 18 May 2016 Iosif (Talk | contribs) automatically marked revision 10349 of page Grenoble meeting 25 May 2016 patrolled
- 09:23, 18 May 2016 Iosif (Talk | contribs) automatically marked revision 10346 of page Grenoble meeting 25 May 2016 patrolled
- 10:17, 13 May 2016 Iosif (Talk | contribs) automatically marked revision 10345 of page Grenoble meeting 25 May 2016 patrolled
- 07:53, 13 May 2016 Iosif (Talk | contribs) automatically marked revision 10344 of page Grenoble meeting 25 May 2016 patrolled
- 07:52, 13 May 2016 Iosif (Talk | contribs) automatically marked revision 10343 of page Grenoble meeting 25 May 2016 patrolled