aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Makefile
Commit message (Expand)AuthorAgeFilesLines
* trace quand le simulateur est appeleSylvain Boulmé2020-07-241-0/+2
* k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-161-4/+5
|\
| * Revise the "bench" entries of the test suiteXavier Leroy2019-09-171-4/+3
* | Restored previous input sizes for other backendsCyril SIX2019-09-251-10/+2
* | Preferring the (ifeq) approach for removing testsCyril SIX2019-09-251-0/+4
* | Adding back "exit 2" to the test target of test/c/MakefileCyril SIX2019-09-131-2/+2
* | Reducing further the input size of the testsCyril SIX2019-09-131-2/+2
* | Scaling down most of c/ CompCert testsCyril SIX2019-09-131-5/+10
* | Starting to modify official CompCert tests to be passable with the simuCyril SIX2019-09-101-8/+15
* | Towards supporting the CompCert tests (not finished)Cyril SIX2019-06-141-10/+10
* | All CompCert tests can be compiledCyril SIX2019-04-091-2/+2
* | Modified test/c/Makefile for CompCert tests (remove all the float tests with ...Cyril SIX2019-03-081-4/+5
|/
* test/*/Makefile: suppress dependencies on ../../ccompXavier Leroy2017-09-111-2/+2
* RISC-V port and assorted changesXavier Leroy2017-04-281-1/+1
* Remove tests involving Cminor concrete syntax. Update ChangelogXavier Leroy2017-02-151-11/+0
* Updates to the local test suiteXavier Leroy2016-07-241-11/+1
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-211-1/+1
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-1/+11
* Cminor parsing and printing (from Andrew Tolmach)xleroy2013-10-161-1/+12
* Merge of the float32 branch: xleroy2013-05-191-2/+2
* driver: removed option -flonglongxleroy2013-04-221-1/+1
* Added FFTW benchmark provided by Guillaume Melquiondxleroy2013-04-201-2/+2
* Tests "floats" and "floats-basics" moved from test/c to test/regressionxleroy2013-04-201-9/+1
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-1/+1
* Fixed parsing of hex float literals 0xNNNpMMM.xleroy2013-03-111-2/+2
* Errors for excessively large global variables or stack frames.xleroy2013-02-021-2/+2
* Fix "clean" rule.xleroy2012-12-291-1/+1
* Use Flocq for floatsxleroy2012-06-281-1/+9
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsxleroy2012-03-071-1/+1
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-181-2/+2
* Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.xleroy2011-03-091-2/+2
* Merge of the reuse-temps branch:xleroy2010-09-021-2/+2
* Merge of branches/full-expr-4:xleroy2010-08-181-2/+2
* Typo in Makefilexleroy2010-02-171-2/+2
* Reorganization test directoryxleroy2010-02-171-4/+2
* 3 more benchmarksxleroy2010-02-171-1/+2
* Flag to turn on/off the recognition of fused multiply-add and multiply-subxleroy2008-07-311-1/+1
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...xleroy2008-04-191-2/+3
* Ajout du test vmachxleroy2008-04-151-1/+1
* Problemes d'alignement des variables globales et a l'interieur de leurs initi...xleroy2007-10-311-3/+5
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".xleroy2007-08-041-5/+4
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...xleroy2007-03-021-0/+5
* Ajout et utilisation de compcert_stdio.hxleroy2006-10-221-6/+4
* Davantage de testsxleroy2006-09-171-7/+44
* Ajout du test listsxleroy2006-09-111-2/+2
* MAJ des tests Cxleroy2006-09-081-37/+11
* Version C des tests Cminorxleroy2006-06-291-0/+46
generated by cgit (git 2.34.1) at 2024-05-20 11:19:12 +0000