aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
* | 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 gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-03-027-10/+104
|\ \
| * | 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
* | 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 gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-02-082-0/+49
|\ \
| * | 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 !!David Monniaux2019-02-012-11/+136
* | removed some switchesDavid Monniaux2019-02-012-1/+104
* | fix various divisions, tail calls etc.David Monniaux2019-02-0124-5190/+5231
generated by cgit (git 2.34.1) at 2024-07-12 11:08:15 +0000