aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* Ignore .coq-native directories.Guillaume Melquiond2022-04-251-0/+1
* Add support to clightgen for generating Csyntax AST as .v filesXavier Leroy2021-09-221-1/+2
* Install "compcert.config" file along the Coq developmentXavier Leroy2020-04-291-0/+1
* Updated .gitignoreBernhard Schommer2020-04-271-0/+1
* Support Coq 8.11.0 (#212)Xavier Leroy2020-02-051-0/+2
* AArch64 portXavier Leroy2019-08-081-0/+3
* Ignore more of Coq's cache filesXavier Leroy2019-03-271-1/+4
* Ignore and clean file .lia.cacheXavier Leroy2019-02-121-1/+3
* Ignore generated conflict file. Bug 24455Bernhard Schommer2018-09-101-0/+1
* Ignore *.v files generated by testsBernhard Schommer2018-06-071-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-05-03 20:54:34 +0000