aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* regular MakefilesDavid Monniaux2019-02-053-67/+45
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-02-054-53/+46
|\
| * Removing the low_half axiomCyril SIX2019-02-054-53/+46
* | comparisons all aroundDavid Monniaux2019-02-051-4/+18
|/
* IDEA encryptionDavid Monniaux2019-02-053-0/+490
* Fix pour le register allocationCyril SIX2019-02-051-2/+2
* spill queue complaintsDavid Monniaux2019-02-041-0/+5
* code that bombs, to be used in regression testingDavid Monniaux2019-02-041-0/+12
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-02-041-22/+152
|\
| * Preuves (en dehors du verified_schedule) terminées dans PostpassSchedulingproofCyril SIX2019-02-041-6/+44
| * Proof of transf_exec_control \o/Cyril SIX2019-02-041-2/+5
| * Proof of label_pos related things in PostpassSchedulingproofCyril SIX2019-02-041-15/+104
* | note on cyclesDavid Monniaux2019-02-041-0/+37
* | fill_bufferDavid Monniaux2019-02-041-0/+35
* | commentDavid Monniaux2019-02-021-0/+1
|/
* 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-022-2/+7
* fixes in types etc.David Monniaux2019-02-024-7/+16
* new version of the scheduler, interface to GurobiDavid Monniaux2019-02-012-37/+96
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-02-011-10/+137
|\
| * Encore de la tuyauterieCyril SIX2019-02-011-1/+91
| * Proof of transf_blocks_verifiedCyril SIX2019-02-011-9/+46
* | ugly hack to access _impure_thread_data (stdin, stdout, stderr...)David Monniaux2019-02-016-48/+59
* | Ugly hack to get at the k1c standard library stdin/stdout/stderrDavid Monniaux2019-02-011-1/+6
* | 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
* | it still seems to workDavid Monniaux2019-02-018-43/+59
* | block tail calls etc.David Monniaux2019-02-0145-7618/+384
|/
* implemented builtin memcpyDavid Monniaux2019-02-014-98/+56
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-312-38/+106
|\
| * Décomposition de transf_find_bblock en lemmesCyril SIX2019-01-311-1/+22
| * Adding a "check_size" in concat2Cyril SIX2019-01-311-13/+30
| * Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...Sylvain Boulmé2019-01-319-0/+1517
| |\
| * | idee de refactoringSylvain Boulmé2019-01-311-24/+54
* | | 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
* C99 7.16 mandates __bool_true_false_are_definedDavid Monniaux2019-01-301-1/+1
* 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
generated by cgit (git 2.34.1) at 2024-07-06 16:34:01 +0000