| 2012-02-01 | Mario de Sousa | Re-write of stage3 code (done by Manuele and I), re-write of search_varfb_instance_type_c (done by myself), and several other bug fixes. | file | diff | annotate |
| 2011-04-05 | Edouard Tisserant | Re-generated std lib related code, with updated headers, updated all forgotten headers | file | diff | annotate |
| 2011-04-04 | Mario de Sousa | starting to add proper header file with declaration of standard functions | file | diff | annotate |
| 2011-03-31 | Mario de Sousa | Do not crash when checking semantics of undeclared symbolic_variable. | file | diff | annotate |
| 2011-03-30 | Mario de Sousa | Huge change. | file | diff | annotate |
| 2009-08-27 | Catarina Boucinha | Adding missing Stage3 files. | file | diff | annotate |