aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqc.ml
Commit message (Expand)AuthorAge
* Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* Merge PR#645: [stm] Tweak debug options.Gravatar Maxime Dénès2017-05-25
|\
* | Document --print-version in UsageGravatar Enrico Tassi2017-05-23
* | Usage.print_config moved to EnvarsGravatar Enrico Tassi2017-05-23
| * [stm] Tweak debug options.Gravatar Emilio Jesus Gallego Arias2017-05-18
|/
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* Stop parsing -compat-notations options, which are no longer supported (bug #3...Gravatar Guillaume Melquiond2016-11-21
* coqc: recognize -profile-ltac-cutoffGravatar Enrico Tassi2016-09-30
* Merge remote-tracking branch 'origin/pr/166' into trunkGravatar Enrico Tassi2016-06-14
|\
* | -profileltac -> -profile-ltac, as per @herbelinGravatar Jason Gross2016-06-05
* | LtacProf for Coq trunkGravatar Jason Gross2016-06-05
| * coqc: support -o option to specify output file nameGravatar Enrico Tassi2016-05-19
|/
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove deprecated command-line options such as "-as".Gravatar Guillaume Melquiond2016-01-06
|/
* Updating the documentation and the toolchain w.r.t. the change in -compile.Gravatar Pierre-Marie Pédrot2015-09-25
* Adding the -color option to coqc.Gravatar Pierre Courtieu2015-05-18
* Adding an option -w to control Coq warning output.Gravatar Pierre-Marie Pédrot2015-05-14
* Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* coqc accepts -top option. Fixes bug #4043.Gravatar Pierre-Marie Pédrot2015-02-14
* Allow -type-in-type to be an option also for coqc.Gravatar Daniel R. Grayson2015-01-27
* Update headers.Gravatar Maxime Dénès2015-01-12
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* Fixing bug #3865.Gravatar Pierre-Marie Pédrot2014-12-15
* Revert "coqc: execvp is now available even on win32"Gravatar Enrico Tassi2014-09-17
* fixup fakeide test-suiteGravatar Pierre Boutillier2014-07-24
* coqc is -Q awareGravatar Pierre Boutillier2014-06-30
* Checking that a library name is valid before compilation.Gravatar Pierre-Marie Pédrot2014-06-16
* Remove documentation for the unsupported options -byte and -opt.Gravatar Guillaume Melquiond2014-06-13
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* vi2vo: new flag -schedule-vi2voGravatar Enrico Tassi2014-02-26
* -schedule-vi-checking ported to spawnGravatar Enrico Tassi2014-01-26
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* coqtop: -check-vi-tasks and -schedule-vi-checkingGravatar Enrico Tassi2014-01-05
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Adding -bt to coqc.Gravatar Pierre-Marie Pédrot2013-12-22
* coqc: execvp is now available even on win32Gravatar Pierre Letouzey2013-12-20
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18