|
|
@1866
|
9 years |
campbell |
Drop "extra detail" from WP3.
|
|
|
@1865
|
9 years |
tranquil |
my presentation
|
|
|
@1864
|
9 years |
campbell |
Add PDF for WP3.
|
|
|
@1863
|
9 years |
campbell |
Minor WP3 revisions.
|
|
|
@1862
|
9 years |
mulligan |
Changes to presentation
|
|
|
@1861
|
9 years |
mulligan |
Changes to CSC's changes
|
|
|
@1860
|
9 years |
sacerdot |
…
|
|
|
@1859
|
9 years |
mulligan |
Added a new slide with the dynamic cost computation on it
|
|
|
@1858
|
9 years |
campbell |
Minor WP3 tweak.
|
|
|
@1857
|
9 years |
sacerdot |
…
|
|
|
@1856
|
9 years |
mulligan |
Added affiliation to title page
|
|
|
@1855
|
9 years |
mulligan |
Dynamic cost diagram added
|
|
|
@1854
|
9 years |
sacerdot |
…
|
|
|
@1853
|
9 years |
mulligan |
Changed names of labels etc. in diagram
|
|
|
@1852
|
9 years |
campbell |
Revise WP3 down.
|
|
|
@1851
|
9 years |
regisgia |
* Slides YRG.
|
|
|
@1850
|
9 years |
sacerdot |
…
|
|
|
@1849
|
9 years |
mulligan |
Added title pages to split talk into three separate sections
|
|
|
@1848
|
9 years |
sacerdot |
…
|
|
|
@1847
|
9 years |
mulligan |
More changes to presentation based on comments
|
|
|
@1846
|
9 years |
ayache |
Review 2012: Nicolas's presentation.
|
|
|
@1845
|
9 years |
campbell |
Minor WP3 revisions prior to more major stuff.
|
|
|
@1844
|
9 years |
mulligan |
Changed from serif to sans serif fonts
|
|
|
@1843
|
9 years |
mulligan |
Added svg file for my image for editing in inkscape
|
|
|
@1842
|
9 years |
mulligan |
Small change to contents frame
|
|
|
@1841
|
9 years |
mulligan |
Added explicit PDF to directory for printing
|
|
|
@1840
|
9 years |
mulligan |
Changes to my presentation based on feedback from practice session …
|
|
|
@1839
|
9 years |
sacerdot |
…
|
|
|
@1838
|
9 years |
sacerdot |
First version.
|
|
|
@1837
|
9 years |
boender |
- added first draft of WP6 presentation
|
|
|
@1836
|
9 years |
campbell |
Revise WP3 presentation.
|
|
|
@1835
|
9 years |
tranquil |
fixed broken file
|
|
|
@1834
|
9 years |
tranquil |
presentation: TODO running example and a frame of intro
|
|
|
@1833
|
9 years |
tranquil |
cleaning up
|
|
|
@1832
|
9 years |
tranquil |
nested loops are not supported yet, the only test had one
|
|
|
@1831
|
9 years |
mulligan |
small changes to asmcosts file to refactor proof
|
|
|
@1830
|
9 years |
campbell |
Rest of WP3 presentation.
|
|
|
@1829
|
9 years |
mulligan |
changes to my presentation, just one point left to consider
|
|
|
@1828
|
9 years |
sacerdot |
…
|
|
|
@1827
|
9 years |
sacerdot |
Added again.
|
|
|
@1826
|
9 years |
sacerdot |
Removed because caused problems to the SVN.
|
|
|
@1825
|
9 years |
campbell |
WP3 draft slides.
Fix fetopen.png.
|
|
|
@1824
|
9 years |
mulligan |
More changes to presentation, following Claudio's comments
|
|
|
@1823
|
9 years |
ayache |
Review 2012: Nicolas's presentation.
|
|
|
@1822
|
9 years |
mulligan |
Finished presentation, added proper CerCo? style.
|
|
|
@1821
|
9 years |
mulligan |
discussed merges into o'caml compiler. talk complete subject to …
|
|
|
@1820
|
9 years |
sacerdot |
…
|
|
|
@1819
|
9 years |
sacerdot |
…
|
|
|
@1818
|
9 years |
sacerdot |
Moved from D1.1 to D1.2 where it should be.
|
|
|
@1817
|
9 years |
sacerdot |
Presentations for the second review.
|
|
|
@1816
|
9 years |
mulligan |
more slides added, only got topic of changes merged back into o'caml …
|
|
|
@1815
|
9 years |
mulligan |
Added more to talk
|
|
|
@1814
|
9 years |
mulligan |
renamed file to avoid confusion
|
|
|
@1813
|
9 years |
mulligan |
Added presentation that I have been working on for Paris meeting next week.
|
|
|
@1812
|
9 years |
campbell |
Provide a combined type for terminating and non-terminating structured …
|
|
|
@1811
|
9 years |
boender |
- corrected definition of geb
|
|
|
@1810
|
9 years |
boender |
- new version of policy that compiles up to the final glue
|
|
|
@1809
|
9 years |
boender |
- committed partially compiling version of policy (up until …
|
|
|
@1808
|
9 years |
campbell |
Create a Prop version of the non-terminating structured traces so that …
|
|
|
@1807
|
9 years |
mulligan |
some changes, as finally worked out what i was up to prior to working …
|
|
|
@1806
|
9 years |
campbell |
Show that we could construct RTLabs non-terminating structured traces …
|
|
|
@1805
|
9 years |
campbell |
RTLabs structured traces: package up some of the properties we need …
|
|
|
@1804
|
9 years |
sacerdot |
The submitted version.
|
|
|
@1803
|
9 years |
tranquil |
yet another small correction in the LTL to LIN part
|
|
|
@1802
|
9 years |
tranquil |
other small corrections
|
|
|
@1801
|
9 years |
tranquil |
small correction
|
|
|
@1800
|
9 years |
sacerdot |
Applied suggestions by Roberto.
|
|
|
@1799
|
9 years |
sacerdot |
Applied Roberto's suggestions.
|
|
|
@1798
|
9 years |
sacerdot |
Applied comments by Brian, Randy and Roberto.
|
|
|
@1797
|
9 years |
mulligan |
implemented brian's changes
|
|
|
@1796
|
9 years |
campbell |
Cast removal is also an endo-transformation.
|
|
|
@1795
|
9 years |
sacerdot |
Final version, waiting for comments.
|
|
|
@1794
|
9 years |
mulligan |
Added cpp paper as an addendum to the report
|
|
|
@1793
|
9 years |
sacerdot |
…
|
|
|
@1792
|
9 years |
mulligan |
…
|
|
|
@1791
|
9 years |
mulligan |
cleaning up
|
|
|
@1790
|
9 years |
mulligan |
edited the report so that all the spelling is consistent (british …
|
|
|
@1789
|
9 years |
sacerdot |
…
|
|
|
@1788
|
9 years |
tranquil |
small modifications
|
|
|
@1787
|
9 years |
sacerdot |
New proposal.
|
|
|
@1786
|
9 years |
sacerdot |
…
|
|
|
@1785
|
9 years |
tranquil |
finished ERTL to LTL sketch
|
|
|
@1784
|
9 years |
campbell |
Start on proof of existence of nonterminating RTLabs structured traces.
|
|
|
@1783
|
9 years |
campbell |
Remove junk from non-terminating structured traces.
|
|
|
@1782
|
9 years |
campbell |
Correct bad inversion.
|
|
|
@1781
|
9 years |
mulligan |
Reinstated the lstlisting style
|
|
|
@1780
|
9 years |
mulligan |
finished rtl to ertl
|
|
|
@1779
|
9 years |
mulligan |
…
|
|
|
@1778
|
9 years |
sacerdot |
…
|
|
|
@1777
|
9 years |
mulligan |
…
|
|
|
@1776
|
9 years |
sacerdot |
…
|
|
|
@1775
|
9 years |
sacerdot |
…
|
|
|
@1774
|
9 years |
sacerdot |
…
|
|
|
@1773
|
9 years |
sacerdot |
…
|
|
|
@1772
|
9 years |
mulligan |
…
|
|
|
@1771
|
9 years |
mulligan |
some typos fixed, commit mostly to avoid conflicts
|
|
|
@1770
|
9 years |
mulligan |
…
|
|
|
@1769
|
9 years |
sacerdot |
..
|
|
|
@1768
|
9 years |
sacerdot |
…
|
|
|
@1767
|
9 years |
mulligan |
…
|
|
|