Timeline



Mar 16, 2012:

10:11 AM Changeset [1868] by Ian Stark
Put beamer code in the template to remove fungus

Mar 15, 2012:

6:42 PM Changeset [1867] by mulligan
Large changes following comments by IS, JMc and CSC
5:28 PM Changeset [1866] by campbell
Drop "extra detail" from WP3.
5:27 PM Changeset [1865] by tranquil
my presentation
5:16 PM Changeset [1864] by campbell
Add PDF for WP3.
5:15 PM Changeset [1863] by campbell
Minor WP3 revisions.
4:56 PM Changeset [1862] by mulligan
Changes to presentation
4:51 PM Changeset [1861] by mulligan
Changes to CSC's changes
4:47 PM Changeset [1860] by sacerdot
4:25 PM Changeset [1859] by mulligan
Added a new slide with the dynamic cost computation on it
4:23 PM Changeset [1858] by campbell
Minor WP3 tweak.
4:17 PM Changeset [1857] by sacerdot
4:17 PM Changeset [1856] by mulligan
Added affiliation to title page
4:15 PM Changeset [1855] by mulligan
Dynamic cost diagram added
4:14 PM Changeset [1854] by sacerdot
4:12 PM Changeset [1853] by mulligan
Changed names of labels etc. in diagram
4:02 PM Changeset [1852] by campbell
Revise WP3 down.
3:42 PM Changeset [1851] by regisgia
* Slides YRG.
3:35 PM Changeset [1850] by sacerdot
3:31 PM Changeset [1849] by mulligan
Added title pages to split talk into three separate sections
3:21 PM WikiStart edited by mulligan
(diff)
3:21 PM WikiStart edited by mulligan
(diff)
3:19 PM WikiStart edited by mulligan
(diff)
3:17 PM Changeset [1848] by sacerdot
3:04 PM Changeset [1847] by mulligan
More changes to presentation based on comments
2:50 PM Changeset [1846] by ayache
Review 2012: Nicolas's presentation.
2:14 PM Changeset [1845] by campbell
Minor WP3 revisions prior to more major stuff.
11:22 AM Changeset [1844] by mulligan
Changed from serif to sans serif fonts
11:20 AM Changeset [1843] by mulligan
Added svg file for my image for editing in inkscape
11:19 AM Changeset [1842] by mulligan
Small change to contents frame
11:19 AM Changeset [1841] by mulligan
Added explicit PDF to directory for printing
11:18 AM Changeset [1840] by mulligan
Changes to my presentation based on feedback from practice session …
10:56 AM WikiStart edited by Ian Stark
Add Edinburgh staff (diff)
10:45 AM Changeset [1839] by sacerdot
10:26 AM Changeset [1838] by sacerdot
First version.

Mar 14, 2012:

3:09 PM Changeset [1837] by boender
- added first draft of WP6 presentation
12:02 PM Changeset [1836] by campbell
Revise WP3 presentation.

Mar 13, 2012:

5:39 PM Changeset [1835] by tranquil
fixed broken file
5:30 PM Changeset [1834] by tranquil
presentation: TODO running example and a frame of intro
5:30 PM Changeset [1833] by tranquil
cleaning up
5:24 PM Changeset [1832] by tranquil
nested loops are not supported yet, the only test had one
4:13 PM Changeset [1831] by mulligan
small changes to asmcosts file to refactor proof
3:53 PM Changeset [1830] by campbell
Rest of WP3 presentation.
11:46 AM Changeset [1829] by mulligan
changes to my presentation, just one point left to consider
11:06 AM Changeset [1828] by sacerdot
10:59 AM Changeset [1827] by sacerdot
Added again.
10:57 AM Changeset [1826] by sacerdot
Removed because caused problems to the SVN.

Mar 12, 2012:

7:30 PM Changeset [1825] by campbell
WP3 draft slides. Fix fetopen.png.
5:27 PM Changeset [1824] by mulligan
More changes to presentation, following Claudio's comments
2:56 PM Changeset [1823] by ayache
Review 2012: Nicolas's presentation.
2:53 PM Changeset [1822] by mulligan
Finished presentation, added proper CerCo? style.
2:45 PM Changeset [1821] by mulligan
discussed merges into o'caml compiler. talk complete subject to …
2:24 PM Changeset [1820] by sacerdot
2:21 PM Changeset [1819] by sacerdot
2:20 PM Changeset [1818] by sacerdot
Moved from D1.1 to D1.2 where it should be.
2:18 PM Changeset [1817] by sacerdot
Presentations for the second review.
1:52 PM Changeset [1816] by mulligan
more slides added, only got topic of changes merged back into o'caml …

