aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-par-compile.el
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Remove uses of defpacustom in coq-compile-commonGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* properly reset the vio2vo delay timerGravatar Hendrik Tews2016-12-28
* die gracefully when visiting files in nonexisting directoriesGravatar Hendrik Tews2016-12-15
* fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
* fix race in vio2vo compilation startGravatar Hendrik Tews2016-12-14
* option coq-compile-keep-going for parallel compilationGravatar Hendrik Tews2016-12-08
* remove ancestor hash in Coq parallel background compilationGravatar Hendrik Tews2016-12-02
* style change: use when for if coq-debug-auto-compilationGravatar Hendrik Tews2016-11-30
* use coq-- for internal compilation variablesGravatar Hendrik Tews2016-11-30
* delay vio2vo compilationGravatar Hendrik Tews2016-11-29
* don't unnecessarily delete .vio files for ensure-voGravatar Hendrik Tews2016-11-29
* support vio2vo background processingGravatar Hendrik Tews2016-11-29
* improve compilation when both .vio and .vo are up-to-dateGravatar Hendrik Tews2016-11-22
* fix parallel compilation for the unlikely case of identical time stampsGravatar Hendrik Tews2016-11-17
* first version for quick compilationGravatar Hendrik Tews2016-11-16
* avoid leaving partial files behind when compilation failsGravatar Hendrik Tews2016-11-10
* fix #123, also improve debugging outputGravatar Hendrik Tews2016-11-02
* fix typo in last commitGravatar Hendrik Tews2016-10-28
* give a more helpful error message if Coq version detection failsGravatar Hendrik Tews2016-10-27
* fix parallel compilation and improve assertions and debugging codeGravatar Hendrik Tews2016-10-27
* Fix a typoGravatar Clément Pit--Claudel2016-06-23
* par-compile: Don't try to compile plugins (cm.*)Gravatar Clément Pit--Claudel2016-06-23
* Should fix #49 and #55 (compilation of From .. Require).Gravatar Pierre Courtieu2016-03-08
* Automatically detect which version of Coq we're usingGravatar Clément Pit--Claudel2016-01-14
* Refactor the project file parsing codeGravatar Clément Pit--Claudel2016-01-14
* Small refactoring of coqxxx args detection.Gravatar Pierre Courtieu2015-12-14
* recompilation: Improve error checkingGravatar Clément Pit--Claudel2015-11-17
* fix two bugs in parallel compilation for CoqGravatar Hendrik Tews2013-07-11
* fix overwriting the empty compilation queueGravatar Hendrik Tews2013-03-05
* small improvementGravatar Hendrik Tews2013-02-20
* fix parallel Coq compilation: report error for circular dependenciesGravatar Hendrik Tews2013-02-18
* move message about killing coq compilation processesGravatar Hendrik Tews2013-02-18
* - fix asserting when parallel background compilation is in progressGravatar Hendrik Tews2013-01-03
* - fix problem in emergency process killingGravatar Hendrik Tews2012-11-14
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* fix coq-lock-ancestor for parallel compilationGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 08:44:33 +0000