

@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 nonterminating 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 nonterminating 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 nonterminating 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 endotransformation.



@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 nonterminating 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 
…



@1766

9 years 
mulligan 
avoid conflicts



@1765

9 years 
campbell 
Rule out final states in nonterminating executions chunks (RTLabs …



@1764

9 years 
campbell 
Terminating function preserve the property that the execution does not …



@1763

9 years 
mulligan 
to avoid conflicts



@1762

9 years 
sacerdot 
Changes and fixes.



@1761

9 years 
sacerdot 
…



@1760

9 years 
mulligan 
avoiding conflicts



@1759

9 years 
sacerdot 
Tentative agenda.



@1758

9 years 
campbell 
Minor improvements to frontend; add an overall statement.



@1757

9 years 
sacerdot 
…



@1756

9 years 
sacerdot 
Improved outline.



@1755

9 years 
sacerdot 
…



@1754

9 years 
sacerdot 
…



@1753

9 years 
sacerdot 
…



@1752

9 years 
sacerdot 
…



@1751

9 years 
mulligan 
Commit to avoid conflicts with Claudio



@1750

9 years 
tranquil 
start of ERTL to LTL



@1749

9 years 
sacerdot 
Rephrased introduction.



@1748

9 years 
mulligan 
commit to avoid conflicts


