# # ChangeLog for Deliverables # # Generated by Trac 1.2 # Dec 11, 2019, 6:14:22 AM Mon, 12 Mar 2012 13:53:38 GMT mulligan [1822] * Deliverables/D1.2/Presentations/WP4-dominic.tex (modified) Finished presentation, added proper CerCo style. Mon, 12 Mar 2012 13:45:10 GMT mulligan [1821] * Deliverables/D1.2/Presentations/WP4-dominic.tex (modified) discussed merges into o'caml compiler. talk complete subject to ... Mon, 12 Mar 2012 13:24:45 GMT sacerdot [1820] * Deliverables/D1.2/Presentations/WP4-dominic.tex (modified) * Deliverables/D1.2/Presentations/fetopen.png (added) ... Mon, 12 Mar 2012 13:21:48 GMT sacerdot [1819] * Deliverables/D1.1/Presentations/Paris presentation March 2012 (deleted) * Deliverables/D1.2/Presentations/template.tex (added) ... Mon, 12 Mar 2012 13:20:23 GMT sacerdot [1818] * Deliverables/D1.2/Presentations/WP4-dominic.tex (moved) Moved from D1.1 to D1.2 where it should be. Mon, 12 Mar 2012 13:18:59 GMT sacerdot [1817] * Deliverables/D1.2/Presentations (added) Presentations for the second review. Mon, 12 Mar 2012 12:52:49 GMT mulligan [1816] * Deliverables/D1.1/Presentations/Paris presentation March 2012/WP4-dominic.tex (modified) more slides added, only got topic of changes merged back into o'caml ... Fri, 09 Mar 2012 12:19:48 GMT mulligan [1815] * Deliverables/D1.1/Presentations/Paris presentation March 2012/WP4-dominic.tex (modified) Added more to talk Fri, 09 Mar 2012 09:58:25 GMT mulligan [1814] * Deliverables/D1.1/Presentations/Paris presentation March 2012/WP4-dominic.tex (moved) renamed file to avoid confusion Fri, 09 Mar 2012 09:54:29 GMT mulligan [1813] * Deliverables/D1.1/Presentations/Paris presentation March 2012 (added) * Deliverables/D1.1/Presentations/Paris presentation March 2012/WP4-presentation.tex (added) Added presentation that I have been working on for Paris meeting next ... Fri, 02 Mar 2012 15:28:15 GMT sacerdot [1804] * Deliverables/D1.2/Part1_declaration by the scientific representative.pdf (added) * Deliverables/D1.2/Part2_publishableSummary.pdf (added) * Deliverables/D1.2/Part3_project objectives achievements and progress.pdf (added) * Deliverables/D1.2/Part4_project management and use of resources.pdf (added) The submitted version. Fri, 02 Mar 2012 15:27:40 GMT tranquil [1803] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) yet another small correction in the LTL to LIN part Fri, 02 Mar 2012 14:55:13 GMT tranquil [1802] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) other small corrections Fri, 02 Mar 2012 14:16:23 GMT tranquil [1801] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) small correction Thu, 01 Mar 2012 16:29:45 GMT sacerdot [1800] * Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified) Applied suggestions by Roberto. Thu, 01 Mar 2012 15:49:37 GMT sacerdot [1799] * Deliverables/D1.2/Part2_publishable Summary.doc (modified) Applied Roberto's suggestions. Thu, 01 Mar 2012 15:23:32 GMT sacerdot [1798] * Deliverables/D1.2/Part4_project management and use of resources.doc (modified) Applied comments by Brian, Randy and Roberto. Wed, 29 Feb 2012 13:03:54 GMT mulligan [1797] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) implemented brian's changes Wed, 29 Feb 2012 10:49:40 GMT campbell [1796] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Cast removal is also an endo-transformation. Tue, 28 Feb 2012 17:11:32 GMT sacerdot [1795] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Final version, waiting for comments. Tue, 28 Feb 2012 17:07:33 GMT mulligan [1794] * Deliverables/D1.2/CompilerProofOutline/cpp-2011.pdf (added) * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Added cpp paper as an addendum to the report Tue, 28 Feb 2012 16:57:46 GMT sacerdot [1793] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Tue, 28 Feb 2012 16:56:20 GMT mulligan [1792] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Tue, 28 Feb 2012 16:01:13 GMT mulligan [1791] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) cleaning up Tue, 28 Feb 2012 15:35:26 GMT mulligan [1790] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) edited the report so that all the spelling is consistent (british ... Tue, 28 Feb 2012 15:25:02 GMT sacerdot [1789] * Deliverables/D1.2/agenda.doc (modified) ... Tue, 28 Feb 2012 10:32:07 GMT tranquil [1788] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) small modifications Tue, 28 Feb 2012 09:57:06 GMT sacerdot [1787] * Deliverables/D1.2/agenda.doc (modified) New proposal. Mon, 27 Feb 2012 17:40:46 GMT sacerdot [1786] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 16:55:45 GMT tranquil [1785] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) finished ERTL to LTL sketch Mon, 27 Feb 2012 16:55:15 GMT mulligan [1781] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Reinstated the lstlisting style Mon, 27 Feb 2012 16:45:00 GMT mulligan [1780] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) finished rtl to ertl Mon, 27 Feb 2012 16:11:57 GMT mulligan [1779] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 16:09:49 GMT sacerdot [1778] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 16:01:31 GMT mulligan [1777] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 15:53:39 GMT sacerdot [1776] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 15:11:48 GMT sacerdot [1775] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 15:08:40 GMT sacerdot [1774] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 14:53:15 GMT sacerdot [1773] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 14:46:05 GMT mulligan [1772] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 14:44:43 GMT mulligan [1771] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) some typos fixed, commit mostly to avoid conflicts Mon, 27 Feb 2012 13:57:26 GMT mulligan [1770] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 13:52:53 GMT sacerdot [1769] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) .. Mon, 27 Feb 2012 13:46:08 GMT sacerdot [1768] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 13:45:53 GMT mulligan [1767] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 13:19:08 GMT mulligan [1766] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) avoid conflicts Mon, 27 Feb 2012 12:52:30 GMT mulligan [1763] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) to avoid conflicts Mon, 27 Feb 2012 12:51:15 GMT sacerdot [1762] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Changes and fixes. Mon, 27 Feb 2012 10:31:21 GMT sacerdot [1761] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Mon, 27 Feb 2012 10:01:16 GMT mulligan [1760] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) avoiding conflicts Mon, 27 Feb 2012 09:02:08 GMT sacerdot [1759] * Deliverables/D1.2/agenda.doc (added) Tentative agenda. Fri, 24 Feb 2012 18:01:29 GMT campbell [1758] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Minor improvements to front-end; add an overall statement. Fri, 24 Feb 2012 17:13:08 GMT sacerdot [1757] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 16:59:48 GMT sacerdot [1756] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Improved outline. Fri, 24 Feb 2012 16:49:13 GMT sacerdot [1755] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 16:46:25 GMT sacerdot [1754] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 16:36:38 GMT sacerdot [1753] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 16:18:22 GMT sacerdot [1752] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 16:09:03 GMT mulligan [1751] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Commit to avoid conflicts with Claudio Fri, 24 Feb 2012 16:02:06 GMT tranquil [1750] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) start of ERTL to LTL Fri, 24 Feb 2012 15:55:51 GMT sacerdot [1749] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Rephrased introduction. Fri, 24 Feb 2012 15:53:07 GMT mulligan [1748] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) commit to avoid conflicts Fri, 24 Feb 2012 15:25:35 GMT boender [1747] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - New and updated version of effort table Fri, 24 Feb 2012 15:09:02 GMT campbell [1746] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Revisions to front-end text. Fri, 24 Feb 2012 15:07:44 GMT sacerdot [1745] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Conclusions. Fri, 24 Feb 2012 15:03:40 GMT boender [1744] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - New version of effort table Fri, 24 Feb 2012 14:45:54 GMT mulligan [1743] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) diagrams finished, adding text Fri, 24 Feb 2012 14:40:52 GMT boender [1742] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - committed new version of effort table Fri, 24 Feb 2012 14:24:45 GMT sacerdot [1741] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 13:32:04 GMT sacerdot [1740] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) ... Fri, 24 Feb 2012 13:30:20 GMT sacerdot [1739] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Footnote for optimizations. Fri, 24 Feb 2012 13:05:00 GMT boender [1738] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - small change (layout) Fri, 24 Feb 2012 13:04:19 GMT boender [1737] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - small change Fri, 24 Feb 2012 12:00:15 GMT mulligan [1735] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) a bit more added Fri, 24 Feb 2012 10:44:01 GMT mulligan [1734] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) followed brian's lead in explaining the backend translation steps ... Fri, 24 Feb 2012 09:10:18 GMT campbell [1733] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) More on front-end. Thu, 23 Feb 2012 18:07:13 GMT campbell [1732] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) More on front-end. Thu, 23 Feb 2012 16:25:43 GMT campbell [1731] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) A bit of front-end proof outline. Thu, 23 Feb 2012 12:48:20 GMT mulligan [1728] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) avoiding conflicts Thu, 23 Feb 2012 12:47:03 GMT boender [1727] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - added last RTL - ERTL diagrams Thu, 23 Feb 2012 12:14:56 GMT mulligan [1726] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) Finished description of LTL to LIN Thu, 23 Feb 2012 11:51:24 GMT mulligan [1725] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) commit to avoid conflicts Thu, 23 Feb 2012 11:51:04 GMT boender [1724] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) - added diagrams to RTL to ERTL section Thu, 23 Feb 2012 09:41:56 GMT mulligan [1723] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) added more to header of file, commit to avoid conflicts with jaap Wed, 22 Feb 2012 16:12:19 GMT mulligan [1722] * Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified) changes to english in third part of report Wed, 22 Feb 2012 13:38:59 GMT mulligan [1721] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) some changes to the report Wed, 22 Feb 2012 13:37:16 GMT sacerdot [1720] * Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified) New draft. Wed, 22 Feb 2012 12:54:08 GMT mulligan [1718] * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) * Deliverables/D1.2/CompilerProofOutline/skull.sty (added) added skull.sty for daemon (skull) symbol Wed, 22 Feb 2012 10:28:49 GMT mulligan [1717] * Deliverables/D1.2/CompilerProofOutline/diagrams.sty (added) * Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) added diagrams.sty for drawing commutative diagrams Wed, 22 Feb 2012 10:00:15 GMT mulligan [1716] * Deliverables/D1.2/CompilerProofOutline (added) * Deliverables/D1.2/CompilerProofOutline/outline.tex (added) proof outline, as requested by referees, being typed up in latex Wed, 22 Feb 2012 09:10:45 GMT sacerdot [1715] * Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified) Some progress. Tue, 21 Feb 2012 15:22:36 GMT sacerdot [1714] * Deliverables/D1.2 (added) * Deliverables/D1.2/.~lock.Part1_declaration by the scientific representative.doc# (added) * Deliverables/D1.2/.~lock.TravelsBo.xlsx# (added) * Deliverables/D1.2/Part1_declaration by the scientific representative.doc (added) * Deliverables/D1.2/Part2_publishable Summary.doc (added) * Deliverables/D1.2/Part3_project objectives achievements and progress.doc (added) * Deliverables/D1.2/Part4_project management and use of resources.doc (added) * Deliverables/D1.2/RPR.txt (added) * Deliverables/D1.2/TravelsBo.xlsx (added) ... Fri, 17 Feb 2012 10:51:59 GMT mulligan [1708] * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D4.1/ASMInterpret.ml (modified) Change to the execution of the MOVC instruction Thu, 16 Feb 2012 15:54:38 GMT amadio [1704] * Deliverables/D5.1-5.3/report.tex (modified) typo Thu, 16 Feb 2012 10:36:25 GMT tranquil [1703] * Deliverables/D5.1-5.3/report.tex (modified) minimal change Thu, 16 Feb 2012 10:35:35 GMT tranquil [1702] * Deliverables/D5.1-5.3/indexed_labels_report (copied) * Deliverables/D5.1-5.3/indlabacc-20120216.tar.gz (moved) * Deliverables/D5.1-5.3/indlabcost-20120216.tar.gz (moved) * Deliverables/D5.1-5.3/report.tex (modified) * Deliverables/addenda/indexed_labels/report.pdf (deleted) updated the report and changed a bit the names Thu, 16 Feb 2012 10:25:44 GMT tranquil [1701] * Deliverables/D5.1-5.3/indexed-labels-compiler-20120216.tar.gz (added) * Deliverables/D5.1-5.3/indexed-labels-cost-20120216.tar.gz (moved) added updated compiler tarball Thu, 16 Feb 2012 10:23:12 GMT tranquil [1700] * Deliverables/D2.2/8051/README (modified) updated README Thu, 16 Feb 2012 10:22:46 GMT amadio [1699] * Deliverables/D5.1-5.3/report.tex (modified) 5.1 up Thu, 16 Feb 2012 10:05:05 GMT tranquil [1698] * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml (modified) * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/cost_value.ml (modified) minor modifications