aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/vmach.c
Commit message (Collapse)AuthorAgeFilesLines
* Reduce the running times of the tests in test/cXavier Leroy2017-08-261-4/+0
| | | | Running times were too long when executed on low-end ARM or PowerPC hardware, or under QEMU emulation.
* Updates to the local test suiteXavier Leroy2016-07-241-2/+2
| | | | | | | - Adjust parameters to bring the running time of each test closer to 1 second - compression/arcode.c: array access one past - "inline" -> "static inline" - Remove cchecklink support
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-2/+1
| | | | | | | (Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Ajout du test vmachxleroy2008-04-151-0/+216
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@612 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
generated by cgit (git 2.34.1) at 2024-06-29 04:34:27 +0000