aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Correct some spelling errorsmasterGravatar Benjamin Barenblat2018-07-22
* Remove fourier pluginGravatar Maxime Dénès2018-07-17
* Merge PR #8002: make-both-single-timing-files: fix --sort-by=diffGravatar Jason Gross2018-07-11
|\
* \ Merge PR #8015: Output UTF-8 explicitly in timing toolsGravatar Jason Gross2018-07-08
|\ \
* | | Remove Emacs modes.Gravatar Théo Zimmermann2018-07-08
| | * make diff sort by difference, not absolute differenceGravatar Ralf Jung2018-07-07
| | * make-both-single-timing-files: fix --sort-by=diffGravatar Ralf Jung2018-07-07
| |/ |/|
| * Output UTF-8 explicitly in timing toolsGravatar Jasper Hugunin2018-07-07
* | Merge PR #7921: Archive the `gallina` toolGravatar Maxime Dénès2018-07-07
|\ \ | |/ |/|
* | Merge PR #7990: Convert timing tool to python3Gravatar Jason Gross2018-07-05
|\ \
* \ \ Merge PR #7746: Many small cleanups removing unused arguments and functionsGravatar Pierre-Marie Pédrot2018-07-05
|\ \ \
| | * | Convert timing tools to run with both python2 and python3Gravatar Jasper Hugunin2018-07-04
* | | | Fix timing tools on NixOS.Gravatar Théo Zimmermann2018-07-03
| |/ / |/| |
| * | 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
|/ /
| * Archive the `gallina` toolGravatar Vincent Laporte2018-06-25
|/
* 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
|\ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 10:44:48 +0000