

@1788

10 years 
tranquil 
small modifications



@1787

10 years 
sacerdot 
New proposal.



@1786

10 years 
sacerdot 
…



@1785

10 years 
tranquil 
finished ERTL to LTL sketch



@1781

10 years 
mulligan 
Reinstated the lstlisting style



@1780

10 years 
mulligan 
finished rtl to ertl



@1779

10 years 
mulligan 
…



@1778

10 years 
sacerdot 
…



@1777

10 years 
mulligan 
…



@1776

10 years 
sacerdot 
…



@1775

10 years 
sacerdot 
…



@1774

10 years 
sacerdot 
…



@1773

10 years 
sacerdot 
…



@1772

10 years 
mulligan 
…



@1771

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



@1770

10 years 
mulligan 
…



@1769

10 years 
sacerdot 
..



@1768

10 years 
sacerdot 
…



@1767

10 years 
mulligan 
…



@1766

10 years 
mulligan 
avoid conflicts



@1763

10 years 
mulligan 
to avoid conflicts



@1762

10 years 
sacerdot 
Changes and fixes.



@1761

10 years 
sacerdot 
…



@1760

10 years 
mulligan 
avoiding conflicts



@1759

10 years 
sacerdot 
Tentative agenda.



@1758

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



@1757

10 years 
sacerdot 
…



@1756

10 years 
sacerdot 
Improved outline.



@1755

10 years 
sacerdot 
…



@1754

10 years 
sacerdot 
…



@1753

10 years 
sacerdot 
…



@1752

10 years 
sacerdot 
…



@1751

10 years 
mulligan 
Commit to avoid conflicts with Claudio



@1750

10 years 
tranquil 
start of ERTL to LTL



@1749

10 years 
sacerdot 
Rephrased introduction.



@1748

10 years 
mulligan 
commit to avoid conflicts



@1747

10 years 
boender 
 New and updated version of effort table



@1746

10 years 
campbell 
Revisions to frontend text.



@1745

10 years 
sacerdot 
Conclusions.



@1744

10 years 
boender 
 New version of effort table



@1743

10 years 
mulligan 
diagrams finished, adding text



@1742

10 years 
boender 
 committed new version of effort table



@1741

10 years 
sacerdot 
…



@1740

10 years 
sacerdot 
…



@1739

10 years 
sacerdot 
Footnote for optimizations.



@1738

10 years 
boender 
 small change (layout)



@1737

10 years 
boender 
 small change



@1735

10 years 
mulligan 
a bit more added



@1734

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



@1733

10 years 
campbell 
More on frontend.



@1732

10 years 
campbell 
More on frontend.



@1731

10 years 
campbell 
A bit of frontend proof outline.



@1728

10 years 
mulligan 
avoiding conflicts



@1727

10 years 
boender 
 added last RTL  ERTL diagrams



@1726

10 years 
mulligan 
Finished description of LTL to LIN



@1725

10 years 
mulligan 
commit to avoid conflicts



@1724

10 years 
boender 
 added diagrams to RTL to ERTL section



@1723

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



@1722

10 years 
mulligan 
changes to english in third part of report



@1721

10 years 
mulligan 
some changes to the report



@1720

10 years 
sacerdot 
New draft.



@1718

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



@1717

10 years 
mulligan 
added diagrams.sty for drawing commutative diagrams



@1716

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



@1715

10 years 
sacerdot 
Some progress.



@1714

10 years 
sacerdot 
…



@1708

10 years 
mulligan 
Change to the execution of the MOVC instruction



@1704

10 years 
amadio 
typo



@1703

10 years 
tranquil 
minimal change



@1702

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



@1701

10 years 
tranquil 
added updated compiler tarball



@1700

10 years 
tranquil 
updated README



@1699

10 years 
amadio 
5.1 up



@1698

10 years 
tranquil 
minor modifications



@1694

10 years 
tranquil 
indexed labels branch



@1690

10 years 
tranquil 
nested loops are not supported yet, the only test had one



@1689

10 years 
tranquil 
kept out the wrapper (which I did not touch, so not sure it works)



@1688

10 years 
amadio 
up d5.15.3



@1687

10 years 
tranquil 
corrected title



@1686

10 years 
tranquil 
corrected abstract



@1685

10 years 
tranquil 
adjusted comparison with aiT



@1683

10 years 
tranquil 
abstract and running example



@1679

10 years 
ayache 
FramaC plugin (sources+documentation)



@1678

10 years 
mulligan 
finished editing the english in the report



@1677

10 years 
mulligan 
changes to paolo's english in the report, about a 1/4 of the way through



@1676

10 years 
tranquil 
corrected some faults
still TODO: running example, language corrections



@1674

10 years 
tranquil 
corrected some faults
still TODO: running example, language corrections



@1673

10 years 
tranquil 
report on indexed labels
TODO: corrections, examples, etc



@1664

10 years 
tranquil 
corrected a bug in loop peeling where continue and breaks were not …



@1662

10 years 
amadio 
rev



@1661

10 years 
amadio 
rev



@1660

10 years 
ayache 
Deliverable: FramaC plugin (D5.15.3)



@1659

10 years 
amadio 



@1657

10 years 
amadio 
preliminary version of D5



@1635

10 years 
tranquil 
* lists with binders and monads
* Joint.ma and other temprarily …



@1590

10 years 
tranquil 
* got back to previous implementation of multiplication in RTLabs > …



@1589

10 years 
tranquil 
* turned to argumentless return statements for RTLabs and RTL (there …



@1585

10 years 
tranquil 
fighting with a bug of the translation from RTL to ERTL



@1584

10 years 
tranquil 
* new form of translation written in graphUtilites (mainly as a test …



@1580

10 years 
tranquil 
implemented constant propagation in LTL
cleaned up translations in …


