aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
...
* | DM manual inliningDavid Monniaux2019-05-091-22/+25
* | with -en (expand main node)David Monniaux2019-05-096-0/+3569
* | Lustre "convertible" compilé avec -2cgcDavid Monniaux2019-05-096-0/+1452
* | carlightV2 example from Lustre V6David Monniaux2019-05-084-89/+111
* | carlightDavid Monniaux2019-05-083-0/+467
* | added clockDavid Monniaux2019-05-081-1/+9
* | removed print statementsDavid Monniaux2019-05-081-81/+18
* | from Lustre v6 examplesDavid Monniaux2019-05-086-0/+1745
* | load code into I-cacheDavid Monniaux2019-05-041-0/+3
* | store oDavid Monniaux2019-05-042-3/+3
* | [#120] - Makefile generator + replaced binary_search/Makefile : it worksCyril SIX2019-05-034-30/+81
* | Merge branch 'mppa-work' into mppa_k1cCyril SIX2019-05-034-1/+57
|\ \
| * | example of spill peepholeDavid Monniaux2019-05-021-0/+21
| * | forgot Chunks.vDavid Monniaux2019-05-021-1/+1
| * | Srsd / SrswDavid Monniaux2019-04-291-0/+10
| * | test for long bitfieldsDavid Monniaux2019-04-291-0/+19
| * | start of extfzl/extfslDavid Monniaux2019-04-251-0/+6
* | | Changes to include a -O1 -fschedule-insns2 gcc run as wellCyril SIX2019-04-2624-290/+384
|/ /
* | read from bit fieldsDavid Monniaux2019-04-251-0/+20
* | identify bug from x86David Monniaux2019-04-131-2/+4
* | various bugs in FPDavid Monniaux2019-04-131-0/+6
* | some more examplesDavid Monniaux2019-04-131-4/+39
* | code for checking IEEE-754 exceptionsDavid Monniaux2019-04-131-0/+41
* | experiments with rounding modesDavid Monniaux2019-04-131-5/+21
* | test for rounding modesDavid Monniaux2019-04-131-0/+20
* | test breaksDavid Monniaux2019-04-121-0/+44
* | some more simplificationsDavid Monniaux2019-04-126-1209/+10
* | more builtinsDavid Monniaux2019-04-114-16/+27
* | experiments on the meaning of sbmm8David Monniaux2019-04-112-0/+24
* | __builtin_k1_acswapwDavid Monniaux2019-04-112-0/+26
* | builtin acswapdDavid Monniaux2019-04-111-0/+13
* | afaddd / afaddwDavid Monniaux2019-04-111-0/+11
* | demo of instruction cache flushDavid Monniaux2019-04-111-0/+27
* | instruction cache builtinsDavid Monniaux2019-04-111-0/+5
* | data cache builtinsDavid Monniaux2019-04-111-0/+3
* | some more builtinsDavid Monniaux2019-04-111-0/+8
* | __builtin_k1_lduDavid Monniaux2019-04-111-0/+4
* | wfxl / wfxmDavid Monniaux2019-04-111-0/+8
* | fix types for k1 builtinsDavid Monniaux2019-04-111-0/+55
* | now compiles with pthread.hDavid Monniaux2019-04-101-4/+1
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-104-5/+6
|\ \
| * | Disabling the packedstruct tests from test/regressionCyril SIX2019-04-091-1/+2
| * | All CompCert tests can be compiledCyril SIX2019-04-093-4/+4
* | | for killing _PragmaDavid Monniaux2019-04-081-0/+1
|/ /
* | exemples d'accès mémoire lentsDavid Monniaux2019-04-083-0/+31
* | better explanationDavid Monniaux2019-04-081-4/+26
* | better intermediate pointDavid Monniaux2019-04-081-5/+8
* | powerwindow from tacle-benchDavid Monniaux2019-04-0842-0/+5165
* | from Tacle BenchDavid Monniaux2019-04-088-0/+618
* | predicated experimentsDavid Monniaux2019-04-072-0/+29
generated by cgit (git 2.34.1) at 2024-07-12 03:49:40 +0000