Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssa | David Monniaux | 2021-01-08 | 1 | -0/+4 |
|\ | |||||
| * | fix extraction of non-aarch64 targets | Sylvain Boulmé | 2020-12-17 | 1 | -0/+1 |
| * | upgrade kvx backend to coq.8.12.2 | Sylvain Boulmé | 2020-12-16 | 1 | -0/+1 |
| * | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8 | David Monniaux | 2020-11-18 | 1 | -0/+2 |
| |\ | |||||
| | * | Install "compcert.config" file along the Coq development | Xavier Leroy | 2020-04-29 | 1 | -0/+1 |
| | * | Updated .gitignore | Bernhard Schommer | 2020-04-27 | 1 | -0/+1 |
* | | | Merge remote-tracking branch 'compcertssa/issue1' into kvx-work-ssa | David Monniaux | 2020-11-05 | 1 | -0/+6 |
|\ \ \ | |||||
| * | | | ignoring picosat generated files | Delphine Demange | 2020-11-05 | 1 | -0/+6 |
* | | | | Merge branch 'ssa' of https://gitlab.inria.fr/compcertssa/compcertssa into kv... | David Monniaux | 2020-07-17 | 1 | -0/+1 |
|\| | | | |/ / |/| | | |||||
| * | | Merge tag 'v3.7' into ssa | DEMANGE Delphine | 2020-06-17 | 1 | -0/+2 |
| |\| | |||||
| * | | Merge tag 'v3.6' into ssa | DEMANGE Delphine | 2020-06-17 | 1 | -1/+7 |
| |\ \ | |||||
| * \ \ | Merge tag 'v3.5' into ssa | DEMANGE Delphine | 2020-06-17 | 1 | -1/+1 |
| |\ \ \ | |||||
| * \ \ \ | Merge tag 'v3.4' into ssa | DEMANGE Delphine | 2020-06-16 | 1 | -0/+3 |
| |\ \ \ \ | |||||
| * \ \ \ \ | Merge tag 'v3.3' into ssa | DEMANGE Delphine | 2020-06-16 | 1 | -47/+48 |
| |\ \ \ \ \ | |||||
| * | | | | | | ignoring lia cache file | DEMANGE Delphine | 2020-06-12 | 1 | -0/+2 |
* | | | | | | | Compiler.v in .gitignore | Sylvain Boulmé | 2020-06-21 | 1 | -0/+1 |
* | | | | | | | k1c -> kvx changes | David Monniaux | 2020-05-26 | 1 | -8/+8 |
* | | | | | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up... | David Monniaux | 2020-02-08 | 1 | -0/+2 |
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | | | |||||
| * | | | | | | Support Coq 8.11.0 (#212) | Xavier Leroy | 2020-02-05 | 1 | -0/+2 |
| | |_|_|_|/ | |/| | | | | |||||
* | | | | | | [regression to check!] Merge tag 'v3.6' into mppa-work | Cyril SIX | 2019-10-16 | 1 | -0/+3 |
|\| | | | | | |||||
| * | | | | | AArch64 port | Xavier Leroy | 2019-08-08 | 1 | -0/+3 |
* | | | | | | More .gitignore for a clean git status | Cyril SIX | 2019-06-19 | 1 | -0/+3 |
* | | | | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 1 | -1/+4 |
|\| | | | | | |||||
| * | | | | | Ignore more of Coq's cache files | Xavier Leroy | 2019-03-27 | 1 | -1/+4 |
| | |_|_|/ | |/| | | | |||||
* | | | | | Merge branch 'master' into mppa_postpass | Cyril SIX | 2019-03-13 | 1 | -0/+2 |
|\| | | | | |||||
| * | | | | Ignore and clean file .lia.cache | Xavier Leroy | 2019-02-12 | 1 | -1/+3 |
| | |_|/ | |/| | | |||||
* | | | | Merge tag 'v3.4' into mppa_k1c | Cyril SIX | 2018-11-21 | 1 | -0/+3 |
|\| | | | |||||
| * | | | Ignore generated conflict file. Bug 24455 | Bernhard Schommer | 2018-09-10 | 1 | -0/+1 |
| * | | | Ignore *.v files generated by tests | Bernhard Schommer | 2018-06-07 | 1 | -0/+2 |
| | |/ | |/| | |||||
* | | | Fixed MPPA runtimes not compiling | Cyril SIX | 2018-11-20 | 1 | -0/+5 |
* | | | MPPA - added all shifts | Cyril SIX | 2018-04-17 | 1 | -0/+2 |
* | | | MPPA - Running tests in parallel | Cyril SIX | 2018-04-10 | 1 | -0/+1 |
* | | | MPPA - fixed wrong extension in test files | Cyril SIX | 2018-04-10 | 1 | -0/+2 |
|/ / | |||||
* / | Anchor patterns to the top-level directory when appropriate | Xavier Leroy | 2018-03-13 | 1 | -47/+47 |
|/ | |||||
* | Revert "Update git ignore spec" | Bernhard Schommer | 2017-06-28 | 1 | -1/+0 |
* | Update git ignore spec | Markus Pister | 2017-06-28 | 1 | -0/+1 |
* | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -0/+3 |
* | Add a switch to generate a _CoqProject file. | Bernhard Schommer | 2017-02-23 | 1 | -1/+2 |
* | Removed CMinor import. Bug 20992 | Bernhard Schommer | 2017-02-14 | 1 | -4/+0 |
* | Filter macOS metadata files in .gitignore | Michael Schmidt | 2016-12-28 | 1 | -0/+2 |
* | Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->... | Xavier Leroy | 2016-10-27 | 1 | -6/+4 |
* | Support for 64-bit architectures: generic support | Xavier Leroy | 2016-10-01 | 1 | -1/+7 |
* | Added simplified reader and printer for gnu @files | Bernhard Schommer | 2016-07-20 | 1 | -0/+1 |
* | Port to Coq 8.5pl2 | Xavier Leroy | 2016-07-08 | 1 | -0/+1 |
* | Ignore .merlin files. Bug 17742 | Bernhard Schommer | 2015-12-07 | 1 | -0/+1 |
* | Ignore *.cmt(i) files and allow global COMPFLAGS. | Bernhard Schommer | 2015-12-07 | 1 | -0/+2 |
* | Merge remote branch 'upstream/master' into clean | François Pottier | 2015-10-23 | 1 | -2/+0 |
|\ | |||||
| * | We can ignore the generated automation. Bug 17392 | Bernhard Schommer | 2015-10-12 | 1 | -0/+1 |
| * | Removal of cchecklink, superseded by AbsInt's Valex tool. | Xavier Leroy | 2015-10-12 | 1 | -2/+0 |
* | | Install the new system for reporting syntax errors. | François Pottier | 2015-10-23 | 1 | -0/+7 |