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

• 14:43, 21 October 2017 Sighireanu (Talk | contribs) uploaded a new version of File:Verif-cfdlli.pdf
• 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)
• 11:37, 27 March 2015 Sighireanu (Talk | contribs) moved page Kickoff Meeting November 2014 to Kick-off meeting 20-21 November 2014
• 11:32, 27 March 2015 Sighireanu (Talk | contribs) moved page Meeting 2014 November to Kickoff Meeting November 2014
• 11:30, 27 March 2015 Sighireanu (Talk | contribs) moved page Meeting 2014 November 20 12 to Meeting 2014 November
• 18:44, 19 December 2014 User account Sighireanu (Talk | contribs) was created