Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | | A .gitignore entry. | François Pottier | 2015-10-23 | 1 | -0/+1 |
* | | Pass --no-stdlib and -v to menhir when compiling pre_parser.mly. | François Pottier | 2015-10-07 | 1 | -0/+1 |
|/ | |||||
* | Added Build, Tag, etc in version string and driver/Version.ml should be ignored | Bernhard Schommer | 2015-07-01 | 1 | -1/+1 |
* | Added a small ocamlfile that calls ocamlfind recursivly over a given directory. | Bernhard Schommer | 2015-02-24 | 1 | -0/+1 |
* | cparser/Parser.v is generated. | Xavier Leroy | 2014-12-30 | 1 | -0/+1 |
* | Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p... | Xavier Leroy | 2014-11-22 | 1 | -2/+9 |