aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* 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-06-02 20:09:11 +0000