|
|
@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
|
|
|
@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.
|
|
|
@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
|
|
|
@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
|
|
|
@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 front-end; 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
|
|
|
@1747
|
9 years |
boender |
- New and updated version of effort table
|
|
|
@1746
|
9 years |
campbell |
Revisions to front-end text.
|
|
|
@1745
|
9 years |
sacerdot |
Conclusions.
|
|
|
@1744
|
9 years |
boender |
- New version of effort table
|
|
|
@1743
|
9 years |
mulligan |
diagrams finished, adding text
|
|
|
@1742
|
9 years |
boender |
- committed new version of effort table
|
|
|
@1741
|
9 years |
sacerdot |
…
|
|
|
@1740
|
9 years |
sacerdot |
…
|
|
|
@1739
|
9 years |
sacerdot |
Footnote for optimizations.
|
|
|
@1738
|
9 years |
boender |
- small change (layout)
|
|
|
@1737
|
9 years |
boender |
- small change
|
|
|
@1735
|
9 years |
mulligan |
a bit more added
|
|
|
@1734
|
9 years |
mulligan |
followed brian's lead in explaining the backend translation steps with …
|
|
|
@1733
|
9 years |
campbell |
More on front-end.
|
|
|
@1732
|
9 years |
campbell |
More on front-end.
|
|
|
@1731
|
9 years |
campbell |
A bit of front-end proof outline.
|
|
|
@1728
|
9 years |
mulligan |
avoiding conflicts
|
|
|
@1727
|
9 years |
boender |
- added last RTL - ERTL diagrams
|
|
|
@1726
|
9 years |
mulligan |
Finished description of LTL to LIN
|
|
|
@1725
|
9 years |
mulligan |
commit to avoid conflicts
|
|
|
@1724
|
9 years |
boender |
- added diagrams to RTL to ERTL section
|
|
|
@1723
|
9 years |
mulligan |
added more to header of file, commit to avoid conflicts with jaap
|
|
|
@1722
|
9 years |
mulligan |
changes to english in third part of report
|
|
|
@1721
|
9 years |
mulligan |
some changes to the report
|
|
|
@1720
|
9 years |
sacerdot |
New draft.
|
|
|
@1718
|
9 years |
mulligan |
added skull.sty for daemon (skull) symbol
|
|
|
@1717
|
9 years |
mulligan |
added diagrams.sty for drawing commutative diagrams
|
|
|
@1716
|
9 years |
mulligan |
proof outline, as requested by referees, being typed up in latex
|
|
|
@1715
|
9 years |
sacerdot |
Some progress.
|
|
|
@1714
|
9 years |
sacerdot |
…
|