aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* some more work on complex matricesDavid Monniaux2019-03-121-8/+195
|
* some more about complex numbersDavid Monniaux2019-03-111-8/+49
|
* wrong directory, fixedDavid Monniaux2019-03-111-0/+0
|
* et hop un MakefileDavid Monniaux2019-03-111-0/+9
|
* complex numbers attemptDavid Monniaux2019-03-101-0/+22
|
* test code for jump tablesDavid Monniaux2019-03-101-0/+34
|
* varargsDavid Monniaux2019-03-101-18/+0
|
* forgot the MakefileDavid Monniaux2019-03-101-0/+18
|
* test for volatilesDavid Monniaux2019-03-101-0/+33
|
* volatile storesDavid Monniaux2019-03-102-2/+2
|
* demo for volatileDavid Monniaux2019-03-092-9/+28
|
* program for testing volatilesDavid Monniaux2019-03-091-0/+32
|
* store the assembly source code as wellDavid Monniaux2019-03-091-5/+8
|
* code qui planteDavid Monniaux2019-03-083-0/+33
|
* Modified test/c/Makefile for CompCert tests (remove all the float tests with ↵Cyril SIX2019-03-082-5/+6
| | | | division)
* un example avec varargs flottantsDavid Monniaux2019-03-081-0/+34
|
* disable useless warningsDavid Monniaux2019-03-084-4/+4
|
* stop warning about system includesDavid Monniaux2019-03-073-3/+3
|
* forgot the .hDavid Monniaux2019-03-071-0/+4
|
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-03-027-10/+104
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Float conversion fixes + some more conversionsCyril SIX2019-02-274-5/+5
| |
| * Changing the way floats are compared (script using reltol and abstol comparison)Cyril SIX2019-02-274-5/+99
| |
* | mul8: loop-invariant code motionDavid Monniaux2019-02-193-3/+63
|/
* forgot to deallocate blockDavid Monniaux2019-02-186-5/+12
| | | | -g changes performance
* double matrix multiplicationDavid Monniaux2019-02-154-0/+371
|
* INT_MOD in picosatDavid Monniaux2019-02-152-5/+7
|
* Rajout d'opérateurs flottants, travail sur les tests --> à continuerCyril SIX2019-02-1570-68/+136
|
* HAS_FLOAT (constantes)David Monniaux2019-02-131-0/+1
|
* Added Olongoffloat, Ofloatoflong and doubleconv testCyril SIX2019-02-121-0/+9
|
* Added Ointofsingle + floatconv unit testCyril SIX2019-02-121-0/+9
|
* for mbedtlsDavid Monniaux2019-02-093-0/+114
|
* some more files compileDavid Monniaux2019-02-081-7/+9
|
* removed 'KILL_TAIL_CALL()', no longer neededDavid Monniaux2019-02-0826-39/+2
|
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-02-082-0/+49
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Added indirect tailcallsCyril SIX2019-02-082-0/+49
| |
* | nft -> nttDavid Monniaux2019-02-072-7/+7
|/
* -g in C FLAGSDavid Monniaux2019-02-071-4/+7
|
* fix rulesDavid Monniaux2019-02-071-8/+8
|
* number theoretic transform (FFT in finite field)David Monniaux2019-02-072-0/+172
|
* float aussiDavid Monniaux2019-02-063-3/+17
|
* and now a call to lrintDavid Monniaux2019-02-061-2/+2
|
* test for float/double parameter passingDavid Monniaux2019-02-064-0/+40
|
* Makefiles now use rules.mk, and added a prohibition of unprototyped functionsDavid Monniaux2019-02-067-66/+21
|
* simplification des MakefileDavid Monniaux2019-02-058-179/+75
|
* streamlining the MakefileDavid Monniaux2019-02-051-0/+1
|
* regular MakefilesDavid Monniaux2019-02-053-67/+45
|
* comparisons all aroundDavid Monniaux2019-02-051-4/+18
|
* IDEA encryptionDavid Monniaux2019-02-053-0/+490
|
* spill queue complaintsDavid Monniaux2019-02-041-0/+5
|
* code that bombs, to be used in regression testingDavid Monniaux2019-02-041-0/+12
|
generated by cgit (git 2.34.1) at 2024-07-06 17:25:14 +0000