Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Better fix for register allocation? | Cyril SIX | 2019-02-06 | 1 | -3/+4 |
* | 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 |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-02-05 | 4 | -53/+46 |
|\ | |||||
| * | Removing the low_half axiom | Cyril SIX | 2019-02-05 | 4 | -53/+46 |
* | | comparisons all around | David Monniaux | 2019-02-05 | 1 | -4/+18 |
|/ | |||||
* | IDEA encryption | David Monniaux | 2019-02-05 | 3 | -0/+490 |
* | Fix pour le register allocation | Cyril SIX | 2019-02-05 | 1 | -2/+2 |
* | 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 |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-02-04 | 1 | -22/+152 |
|\ | |||||
| * | Preuves (en dehors du verified_schedule) terminées dans PostpassSchedulingproof | Cyril SIX | 2019-02-04 | 1 | -6/+44 |
| * | Proof of transf_exec_control \o/ | Cyril SIX | 2019-02-04 | 1 | -2/+5 |
| * | Proof of label_pos related things in PostpassSchedulingproof | Cyril SIX | 2019-02-04 | 1 | -15/+104 |
* | | note on cycles | David Monniaux | 2019-02-04 | 1 | -0/+37 |
* | | fill_buffer | David Monniaux | 2019-02-04 | 1 | -0/+35 |
* | | comment | David Monniaux | 2019-02-02 | 1 | -0/+1 |
|/ | |||||
* | 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 | 2 | -2/+7 |
* | fixes in types etc. | David Monniaux | 2019-02-02 | 4 | -7/+16 |
* | new version of the scheduler, interface to Gurobi | David Monniaux | 2019-02-01 | 2 | -37/+96 |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-02-01 | 1 | -10/+137 |
|\ | |||||
| * | Encore de la tuyauterie | Cyril SIX | 2019-02-01 | 1 | -1/+91 |
| * | Proof of transf_blocks_verified | Cyril SIX | 2019-02-01 | 1 | -9/+46 |
* | | ugly hack to access _impure_thread_data (stdin, stdout, stderr...) | David Monniaux | 2019-02-01 | 6 | -48/+59 |
* | | Ugly hack to get at the k1c standard library stdin/stdout/stderr | David Monniaux | 2019-02-01 | 1 | -1/+6 |
* | | 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 |
* | | it still seems to work | David Monniaux | 2019-02-01 | 8 | -43/+59 |
* | | block tail calls etc. | David Monniaux | 2019-02-01 | 45 | -7618/+384 |
|/ | |||||
* | implemented builtin memcpy | David Monniaux | 2019-02-01 | 4 | -98/+56 |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-01-31 | 2 | -38/+106 |
|\ | |||||
| * | Décomposition de transf_find_bblock en lemmes | Cyril SIX | 2019-01-31 | 1 | -1/+22 |
| * | Adding a "check_size" in concat2 | Cyril SIX | 2019-01-31 | 1 | -13/+30 |
| * | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | Sylvain Boulmé | 2019-01-31 | 9 | -0/+1517 |
| |\ | |||||
| * | | idee de refactoring | Sylvain Boulmé | 2019-01-31 | 1 | -24/+54 |
* | | | quicksort experiments | David Monniaux | 2019-01-31 | 3 | -1/+587 |
* | | | show latencies | David Monniaux | 2019-01-31 | 2 | -0/+38 |
* | | | bigger matrix | David Monniaux | 2019-01-31 | 1 | -1/+1 |
| |/ |/| | |||||
* | | on se fait bien dépasser! | David Monniaux | 2019-01-31 | 1 | -1/+1 |