aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* picosatDavid Monniaux2019-01-2717-0/+12288
* to testDavid Monniaux2019-01-261-0/+6
* clock cycles etc.David Monniaux2019-01-263-6/+13
* micro bunzipDavid Monniaux2019-01-265-20/+60
* micro bunzipDavid Monniaux2019-01-262-0/+540
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-251-6/+110
|\
| * Avancement PostpassSchedulingproofCyril SIX2019-01-251-5/+69
| * Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...Cyril SIX2019-01-251-7/+64
| |\
| | * Progrès dans PostpassSchedulingproofCyril SIX2019-01-251-6/+46
| * | Preuve de app_nonil2 dans PostpassSchedulingproofCyril SIX2019-01-231-4/+5
* | | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-241-9/+27
|\ \ \ | | |/ | |/|
| * | Un peu d'avancement sur PostpassSchedulingproofCyril SIX2019-01-241-9/+27
| |/
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-233-126/+208
|\|
| * Cleaning dans PostpassSchedulingproofCyril SIX2019-01-231-43/+20
| * 3ème cas de transf_step_correct de PostpassSchedulingproof finiCyril SIX2019-01-231-5/+6
| * Proof of builtin case for transf_step_correct in PostpassSchedulingproofCyril SIX2019-01-231-1/+25
| * Adding a predicate that a builtin must be alone in its basicblockCyril SIX2019-01-233-88/+168
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-231-14/+47
|\|
| * Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...Cyril SIX2019-01-233-9/+393
| |\
| * | Changement de modèle de preuve pour le 1er cas du tranf_step_correct de Post...Cyril SIX2019-01-231-14/+47
* | | autoincrementDavid Monniaux2019-01-221-1/+12
| |/ |/|
* | to test memcpy one dayDavid Monniaux2019-01-221-1/+6
* | unroll loopsDavid Monniaux2019-01-221-0/+232
* | replace array[8] by 8 variablesDavid Monniaux2019-01-221-0/+103
* | correct measurementDavid Monniaux2019-01-221-2/+17
* | sha-2 benchmark worksDavid Monniaux2019-01-221-3/+22
* | check malloc() return valuesDavid Monniaux2019-01-221-3/+12
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-2211-37/+58
|\|
| * Léger avancement PostpassSchedulingproof.vCyril SIX2019-01-221-1/+7
| * Added sxwd and zxwd supportCyril SIX2019-01-2210-36/+51
* | attributionDavid Monniaux2019-01-221-0/+1
|/
* SHA-2 from https://github.com/amosnier/sha-2David Monniaux2019-01-226-0/+612
* AESDavid Monniaux2019-01-218-0/+1167
* DESDavid Monniaux2019-01-211-0/+500
* Un poil d'avancement sur PostpassSchedulingproof.v. Corrections à faire sur ...Cyril SIX2019-01-211-1/+47
* some more exampleDavid Monniaux2019-01-195-1/+128
* use a prime in PRNGDavid Monniaux2019-01-193-3/+3
* quicksortDavid Monniaux2019-01-196-27/+138
* fixes in MakefileDavid Monniaux2019-01-191-7/+1
* fix MakefileDavid Monniaux2019-01-181-2/+2
* fix bug when using reoptimization (sat4j)David Monniaux2019-01-181-9/+13
* more on matricesDavid Monniaux2019-01-183-5/+68
* loop transformationDavid Monniaux2019-01-183-2/+50
* adjust pathDavid Monniaux2019-01-181-1/+1
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...Cyril SIX2019-01-184-2/+84
|\
| * moved to subdirectoryDavid Monniaux2019-01-184-1/+1
| * some unrollingDavid Monniaux2019-01-184-3/+47
| * Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-01-181-1/+1
| |\
| * | fix free() bugDavid Monniaux2019-01-181-0/+2
| * | fourth versionDavid Monniaux2019-01-183-2/+38
generated by cgit (git 2.34.1) at 2024-07-06 16:07:37 +0000