Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10 | David Monniaux | 2021-09-27 | 1 | -2/+2 |
|\ | |||||
| * | Refactor clightgen | Xavier Leroy | 2021-09-22 | 1 | -2/+2 |
| * | Use the LGPL instead of the GPL for dual-licensed files | Xavier Leroy | 2021-05-08 | 1 | -4/+5 |
| * | MacOS: add a #define __DARWIN_OS_INLINE | Xavier Leroy | 2021-04-27 | 1 | -2/+2 |
| * | Support Coq 8.13.2 | Xavier Leroy | 2021-04-27 | 1 | -2/+2 |
| * | Bump minimal Coq version to 8.9.0 | Xavier Leroy | 2021-04-19 | 1 | -2/+2 |
* | | Merge branch 'kvx-work' into BTL | Léo Gourdin | 2021-06-10 | 1 | -110/+94 |
|\ \ | |||||
| * | | Remove install path bricolage for kvxv3.9_kvx | Cyril SIX | 2021-06-01 | 1 | -2/+0 |
| * | | Add target ELF | Cyril SIX | 2021-06-01 | 1 | -2/+3 |
| * | | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1 | Cyril SIX | 2021-06-01 | 1 | -2/+3 |
| |\ \ | |||||
| * | | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend... | Cyril SIX | 2021-06-01 | 1 | -8/+9 |
| * | | | Merge branch 'master' into merge_master_8.13.1 | Sylvain Boulmé | 2021-03-23 | 1 | -102/+86 |
| |\ \ \ | | | |/ | | |/| | |||||
| | * | | Coq 8.13.1 is supported | Xavier Leroy | 2021-03-09 | 1 | -2/+2 |
| | * | | "macosx" is now called "macos" | Xavier Leroy | 2021-01-18 | 1 | -8/+8 |
| | * | | macOS: turn #warning off | Xavier Leroy | 2021-01-18 | 1 | -2/+2 |
| | * | | Coq 8.13.0 is supported | Xavier Leroy | 2021-01-14 | 1 | -3/+3 |
| | * | | configure: simplify the final printing of the configuration | Xavier Leroy | 2020-12-28 | 1 | -9/+8 |
| | * | | configure: add -mandir option (#382) | Daniel Dickman | 2020-12-28 | 1 | -1/+7 |
| | * | | AArch64: macOS port | Xavier Leroy | 2020-12-26 | 1 | -0/+13 |
| | * | | configure: use `$make` instead of `make` | Xavier Leroy | 2020-12-25 | 1 | -1/+1 |
| | * | | configure script revised and simplified | Xavier Leroy | 2020-12-24 | 1 | -83/+43 |
| | * | | configure: support Coq 8.12.2 | Xavier Leroy | 2020-12-24 | 1 | -2/+2 |
| | * | | Configure the correct archiver to build runtime/libcompcert.a | Xavier Leroy | 2020-12-24 | 1 | -1/+7 |
* | | | | Merge branch 'kvx-work' into BTL | Léo Gourdin | 2021-05-19 | 1 | -2/+2 |
|\ \ \ \ | | |_|/ | |/| | | |||||
| * | | | Increasing required OCaml version (Pervasives <-> Stdlib module renaming) | Cyril SIX | 2021-05-04 | 1 | -2/+2 |
* | | | | start the new "BTL" IR. | Sylvain Boulmé | 2021-04-28 | 1 | -1/+1 |
|/ / / | |||||
* / / | Adding distinction between kvx-cos and kvx-mbr (for trapping loads) | Cyril SIX | 2021-04-13 | 1 | -0/+1 |
|/ / | |||||
* | | begin implementing select | David Monniaux | 2021-02-02 | 1 | -0/+1 |
* | | fix Makefile / configure | David Monniaux | 2021-02-01 | 1 | -0/+6 |
* | | directory postpass_lib | Sylvain Boulmé | 2021-01-07 | 1 | -3/+3 |
* | | recreate abstractbb/ | Sylvain Boulmé | 2021-01-07 | 1 | -2/+2 |
* | | cleaning | Sylvain Boulmé | 2021-01-07 | 1 | -1/+1 |
* | | Merge remote-tracking branch 'origin/aarch64-asmblockgenproof' into aarch64-p... | Léo Gourdin | 2020-12-20 | 1 | -2/+2 |
|\ \ | |||||
| * | | intermediatet commit before builtins | Léo Gourdin | 2020-12-16 | 1 | -1/+1 |
| * | | Removing the PseudoAsm IR | Léo Gourdin | 2020-12-13 | 1 | -2/+2 |
* | | | fix extraction of non-aarch64 targets | Sylvain Boulmé | 2020-12-17 | 1 | -0/+1 |
* | | | Merge branch 'kvx-work' into aarch64-peephole | Sylvain Boulmé | 2020-12-17 | 1 | -75/+80 |
|\ \ \ | |/ / |/| | | |||||
| * | | upgrade kvx backend to coq.8.12.2 | Sylvain Boulmé | 2020-12-16 | 1 | -1/+1 |
| * | | Merge branch 'kvx-work' into kvx-work-merge3.8 | Cyril SIX | 2020-12-04 | 1 | -3/+2 |
| |\ \ | |||||
| * \ \ | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8 | David Monniaux | 2020-11-18 | 1 | -73/+80 |
| |\ \ \ | | | |/ | | |/| | |||||
| | * | | Support Coq 8.12.1 | Xavier Leroy | 2020-11-14 | 1 | -2/+2 |
| | * | | Support Cygwin 64 bits | Xavier Leroy | 2020-10-05 | 1 | -0/+13 |
| | * | | Support the use of already-installed MenhirLib and Flocq libraries | Xavier Leroy | 2020-09-21 | 1 | -42/+44 |
| | * | | Remove support for x86-32 under macOS | Xavier Leroy | 2020-07-29 | 1 | -24/+0 |
| | * | | Revised detection of menhirLib directory, continued (#365) | Xavier Leroy | 2020-07-15 | 1 | -4/+4 |
| | * | | Bytecode-only build (#243) | Xavier Leroy | 2020-07-07 | 1 | -3/+14 |
| | * | | Revised detection of menhirLib directory (#248) | Xavier Leroy | 2020-07-07 | 1 | -2/+6 |
| | * | | Preliminary support for Coq 8.12 | Xavier Leroy | 2020-06-21 | 1 | -3/+3 |
| | * | | Compatibility with coq 8.11.2 | Bernhard Schommer | 2020-06-08 | 1 | -1/+1 |
| | * | | Support for coq 8.11.1. | Bernhard Schommer | 2020-04-20 | 1 | -2/+2 |