index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
cminor
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge of branch seq-and-or. See Changelog for details.
xleroy
2012-10-06
3
-8
/
+13
*
PrintCminor: printing Sskip
xleroy
2012-03-09
3
-5
/
+5
*
Moved test harness C files here
xleroy
2010-02-17
14
-1
/
+1649
*
Elimination of "alloc" instruction in Caml files and test files.
xleroy
2009-01-11
1
-2
/
+4
*
Test for int/float conversions
xleroy
2009-01-07
2
-1
/
+25
*
Endianness in tests
xleroy
2009-01-05
2
-0
/
+18
*
Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...
xleroy
2008-04-19
1
-3
/
+5
*
Amelioration compilation des switch
xleroy
2008-04-17
1
-0
/
+1
*
Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...
xleroy
2007-08-28
1
-2
/
+4
*
Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles
xleroy
2007-08-06
1
-1
/
+1
*
Documentation
xleroy
2007-08-05
1
-1
/
+1
*
Fusion des modifications faites sur les branches "tailcalls" et "smallstep".
xleroy
2007-08-04
3
-1
/
+23
*
Nettoyage
xleroy
2007-03-02
1
-1
/
+0
*
Mettre les 2 demi-espaces dans 2 blocs separes
xleroy
2007-03-02
1
-9
/
+10
*
Ajout test mark&sweep GC
xleroy
2006-10-27
2
-1
/
+308
*
Ajout test stop© GC
xleroy
2006-10-26
2
-1
/
+191
*
Simplification de Cminor: les affectations de variables locales ne sont
xleroy
2006-09-18
1
-5
/
+10
*
Fusion de la branche "traces":
xleroy
2006-09-04
5
-26
/
+73
*
Initial import of compcert
xleroy
2006-02-09
9
-0
/
+1052