Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | program for testing volatiles | David Monniaux | 2019-03-09 | 1 | -0/+32 |
* | store the assembly source code as well | David Monniaux | 2019-03-09 | 1 | -5/+8 |
* | code qui plante | David Monniaux | 2019-03-08 | 3 | -0/+33 |
* | Modified test/c/Makefile for CompCert tests (remove all the float tests with ... | Cyril SIX | 2019-03-08 | 2 | -5/+6 |
* | un example avec varargs flottants | David Monniaux | 2019-03-08 | 1 | -0/+34 |
* | disable useless warnings | David Monniaux | 2019-03-08 | 4 | -4/+4 |
* | stop warning about system includes | David Monniaux | 2019-03-07 | 3 | -3/+3 |
* | forgot the .h | David Monniaux | 2019-03-07 | 1 | -0/+4 |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-03-02 | 7 | -10/+104 |
|\ | |||||
| * | Float conversion fixes + some more conversions | Cyril SIX | 2019-02-27 | 4 | -5/+5 |
| * | Changing the way floats are compared (script using reltol and abstol comparison) | Cyril SIX | 2019-02-27 | 4 | -5/+99 |
* | | mul8: loop-invariant code motion | David Monniaux | 2019-02-19 | 3 | -3/+63 |
|/ | |||||
* | forgot to deallocate block | David Monniaux | 2019-02-18 | 6 | -5/+12 |
* | double matrix multiplication | David Monniaux | 2019-02-15 | 4 | -0/+371 |
* | INT_MOD in picosat | David Monniaux | 2019-02-15 | 2 | -5/+7 |
* | Rajout d'opérateurs flottants, travail sur les tests --> à continuer | Cyril SIX | 2019-02-15 | 70 | -68/+136 |
* | HAS_FLOAT (constantes) | David Monniaux | 2019-02-13 | 1 | -0/+1 |
* | Added Olongoffloat, Ofloatoflong and doubleconv test | Cyril SIX | 2019-02-12 | 1 | -0/+9 |
* | Added Ointofsingle + floatconv unit test | Cyril SIX | 2019-02-12 | 1 | -0/+9 |
* | for mbedtls | David Monniaux | 2019-02-09 | 3 | -0/+114 |
* | some more files compile | David Monniaux | 2019-02-08 | 1 | -7/+9 |
* | removed 'KILL_TAIL_CALL()', no longer needed | David Monniaux | 2019-02-08 | 26 | -39/+2 |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-02-08 | 2 | -0/+49 |
|\ | |||||
| * | Added indirect tailcalls | Cyril SIX | 2019-02-08 | 2 | -0/+49 |
* | | nft -> ntt | David Monniaux | 2019-02-07 | 2 | -7/+7 |
|/ | |||||
* | -g in C FLAGS | David Monniaux | 2019-02-07 | 1 | -4/+7 |
* | fix rules | David Monniaux | 2019-02-07 | 1 | -8/+8 |
* | number theoretic transform (FFT in finite field) | David Monniaux | 2019-02-07 | 2 | -0/+172 |
* | float aussi | David Monniaux | 2019-02-06 | 3 | -3/+17 |
* | and now a call to lrint | David Monniaux | 2019-02-06 | 1 | -2/+2 |
* | test for float/double parameter passing | David Monniaux | 2019-02-06 | 4 | -0/+40 |
* | Makefiles now use rules.mk, and added a prohibition of unprototyped functions | David Monniaux | 2019-02-06 | 7 | -66/+21 |
* | simplification des Makefile | David Monniaux | 2019-02-05 | 8 | -179/+75 |
* | streamlining the Makefile | David Monniaux | 2019-02-05 | 1 | -0/+1 |
* | regular Makefiles | David Monniaux | 2019-02-05 | 3 | -67/+45 |
* | comparisons all around | David Monniaux | 2019-02-05 | 1 | -4/+18 |
* | IDEA encryption | David Monniaux | 2019-02-05 | 3 | -0/+490 |
* | spill queue complaints | David Monniaux | 2019-02-04 | 1 | -0/+5 |
* | code that bombs, to be used in regression testing | David Monniaux | 2019-02-04 | 1 | -0/+12 |
* | note on cycles | David Monniaux | 2019-02-04 | 1 | -0/+37 |
* | fill_buffer | David Monniaux | 2019-02-04 | 1 | -0/+35 |
* | better Makefile and printouts | David Monniaux | 2019-02-02 | 4 | -13/+42 |
* | compress42 | David Monniaux | 2019-02-02 | 5 | -0/+2120 |
* | BearSSL | David Monniaux | 2019-02-02 | 435 | -0/+115034 |
* | Disable the generation of jump tables until issues are fixed | David Monniaux | 2019-02-02 | 1 | -1/+1 |
* | fixes in types etc. | David Monniaux | 2019-02-02 | 4 | -7/+16 |
* | ugly hack to access _impure_thread_data (stdin, stdout, stderr...) | David Monniaux | 2019-02-01 | 6 | -48/+59 |
* | IT WORKS !! | David Monniaux | 2019-02-01 | 2 | -11/+136 |
* | removed some switches | David Monniaux | 2019-02-01 | 2 | -1/+104 |
* | fix various divisions, tail calls etc. | David Monniaux | 2019-02-01 | 24 | -5190/+5231 |