Timeline
Apr 11, 2012:
- 2:36 PM Changeset [1886] by
- - improvements for disambiguation and quick(er) typing
- 10:06 AM Changeset [1885] by
- - updated assembler with new definition of occurs_exactly_once
Apr 9, 2012:
- 3:07 PM Changeset [1884] by
- Syntax changes to fit Paolo's commit.
- 11:53 AM Changeset [1883] by
- Ilias' switch removal code, plus a test.
Apr 6, 2012:
- 8:02 PM Changeset [1882] by
- big update, alas incomplete: joint changed a bit, and all BE languages …
- 6:39 PM Changeset [1881] by
- Resurrect version of exec_up_to which shows the final state.
- 4:57 PM Changeset [1880] by
- Show that RTLabs flat traces are determined by their starting state, …
Apr 5, 2012:
- 6:13 PM Changeset [1879] by
- - Policy compiles until the end, still some (fairly trivial) cases …
Apr 4, 2012:
- 6:48 PM Changeset [1878] by
- Enforce typing of constants in front-end, plus binops for RTLabs.
- 6:48 PM Changeset [1877] by
- Update RTLabs structured traces for typed binops and new memory model.
- 6:48 PM Changeset [1876] by
- Update Cexec soundness proof. Change finishes_with predicate to …
- 6:48 PM Changeset [1875] by
- Update brief memory model test.
- 6:48 PM Changeset [1874] by
- First cut at using back-end memory model throughout. Note the …
- 6:48 PM Changeset [1873] by
- Fix up earlier front-end value conversion work.
- 6:48 PM Changeset [1872] by
- Make binary operations in Cminor/RTLabs properly typed. A few extra …
- 1:40 PM Changeset [1871] by
- Change Clight to Cminor compilation to use gotos rather than loops, …
Apr 3, 2012:
- 2:52 PM Changeset [1870] by
- - changed sigma00 in Assembly to use foldl_strong + proved invariants …
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 …
Note: See TracTimeline
for information about the timeline view.