aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | le modèle
* 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 ↵Cyril SIX2019-01-184-2/+84
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * moved to subdirectoryDavid Monniaux2019-01-184-1/+1
| |
| * some unrollingDavid Monniaux2019-01-184-3/+47
| |
| * Merge branch 'mppa_postpass' of ↵David Monniaux2019-01-181-1/+1
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * | fix free() bugDavid Monniaux2019-01-181-0/+2
| | |
| * | fourth versionDavid Monniaux2019-01-183-2/+38
| | |
* | | -O0 will not perform postpass schedulingCyril SIX2019-01-185-3/+12
| |/ |/|
* | Merge branch 'mppa_postpass' of ↵Sylvain Boulmé2019-01-181-2/+5
|\| | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * some better experiments...David Monniaux2019-01-181-2/+5
| |
* | configure: improve preprocessor optionsSylvain Boulmé2019-01-181-1/+1
|/
* clearer filenamesDavid Monniaux2019-01-181-13/+24
|
* Merge branch 'mppa_postpass' of ↵Cyril SIX2019-01-181-1/+1
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * fix oubli dans configureSylvain Boulmé2019-01-181-1/+1
| |
* | Minor bug in encode_immCyril SIX2019-01-181-2/+2
|/
* bugfixDavid Monniaux2019-01-171-1/+1
|
* various matrix multiplication proceduresDavid Monniaux2019-01-173-4/+38
|
* show cycle countsDavid Monniaux2019-01-171-2/+44
|
* so that we can compare gcc and ccomp .sDavid Monniaux2019-01-171-3/+6
|
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-01-172-2/+3
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Minor bug fixesCyril SIX2019-01-171-2/+2
| |
| * Ommited a ;; in va_arg_start macroCyril SIX2019-01-171-0/+1
| |
* | for testing postpassDavid Monniaux2019-01-174-35/+64
| |
* | test (does not compile yet)David Monniaux2019-01-172-0/+115
|/
* Corrected a bug in Pallocframe expansion with va_argsCyril SIX2019-01-172-3/+7
|
* Merge correctionsCyril SIX2019-01-172-74/+75
|
* Fixed the forvar testCyril SIX2019-01-172-3/+13
|
* Merge branch 'mppa_k1c' into mppa_postpassCyril SIX2019-01-1714-168/+312
|\
| * Added the use of two va_list in a va_arg testCyril SIX2018-12-111-3/+9
| |
| * In va_arg tests, 2nd argument of va_start is now correctCyril SIX2018-12-112-9/+9
| |
| * Added an error message for 32-bits division and moduloCyril SIX2018-12-111-13/+13
| |
| * Fixed div64 and mod64Cyril SIX2018-12-115-51/+27
| |
| * Added printf to the unitary tests for instructionsCyril SIX2018-12-072-27/+29
| |
| * Fixed that fnegd and negd had been invertedCyril SIX2018-12-071-1/+1
| |
| * Fixed bundles (back to 1 instruction per bundle)Cyril SIX2018-12-071-65/+65
| |
| * Added a printf wrapper in test/mppa/libCyril SIX2018-12-074-0/+160
| |
* | Corrected a bug in PostlassSchedulingOracle:intlist provoking cyclesCyril SIX2019-01-171-1/+1
| |
* | Added the rest of the instructions info (manually)Cyril SIX2019-01-161-47/+160
| |
* | More instruction definitions in the oracleCyril SIX2019-01-162-12/+36
| |
generated by cgit (git 2.34.1) at 2024-07-12 00:26:09 +0000