Mar 9, 2012:

1:19 PM Changeset [1815] by mulligan
Added more to talk
10:58 AM Changeset [1814] by mulligan
renamed file to avoid confusion
10:54 AM Changeset [1813] by mulligan
Added presentation that I have been working on for Paris meeting next week.

Mar 8, 2012:

12:13 PM Changeset [1812] by campbell
Provide a combined type for terminating and non-terminating structured …
11:37 AM Changeset [1811] by boender
- corrected definition of geb

Mar 7, 2012:

7:16 PM Changeset [1810] by boender
- new version of policy that compiles up to the final glue
1:27 PM Changeset [1809] by boender
- committed partially compiling version of policy (up until …

Mar 6, 2012:

6:06 PM Changeset [1808] by campbell
Create a Prop version of the non-terminating structured traces so that …

Mar 5, 2012:

12:40 PM Changeset [1807] by mulligan
some changes, as finally worked out what i was up to prior to working …
12:38 PM Changeset [1806] by campbell
Show that we could construct RTLabs non-terminating structured traces …
12:38 PM Changeset [1805] by campbell
RTLabs structured traces: package up some of the properties we need …

Mar 2, 2012:

4:28 PM Changeset [1804] by sacerdot
The submitted version.
4:27 PM Changeset [1803] by tranquil
yet another small correction in the LTL to LIN part
3:55 PM Changeset [1802] by tranquil
other small corrections
3:16 PM Changeset [1801] by tranquil
small correction

Mar 1, 2012:

5:29 PM Changeset [1800] by sacerdot
Applied suggestions by Roberto.
4:49 PM Changeset [1799] by sacerdot
Applied Roberto's suggestions.
4:23 PM Changeset [1798] by sacerdot
Applied comments by Brian, Randy and Roberto.

Feb 29, 2012:

2:03 PM Changeset [1797] by mulligan
implemented brian's changes
11:49 AM Changeset [1796] by campbell
Cast removal is also an endo-transformation.

Feb 28, 2012:

6:11 PM Changeset [1795] by sacerdot
Final version, waiting for comments.
6:07 PM Changeset [1794] by mulligan
Added cpp paper as an addendum to the report
5:57 PM Changeset [1793] by sacerdot
5:56 PM Changeset [1792] by mulligan
5:01 PM Changeset [1791] by mulligan
cleaning up
4:35 PM Changeset [1790] by mulligan
edited the report so that all the spelling is consistent (british …
4:25 PM Changeset [1789] by sacerdot
11:32 AM Changeset [1788] by tranquil
small modifications
10:57 AM Changeset [1787] by sacerdot
New proposal.

Feb 27, 2012:

6:40 PM Changeset [1786] by sacerdot
5:55 PM Changeset [1785] by tranquil
finished ERTL to LTL sketch
5:55 PM Changeset [1784] by campbell
Start on proof of existence of nonterminating RTLabs structured traces.
5:55 PM Changeset [1783] by campbell
Remove junk from non-terminating structured traces.
5:55 PM Changeset [1782] by campbell
Correct bad inversion.
5:55 PM Changeset [1781] by mulligan
Reinstated the lstlisting style
5:45 PM Changeset [1780] by mulligan
finished rtl to ertl
5:11 PM Changeset [1779] by mulligan
5:09 PM Changeset [1778] by sacerdot
5:01 PM Changeset [1777] by mulligan
4:53 PM Changeset [1776] by sacerdot
4:11 PM Changeset [1775] by sacerdot
4:08 PM Changeset [1774] by sacerdot
3:53 PM Changeset [1773] by sacerdot
3:46 PM Changeset [1772] by mulligan
3:44 PM Changeset [1771] by mulligan
some typos fixed, commit mostly to avoid conflicts
2:57 PM Changeset [1770] by mulligan
2:52 PM Changeset [1769] by sacerdot
..
2:46 PM Changeset [1768] by sacerdot
2:45 PM Changeset [1767] by mulligan
2:19 PM Changeset [1766] by mulligan
avoid conflicts
2:16 PM Changeset [1765] by campbell
Rule out final states in non-terminating executions chunks (RTLabs …
2:16 PM Changeset [1764] by campbell
Terminating function preserve the property that the execution does not …
1:52 PM Changeset [1763] by mulligan
to avoid conflicts
1:51 PM Changeset [1762] by sacerdot
Changes and fixes.
11:31 AM Changeset [1761] by sacerdot
11:01 AM Changeset [1760] by mulligan
avoiding conflicts
10:02 AM Changeset [1759] by sacerdot
Tentative agenda.
Note: See TracTimeline for information about the timeline view.