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).

Logs

All public logs Block log Deletion log Import log Merge log Move log Patrol log Protection log Upload log User creation log User rights log Performer:  Target (title or user):   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 14:43, 21 October 2017 Sighireanu (Talk | contribs) uploaded a new version of File:Verif-cfdlli.pdf
• 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

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)