aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into towards_3.10David Monniaux2021-10-291-1/+1
|\
| * Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-1/+1
* | Merge branch 'towards_2.10' of ../towards_3.10 into kvx-workDavid Monniaux2021-09-303-6/+4
|\ \
| * | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-243-6/+4
| |\|
| | * Native support for bit fields (#400)Xavier Leroy2021-08-223-6/+4
| | * Remove `-version-file` option from option summaryXavier Leroy2021-04-231-1/+0
* | | activate non trapping loads on the KVXDavid Monniaux2021-09-281-1/+1
|/ /
* | - make non trapping loads in scheduling dependent on option (which was ignore...David Monniaux2021-09-141-1/+1
* | [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-011-5/+3
|\ \
| * \ Merge branch 'kvx-work' into BTLLéo Gourdin2021-06-103-5/+7
| |\ \
| * | | Dupmap bugfix and some advance in LivegenLéo Gourdin2021-05-311-0/+2
| * | | BTL Scheduler oracle and some draftsLéo Gourdin2021-05-311-1/+1
| * | | fix some merge errorsLéo Gourdin2021-05-281-1/+1
| * | | Merge branch 'BTL' into BTL-translationLéo Gourdin2021-05-192-0/+4
| |\ \ \
| * | | | preparing compiler passes and ml oraclesLéo Gourdin2021-05-171-6/+2
* | | | | Merge branch 'kvx-work' into rtl-tunnelingSylvain Boulmé2021-07-242-6/+12
|\ \ \ \ \
| * | | | | activate register pressure by defaultDavid Monniaux2021-07-162-5/+5
| * | | | | use a more recognizable option nameDavid Monniaux2021-07-162-3/+3
| * | | | | Change temporary solution (see prev commits), and add option for itnicolas.nardino2021-06-282-0/+3
| * | | | | Another schedulernicolas.nardino2021-06-241-1/+1
| * | | | | Changed default threshold value following testsnicolas.nardino2021-06-221-1/+1
| * | | | | Add option to set thresold and support for riscvnicolas.nardino2021-06-172-0/+3
| * | | | | scheduler written, need to test nownicolas.nardino2021-06-141-1/+1
| | |_|/ / | |/| | |
* / | | | Change "Tunneling" to "LTLTunneling" everywherePierre Goutagny2021-06-171-1/+1
|/ / / /
* | | | Add target ELFCyril SIX2021-06-011-0/+1
* | | | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-015-2/+11
|\ \ \ \ | | |/ / | |/| |
| * | | Adding both RV expansion methods in kvx-workLéo Gourdin2021-05-192-0/+4
| |/ /
| * | Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-133-1/+8
| * | Remove flagsLéo Gourdin2021-04-092-4/+0
| * | Compiler options to manage expansionsLéo Gourdin2021-03-262-2/+2
| * | Adding a flag to test fp_init_expLéo Gourdin2021-03-022-0/+2
* | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-1/+0
* | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-232-4/+6
|\ \ \ | |/ / |/| / | |/
| * "macosx" is now called "macos"Xavier Leroy2021-01-182-3/+3
| * AArch64: macOS portXavier Leroy2020-12-261-1/+3
* | Adding a compiler option -fexpanse-rtlcondLéo Gourdin2021-02-162-0/+2
* | Conditions now propagated by CSE3David Monniaux2021-01-203-1/+8
|\ \
| * | begin implementing -fcse3-conditionsDavid Monniaux2020-12-093-0/+7
| * | CSE3 compiles again, but some admitted lemmasDavid Monniaux2020-12-091-1/+1
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-087-229/+51
| |\ \
| * | | start checking for bugsDavid Monniaux2020-12-021-1/+1
* | | | Fix --help for prepass (new options)Léo Gourdin2021-01-141-1/+1
* | | | Fix --help for prepass (default on)Léo Gourdin2021-01-141-1/+1
* | | | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-177-229/+51
|\ \ \ \ | | |/ / | |/| |
| * | | Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixedDavid Monniaux2020-12-081-0/+2
| |\ \ \ | | | |/ | | |/|
| | * | Error when using -main without -interpXavier Leroy2020-12-061-0/+2
| * | | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-043-2/+24
| |\ \ \ | | | |/ | | |/|
| * | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-187-229/+49
| |\ \ \ | | | |/ | | |/|
| | * | Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-303-19/+41
| | * | Remove -version-file optionXavier Leroy2020-10-121-19/+2
generated by cgit (git 2.34.1) at 2024-04-27 08:41:20 +0000