summaryrefslogtreecommitdiff
path: root/test/cminor
Commit message (Expand)AuthorAge
* Merge of branch seq-and-or. See Changelog for details.Gravatar xleroy2012-10-06
* PrintCminor: printing SskipGravatar xleroy2012-03-09
* Moved test harness C files hereGravatar xleroy2010-02-17
* Elimination of "alloc" instruction in Caml files and test files.Gravatar xleroy2009-01-11
* Test for int/float conversionsGravatar xleroy2009-01-07
* Endianness in testsGravatar xleroy2009-01-05
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* Amelioration compilation des switchGravatar xleroy2008-04-17
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...Gravatar xleroy2007-08-28
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu MakefilesGravatar xleroy2007-08-06
* DocumentationGravatar xleroy2007-08-05
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* NettoyageGravatar xleroy2007-03-02
* Mettre les 2 demi-espaces dans 2 blocs separesGravatar xleroy2007-03-02
* Ajout test mark&sweep GCGravatar xleroy2006-10-27
* Ajout test stop&copy GCGravatar xleroy2006-10-26
* Simplification de Cminor: les affectations de variables locales ne sontGravatar xleroy2006-09-18
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Initial import of compcertGravatar xleroy2006-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-29 16:24:56 +0000