

@1824

8 years 
mulligan 
More changes to presentation, following Claudio's comments



@1823

8 years 
ayache 
Review 2012: Nicolas's presentation.



@1822

8 years 
mulligan 
Finished presentation, added proper CerCo? style.



@1821

8 years 
mulligan 
discussed merges into o'caml compiler. talk complete subject to …



@1820

8 years 
sacerdot 
…



@1819

8 years 
sacerdot 
…



@1818

8 years 
sacerdot 
Moved from D1.1 to D1.2 where it should be.



@1817

8 years 
sacerdot 
Presentations for the second review.



@1816

8 years 
mulligan 
more slides added, only got topic of changes merged back into o'caml …



@1815

8 years 
mulligan 
Added more to talk



@1814

8 years 
mulligan 
renamed file to avoid confusion



@1813

8 years 
mulligan 
Added presentation that I have been working on for Paris meeting next week.



@1804

8 years 
sacerdot 
The submitted version.



@1803

8 years 
tranquil 
yet another small correction in the LTL to LIN part



@1802

8 years 
tranquil 
other small corrections



@1801

8 years 
tranquil 
small correction



@1800

8 years 
sacerdot 
Applied suggestions by Roberto.



@1799

8 years 
sacerdot 
Applied Roberto's suggestions.



@1798

8 years 
sacerdot 
Applied comments by Brian, Randy and Roberto.



@1797

8 years 
mulligan 
implemented brian's changes



@1796

8 years 
campbell 
Cast removal is also an endotransformation.



@1795

8 years 
sacerdot 
Final version, waiting for comments.



@1794

8 years 
mulligan 
Added cpp paper as an addendum to the report



@1793

8 years 
sacerdot 
…



@1792

8 years 
mulligan 
…



@1791

8 years 
mulligan 
cleaning up



@1790

8 years 
mulligan 
edited the report so that all the spelling is consistent (british …



@1789

8 years 
sacerdot 
…



@1788

8 years 
tranquil 
small modifications



@1787

8 years 
sacerdot 
New proposal.



@1786

8 years 
sacerdot 
…



@1785

8 years 
tranquil 
finished ERTL to LTL sketch



@1781

8 years 
mulligan 
Reinstated the lstlisting style



@1780

8 years 
mulligan 
finished rtl to ertl



@1779

8 years 
mulligan 
…



@1778

8 years 
sacerdot 
…



@1777

8 years 
mulligan 
…



@1776

8 years 
sacerdot 
…



@1775

8 years 
sacerdot 
…



@1774

8 years 
sacerdot 
…



@1773

8 years 
sacerdot 
…



@1772

8 years 
mulligan 
…



@1771

8 years 
mulligan 
some typos fixed, commit mostly to avoid conflicts



@1770

8 years 
mulligan 
…



@1769

8 years 
sacerdot 
..



@1768

8 years 
sacerdot 
…



@1767

8 years 
mulligan 
…



@1766

8 years 
mulligan 
avoid conflicts



@1763

8 years 
mulligan 
to avoid conflicts



@1762

8 years 
sacerdot 
Changes and fixes.



@1761

8 years 
sacerdot 
…



@1760

8 years 
mulligan 
avoiding conflicts



@1759

8 years 
sacerdot 
Tentative agenda.



@1758

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



@1757

8 years 
sacerdot 
…



@1756

8 years 
sacerdot 
Improved outline.



@1755

8 years 
sacerdot 
…



@1754

8 years 
sacerdot 
…



@1753

8 years 
sacerdot 
…



@1752

8 years 
sacerdot 
…



@1751

8 years 
mulligan 
Commit to avoid conflicts with Claudio



@1750

8 years 
tranquil 
start of ERTL to LTL



@1749

8 years 
sacerdot 
Rephrased introduction.



@1748

8 years 
mulligan 
commit to avoid conflicts



@1747

8 years 
boender 
 New and updated version of effort table



@1746

8 years 
campbell 
Revisions to frontend text.



@1745

8 years 
sacerdot 
Conclusions.



@1744

8 years 
boender 
 New version of effort table



@1743

8 years 
mulligan 
diagrams finished, adding text



@1742

8 years 
boender 
 committed new version of effort table



@1741

8 years 
sacerdot 
…



@1740

8 years 
sacerdot 
…



@1739

8 years 
sacerdot 
Footnote for optimizations.



@1738

8 years 
boender 
 small change (layout)



@1737

8 years 
boender 
 small change



@1735

8 years 
mulligan 
a bit more added



@1734

8 years 
mulligan 
followed brian's lead in explaining the backend translation steps with …



@1733

8 years 
campbell 
More on frontend.



@1732

8 years 
campbell 
More on frontend.



@1731

8 years 
campbell 
A bit of frontend proof outline.



@1728

8 years 
mulligan 
avoiding conflicts



@1727

8 years 
boender 
 added last RTL  ERTL diagrams



@1726

8 years 
mulligan 
Finished description of LTL to LIN



@1725

8 years 
mulligan 
commit to avoid conflicts



@1724

8 years 
boender 
 added diagrams to RTL to ERTL section



@1723

8 years 
mulligan 
added more to header of file, commit to avoid conflicts with jaap



@1722

8 years 
mulligan 
changes to english in third part of report



@1721

8 years 
mulligan 
some changes to the report



@1720

8 years 
sacerdot 
New draft.



@1718

8 years 
mulligan 
added skull.sty for daemon (skull) symbol



@1717

8 years 
mulligan 
added diagrams.sty for drawing commutative diagrams



@1716

8 years 
mulligan 
proof outline, as requested by referees, being typed up in latex



@1715

8 years 
sacerdot 
Some progress.



@1714

8 years 
sacerdot 
…



@1708

8 years 
mulligan 
Change to the execution of the MOVC instruction



@1704

8 years 
amadio 
typo



@1703

8 years 
tranquil 
minimal change



@1702

8 years 
tranquil 
updated the report and changed a bit the names



@1701

8 years 
tranquil 
added updated compiler tarball



@1700

8 years 
tranquil 
updated README


