Timeline



Apr 12, 2012:

1:53 PM Changeset [1887] by boender
- added SEFM2012 directory - some progress in assembly

Apr 11, 2012:

2:36 PM Changeset [1886] by boender
- improvements for disambiguation and quick(er) typing
10:06 AM Changeset [1885] by boender
- updated assembler with new definition of occurs_exactly_once

Apr 9, 2012:

3:07 PM Changeset [1884] by campbell
Syntax changes to fit Paolo's commit.
11:53 AM Changeset [1883] by campbell
Ilias' switch removal code, plus a test.

Apr 6, 2012:

8:02 PM Changeset [1882] by tranquil
big update, alas incomplete: joint changed a bit, and all BE languages …
6:39 PM Changeset [1881] by campbell
Resurrect version of exec_up_to which shows the final state.
4:57 PM Changeset [1880] by campbell
Show that RTLabs flat traces are determined by their starting state, …

Apr 5, 2012:

6:13 PM Changeset [1879] by boender
- Policy compiles until the end, still some (fairly trivial) cases …

Apr 4, 2012:

6:48 PM Changeset [1878] by campbell
Enforce typing of constants in front-end, plus binops for RTLabs.
6:48 PM Changeset [1877] by campbell
Update RTLabs structured traces for typed binops and new memory model.
6:48 PM Changeset [1876] by campbell
Update Cexec soundness proof. Change finishes_with predicate to …
6:48 PM Changeset [1875] by campbell
Update brief memory model test.
6:48 PM Changeset [1874] by campbell
First cut at using back-end memory model throughout. Note the …
6:48 PM Changeset [1873] by campbell
Fix up earlier front-end value conversion work.
6:48 PM Changeset [1872] by campbell
Make binary operations in Cminor/RTLabs properly typed. A few extra …
1:40 PM Changeset [1871] by campbell
Change Clight to Cminor compilation to use gotos rather than loops, …

Apr 3, 2012:

2:52 PM Changeset [1870] by boender
- changed sigma00 in Assembly to use foldl_strong + proved invariants …

Mar 28, 2012:

11:44 AM Changeset [1869] by mulligan
a load of axioms closed in ASMCosts file

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.
Note: See TracTimeline for information about the timeline view.