Timeline
Mar 28, 2012:
- 11:44 AM Changeset [1869] by
- a load of axioms closed in ASMCosts file
Mar 16, 2012:
- 10:11 AM Changeset [1868] by
- Put beamer code in the template to remove fungus
Mar 15, 2012:
- 6:42 PM Changeset [1867] by
- Large changes following comments by IS, JMc and CSC
- 5:28 PM Changeset [1866] by
- Drop "extra detail" from WP3.
- 5:27 PM Changeset [1865] by
- my presentation
- 5:16 PM Changeset [1864] by
- Add PDF for WP3.
- 5:15 PM Changeset [1863] by
- Minor WP3 revisions.
- 4:56 PM Changeset [1862] by
- Changes to presentation
- 4:51 PM Changeset [1861] by
- Changes to CSC's changes
- 4:47 PM Changeset [1860] by
- …
- 4:25 PM Changeset [1859] by
- Added a new slide with the dynamic cost computation on it
- 4:23 PM Changeset [1858] by
- Minor WP3 tweak.
- 4:17 PM Changeset [1857] by
- …
- 4:17 PM Changeset [1856] by
- Added affiliation to title page
- 4:15 PM Changeset [1855] by
- Dynamic cost diagram added
- 4:14 PM Changeset [1854] by
- …
- 4:12 PM Changeset [1853] by
- Changed names of labels etc. in diagram
- 4:02 PM Changeset [1852] by
- Revise WP3 down.
- 3:42 PM Changeset [1851] by
- * Slides YRG.
- 3:35 PM Changeset [1850] by
- …
- 3:31 PM Changeset [1849] by
- Added title pages to split talk into three separate sections
- 3:21 PM WikiStart edited by
- (diff)
- 3:21 PM WikiStart edited by
- (diff)
- 3:19 PM WikiStart edited by
- (diff)
- 3:17 PM Changeset [1848] by
- …
- 3:04 PM Changeset [1847] by
- More changes to presentation based on comments
- 2:50 PM Changeset [1846] by
- Review 2012: Nicolas's presentation.
- 2:14 PM Changeset [1845] by
- Minor WP3 revisions prior to more major stuff.
- 11:22 AM Changeset [1844] by
- Changed from serif to sans serif fonts
- 11:20 AM Changeset [1843] by
- Added svg file for my image for editing in inkscape
- 11:19 AM Changeset [1842] by
- Small change to contents frame
- 11:19 AM Changeset [1841] by
- Added explicit PDF to directory for printing
- 11:18 AM Changeset [1840] by
- Changes to my presentation based on feedback from practice session …
- 10:56 AM WikiStart edited by
- Add Edinburgh staff (diff)
- 10:45 AM Changeset [1839] by
- …
- 10:26 AM Changeset [1838] by
- First version.
Mar 14, 2012:
- 3:09 PM Changeset [1837] by
- - added first draft of WP6 presentation
- 12:02 PM Changeset [1836] by
- Revise WP3 presentation.
Mar 13, 2012:
- 5:39 PM Changeset [1835] by
- fixed broken file
- 5:30 PM Changeset [1834] by
- presentation: TODO running example and a frame of intro
- 5:30 PM Changeset [1833] by
- cleaning up
- 5:24 PM Changeset [1832] by
- nested loops are not supported yet, the only test had one
- 4:13 PM Changeset [1831] by
- small changes to asmcosts file to refactor proof
- 3:53 PM Changeset [1830] by
- Rest of WP3 presentation.
- 11:46 AM Changeset [1829] by
- changes to my presentation, just one point left to consider
- 11:06 AM Changeset [1828] by
- …
- 10:59 AM Changeset [1827] by
- Added again.
- 10:57 AM Changeset [1826] by
- Removed because caused problems to the SVN.
Mar 12, 2012:
- 7:30 PM Changeset [1825] by
- WP3 draft slides. Fix fetopen.png.
- 5:27 PM Changeset [1824] by
- More changes to presentation, following Claudio's comments
- 2:56 PM Changeset [1823] by
- Review 2012: Nicolas's presentation.
- 2:53 PM Changeset [1822] by
- Finished presentation, added proper CerCo? style.
- 2:45 PM Changeset [1821] by
- discussed merges into o'caml compiler. talk complete subject to …
- 2:24 PM Changeset [1820] by
- …
- 2:21 PM Changeset [1819] by
- …
- 2:20 PM Changeset [1818] by
- Moved from D1.1 to D1.2 where it should be.
- 2:18 PM Changeset [1817] by
- Presentations for the second review.
- 1:52 PM Changeset [1816] by
- more slides added, only got topic of changes merged back into o'caml …
Mar 9, 2012:
- 1:19 PM Changeset [1815] by
- Added more to talk
- 10:58 AM Changeset [1814] by
- renamed file to avoid confusion
- 10:54 AM Changeset [1813] by
- Added presentation that I have been working on for Paris meeting next week.
Mar 8, 2012:
- 12:13 PM Changeset [1812] by
- Provide a combined type for terminating and non-terminating structured …
- 11:37 AM Changeset [1811] by
- - corrected definition of geb
Mar 7, 2012:
- 7:16 PM Changeset [1810] by
- - new version of policy that compiles up to the final glue
- 1:27 PM Changeset [1809] by
- - committed partially compiling version of policy (up until …
Mar 6, 2012:
- 6:06 PM Changeset [1808] by
- Create a Prop version of the non-terminating structured traces so that …
Mar 5, 2012:
- 12:40 PM Changeset [1807] by
- some changes, as finally worked out what i was up to prior to working …
- 12:38 PM Changeset [1806] by
- Show that we could construct RTLabs non-terminating structured traces …
- 12:38 PM Changeset [1805] by
- RTLabs structured traces: package up some of the properties we need …
Mar 2, 2012:
- 4:28 PM Changeset [1804] by
- The submitted version.
- 4:27 PM Changeset [1803] by
- yet another small correction in the LTL to LIN part
- 3:55 PM Changeset [1802] by
- other small corrections
- 3:16 PM Changeset [1801] by
- small correction
Mar 1, 2012:
- 5:29 PM Changeset [1800] by
- Applied suggestions by Roberto.
- 4:49 PM Changeset [1799] by
- Applied Roberto's suggestions.
- 4:23 PM Changeset [1798] by
- Applied comments by Brian, Randy and Roberto.
Feb 29, 2012:
- 2:03 PM Changeset [1797] by
- implemented brian's changes
- 11:49 AM Changeset [1796] by
- Cast removal is also an endo-transformation.
Feb 28, 2012:
- 6:11 PM Changeset [1795] by
- Final version, waiting for comments.
- 6:07 PM Changeset [1794] by
- Added cpp paper as an addendum to the report
- 5:57 PM Changeset [1793] by
- …
- 5:56 PM Changeset [1792] by
- …
- 5:01 PM Changeset [1791] by
- cleaning up
- 4:35 PM Changeset [1790] by
- edited the report so that all the spelling is consistent (british …
- 4:25 PM Changeset [1789] by
- …
- 11:32 AM Changeset [1788] by
- small modifications
- 10:57 AM Changeset [1787] by
- New proposal.
Feb 27, 2012:
- 6:40 PM Changeset [1786] by
- …
- 5:55 PM Changeset [1785] by
- finished ERTL to LTL sketch
- 5:55 PM Changeset [1784] by
- Start on proof of existence of nonterminating RTLabs structured traces.
- 5:55 PM Changeset [1783] by
- Remove junk from non-terminating structured traces.
- 5:55 PM Changeset [1782] by
- Correct bad inversion.
- 5:55 PM Changeset [1781] by
- Reinstated the lstlisting style
- 5:45 PM Changeset [1780] by
- finished rtl to ertl
- 5:11 PM Changeset [1779] by
- …
- 5:09 PM Changeset [1778] by
- …
- 5:01 PM Changeset [1777] by
- …
- 4:53 PM Changeset [1776] by
- …
- 4:11 PM Changeset [1775] by
- …
- 4:08 PM Changeset [1774] by
- …
- 3:53 PM Changeset [1773] by
- …
- 3:46 PM Changeset [1772] by
- …
- 3:44 PM Changeset [1771] by
- some typos fixed, commit mostly to avoid conflicts
- 2:57 PM Changeset [1770] by
- …
- 2:52 PM Changeset [1769] by
- ..
- 2:46 PM Changeset [1768] by
- …
- 2:45 PM Changeset [1767] by
- …
- 2:19 PM Changeset [1766] by
- avoid conflicts
- 2:16 PM Changeset [1765] by
- Rule out final states in non-terminating executions chunks (RTLabs …
- 2:16 PM Changeset [1764] by
- Terminating function preserve the property that the execution does not …
- 1:52 PM Changeset [1763] by
- to avoid conflicts
- 1:51 PM Changeset [1762] by
- Changes and fixes.
- 11:31 AM Changeset [1761] by
- …
- 11:01 AM Changeset [1760] by
- avoiding conflicts
- 10:02 AM Changeset [1759] by
- Tentative agenda.
Note: See TracTimeline
for information about the timeline view.