aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* coqdoc Index.find_string: remove unused argument.Gravatar Gaëtan Gilbert2018-07-03
* Coq_makefile.generate_conf_coq_config: remove unused argument.Gravatar Gaëtan Gilbert2018-07-03
* Fix #7836: tools/inferior-coq.el uses next-line instead of forward-line.Gravatar Perry E. Metzger2018-06-16
* Merge PR #7241: [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Gravatar Théo Zimmermann2018-06-13
|\
* | Explicitly require python2 in python scripts in tools/Gravatar Armaël Guéneau2018-05-31
* | [ide] Remove special option `-ideslave`Gravatar Emilio Jesus Gallego Arias2018-05-21
* | [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* | [coqdep] Remove unnecessary dependency on Pp and CError.Gravatar Emilio Jesus Gallego Arias2018-05-08
* | [coqdep] Minor cleanups.Gravatar Emilio Jesus Gallego Arias2018-05-08
* | Fix #7413: coqdep warning on repeated filesGravatar Gaëtan Gilbert2018-05-04
* | Fix PHONY typo in coq_makefileGravatar Gaëtan Gilbert2018-04-27
| * [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Gravatar Enrico Tassi2018-04-13
|/
* Remove deprecated commands Arguments Scope and Implicit ArgumentsGravatar Jasper Hugunin2018-03-30
* docsGravatar Ralf Jung2018-03-21
* coq_makefile: provide variables to override for adding extra flagsGravatar Ralf Jung2018-03-20
* coq_makefile: FLAG make variables should not contain LIBSGravatar Ralf Jung2018-03-20
* Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Gravatar Maxime Dénès2018-03-09
|\
* \ Merge PR #6582: Mangle auto-generated namesGravatar Maxime Dénès2018-03-08
|\ \
| | * Closes #6830: coqdep reads options and files from _CoqProject.Gravatar Gaëtan Gilbert2018-03-06
| | * Add source (project file / command line) to project fields.Gravatar Gaëtan Gilbert2018-03-01
| | * Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGravatar Gaëtan Gilbert2018-02-28
* | | Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
| |/ |/|
* | Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\ \
| * | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| | * Implement name mangling optionGravatar Jasper Hugunin2018-02-17
| |/ |/|
* | Merge PR #1073: new quick2vo target: like vio2vo, but smarterGravatar Maxime Dénès2018-02-15
|\ \
| * | new quick2vo target: like vio2vo, but smarterGravatar Ralf Jung2018-02-15
| |/
* | Merge PR #6741: coq_makefile: Support "" as the prefix in _CoqProjectGravatar Maxime Dénès2018-02-15
|\ \
| * | coq_makefile: Support "" as the prefix in _CoqProjectGravatar Joachim Breitner2018-02-15
* | | Merge PR #6704: Fix coq_makefile not passing -R options to coqdoc, breaking l...Gravatar Maxime Dénès2018-02-13
|\ \ \ | |/ / |/| |
* | | [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
| |/ |/|
| * Possible fix for issue #6697Gravatar Yannick Forster2018-02-07
|/
* Merge PR #6466: Replace md5sum/md5 calls by an OCaml programGravatar Maxime Dénès2018-01-16
|\
| * Avoid shell backticks and improve md5sum.ml error messagesGravatar Jacques-Pascal Deplaix2018-01-15
* | Added newline at the end of usage of coqdep.Gravatar Bernhard Schommer2018-01-11
* | Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\ \
| * | Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Jason Gross2017-12-27
* | | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
|/ /
* | Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...Gravatar Maxime Dénès2017-12-27
|\ \
| | * Check the whole string given by md5sum.mlGravatar Jacques-Pascal Deplaix2017-12-24
| | * Replace md5sum/md5 calls by an OCaml programGravatar Jacques-Pascal Deplaix2017-12-23
| |/ |/|
| * Registering a printing handler in coq_makefile.Gravatar Hugo Herbelin2017-12-23
| * Forbidding -o and -f in input file of coq_makefile.Gravatar Hugo Herbelin2017-12-23
| * Removing failure of coq_makefile on no arguments.Gravatar Hugo Herbelin2017-12-23
* | Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\ \
| * | Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
* | | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \
* \ \ \ Merge PR #6388: Fix issue #6387Gravatar Maxime Dénès2017-12-14
|\ \ \ \
* \ \ \ \ Merge PR #1108: [stm] Reorganize flagsGravatar Maxime Dénès2017-12-13
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...Gravatar Maxime Dénès2017-12-13
|\ \ \ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 04:16:48 +0000