lustrec / src / backends @ da07e470
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
C | da07e470 | about 5 years | Xavier Thirioux | bug corrected: in some cases, local const vars ... | |
Horn | 6c4902ae | about 5 years | Teme Kahsai | fixed a printing bug in horn backend | |
Java | b38ffff3 | over 6 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
Latest revisions
Also available in: Atom