aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-271-1/+2
|\
| * Add support to clightgen for generating Csyntax AST as .v filesXavier Leroy2021-09-221-1/+2
* | fix extraction of non-aarch64 targetsSylvain Boulmé2020-12-171-0/+1
* | upgrade kvx backend to coq.8.12.2Sylvain Boulmé2020-12-161-0/+1
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-0/+2
|\|
| * Install "compcert.config" file along the Coq developmentXavier Leroy2020-04-291-0/+1
| * Updated .gitignoreBernhard Schommer2020-04-271-0/+1
* | Compiler.v in .gitignoreSylvain Boulmé2020-06-211-0/+1
* | k1c -> kvx changesDavid Monniaux2020-05-261-8/+8
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-081-0/+2
|\|
| * Support Coq 8.11.0 (#212)Xavier Leroy2020-02-051-0/+2
* | [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-161-0/+3
|\|
| * AArch64 portXavier Leroy2019-08-081-0/+3
* | More .gitignore for a clean git statusCyril SIX2019-06-191-0/+3
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-1/+4
|\|
| * Ignore more of Coq's cache filesXavier Leroy2019-03-271-1/+4
* | Merge branch 'master' into mppa_postpassCyril SIX2019-03-131-0/+2
|\|
| * Ignore and clean file .lia.cacheXavier Leroy2019-02-121-1/+3
* | Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-211-0/+3
|\|
| * Ignore generated conflict file. Bug 24455Bernhard Schommer2018-09-101-0/+1
| * Ignore *.v files generated by testsBernhard Schommer2018-06-071-0/+2
* | Fixed MPPA runtimes not compilingCyril SIX2018-11-201-0/+5
* | MPPA - added all shiftsCyril SIX2018-04-171-0/+2
* | MPPA - Running tests in parallelCyril SIX2018-04-101-0/+1
* | MPPA - fixed wrong extension in test filesCyril SIX2018-04-101-0/+2
|/
* Anchor patterns to the top-level directory when appropriateXavier Leroy2018-03-131-47/+47
* Revert "Update git ignore spec"Bernhard Schommer2017-06-281-1/+0
* Update git ignore specMarkus Pister2017-06-281-0/+1
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+3
* Add a switch to generate a _CoqProject file.Bernhard Schommer2017-02-231-1/+2
* Removed CMinor import. Bug 20992Bernhard Schommer2017-02-141-4/+0
* Filter macOS metadata files in .gitignoreMichael Schmidt2016-12-281-0/+2
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-6/+4
* Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-1/+7
* Added simplified reader and printer for gnu @filesBernhard Schommer2016-07-201-0/+1
* Port to Coq 8.5pl2Xavier Leroy2016-07-081-0/+1
* Ignore .merlin files. Bug 17742Bernhard Schommer2015-12-071-0/+1
* Ignore *.cmt(i) files and allow global COMPFLAGS.Bernhard Schommer2015-12-071-0/+2
* Merge remote branch 'upstream/master' into cleanFrançois Pottier2015-10-231-2/+0
|\
| * We can ignore the generated automation. Bug 17392Bernhard Schommer2015-10-121-0/+1
| * Removal of cchecklink, superseded by AbsInt's Valex tool.Xavier Leroy2015-10-121-2/+0
* | Install the new system for reporting syntax errors.François Pottier2015-10-231-0/+7
* | A .gitignore entry.François Pottier2015-10-231-0/+1
* | Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.François Pottier2015-10-071-0/+1
|/
* Added Build, Tag, etc in version string and driver/Version.ml should be ignoredBernhard Schommer2015-07-011-1/+1
* Added a small ocamlfile that calls ocamlfind recursivly over a given directory.Bernhard Schommer2015-02-241-0/+1
* cparser/Parser.v is generated.Xavier Leroy2014-12-301-0/+1
* Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...Xavier Leroy2014-11-221-2/+9
* Change the way the tools like the linker, assembler, etc. are specified by in...Bernhard Schommer2014-09-301-1/+1
* Add .gitignore files.Xavier Leroy2014-09-211-0/+40
generated by cgit (git 2.34.1) at 2024-04-27 07:50:36 +0000