index
:
debian-compcert
master
pristine-tar
upstream
Debian packaging for CompCert
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
c
/
Results
Commit message (
Expand
)
Author
Age
*
Merge of the float32 branch:
xleroy
2013-05-19
*
driver: removed option -flonglong
xleroy
2013-04-22
*
Added FFTW benchmark provided by Guillaume Melquiond
xleroy
2013-04-20
*
Tests "floats" and "floats-basics" moved from test/c to test/regression
xleroy
2013-04-20
*
Big merge of the newregalloc-int64 branch. Lots of changes in two directions:
xleroy
2013-04-20
*
Fixed parsing of hex float literals 0xNNNpMMM.
xleroy
2013-03-11
*
Use Flocq for floats
xleroy
2012-06-28
*
Reorganization test directory
xleroy
2010-02-17
*
3 more benchmarks
xleroy
2010-02-17
*
Backtracking on commit 1220
xleroy
2010-01-13
*
Test result more reproducible
xleroy
2009-12-16
*
Problem with const enum initializers
xleroy
2009-09-15
*
Stronger constant folding, esp. w.r.t. floats
xleroy
2009-08-21
*
Update test results
xleroy
2008-07-31
*
Ajout du test vmach
xleroy
2008-04-15
*
Problemes d'alignement des variables globales et a l'interieur de leurs initi...
xleroy
2007-10-31
*
Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...
xleroy
2007-08-28
*
Davantage de tests
xleroy
2006-09-17