aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* [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
* 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
|\ \ \ \ \ \
| | | * | | | Fix issue #6387Gravatar Martin Vassor2017-12-11
| |_|/ / / / |/| | | | |
| * | | | | Restoring filtering of native files passed to `rm` during `make clean`.Gravatar Maxime Dénès2017-12-11
| | |_|_|/ | |/| | |
| | * | | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| |/ / / |/| | |
| | * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| |/ / |/| |
* | | Merge PR #6142: Single quotes break on WindowsGravatar Maxime Dénès2017-12-07
|\ \ \
* | | | coq_makefile: pass filenames to coqchkGravatar Ralf Jung2017-11-29
| |_|/ |/| |
* | | Merge PR #6236: Fix coq-makefile ocamldoc call when configured with -annotate.Gravatar Maxime Dénès2017-11-27
|\ \ \
| * | | Fix coq-makefile ocamldoc call when configured with -annotate.Gravatar Gaëtan Gilbert2017-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 16:33:01 +0000