aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* note on cyclesDavid Monniaux2019-02-041-0/+37
|
* fill_bufferDavid Monniaux2019-02-041-0/+35
|
* better Makefile and printoutsDavid Monniaux2019-02-024-13/+42
|
* compress42David Monniaux2019-02-025-0/+2120
|
* BearSSLDavid Monniaux2019-02-02435-0/+115034
|
* Disable the generation of jump tables until issues are fixedDavid Monniaux2019-02-021-1/+1
|
* fixes in types etc.David Monniaux2019-02-024-7/+16
|
* ugly hack to access _impure_thread_data (stdin, stdout, stderr...)David Monniaux2019-02-016-48/+59
| | | | it works!
* IT WORKS !!David Monniaux2019-02-012-11/+136
| | | | (except that files that ref to stdin/stdout/stderr need to be compiled with gcc)
* removed some switchesDavid Monniaux2019-02-012-1/+104
|
* fix various divisions, tail calls etc.David Monniaux2019-02-0124-5190/+5231
|
* it still seems to workDavid Monniaux2019-02-018-43/+59
|
* block tail calls etc.David Monniaux2019-02-0145-7618/+384
|
* quicksort experimentsDavid Monniaux2019-01-313-1/+587
|
* show latenciesDavid Monniaux2019-01-312-0/+38
|
* bigger matrixDavid Monniaux2019-01-311-1/+1
|
* on se fait bien dépasser!David Monniaux2019-01-311-1/+1
|
* multiplication of matrices in a finite ringDavid Monniaux2019-01-314-0/+389
|
* glibc's QuicksortDavid Monniaux2019-01-314-0/+800
|
* modified versionDavid Monniaux2019-01-311-0/+328
|
* hand optimizedDavid Monniaux2019-01-312-0/+691
|
* show cyclesDavid Monniaux2019-01-303-13/+20
|
* all targetsDavid Monniaux2019-01-301-1/+3
|
* remove cruftDavid Monniaux2019-01-306-6/+6
|
* remove cruft dealing with __int128 and __threadDavid Monniaux2019-01-3011-291/+9
|
* no need for modulo and divisionDavid Monniaux2019-01-302-13/+1
|
* remove preprocessor directives about SIZE_TYPE, now useless (long is now 8 ↵David Monniaux2019-01-309-8/+14
| | | | bytes like in gcc)
* sizeof checkDavid Monniaux2019-01-301-0/+46
|
generated by cgit (git 2.34.1) at 2024-07-06 17:20:13 +0000