aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-par-compile.el
AgeCommit message (Expand)Author
2020-12-19fix keep-going when dependency exists but failedHendrik Tews
2020-12-19redesign of parallel background compilation without clonesHendrik Tews
2020-06-19coq-par-compile: use hash for ancestorsHendrik Tews
2020-04-15coq-par-compile: support -vos for coq >= 8.11 and default setting changeHendrik Tews
2019-08-21coq-par-compile: fix 8.10 -schedule-vio2vo incompatibilityHendrik Tews
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Remove uses of defpacustom in coq-compile-commonClément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-01-18split emergency-cleanup to handle interrupts properly (fixes #143)Hendrik Tews
2016-12-28properly reset the vio2vo delay timerHendrik Tews
2016-12-15die gracefully when visiting files in nonexisting directoriesHendrik Tews
2016-12-14fix generic interrupt procedure to interrupt parallel background compilationHendrik Tews
2016-12-14fix race in vio2vo compilation startHendrik Tews
2016-12-08option coq-compile-keep-going for parallel compilationHendrik Tews
2016-12-02remove ancestor hash in Coq parallel background compilationHendrik Tews
2016-11-30style change: use when for if coq-debug-auto-compilationHendrik Tews
2016-11-30use coq-- for internal compilation variablesHendrik Tews
2016-11-29delay vio2vo compilationHendrik Tews
2016-11-29don't unnecessarily delete .vio files for ensure-voHendrik Tews
2016-11-29support vio2vo background processingHendrik Tews
2016-11-22improve compilation when both .vio and .vo are up-to-dateHendrik Tews
2016-11-17fix parallel compilation for the unlikely case of identical time stampsHendrik Tews
2016-11-16first version for quick compilationHendrik Tews
2016-11-10avoid leaving partial files behind when compilation failsHendrik Tews
2016-11-02fix #123, also improve debugging outputHendrik Tews
2016-10-28fix typo in last commitHendrik Tews
2016-10-27give a more helpful error message if Coq version detection failsHendrik Tews
2016-10-27fix parallel compilation and improve assertions and debugging codeHendrik Tews
2016-06-23Fix a typoClément Pit--Claudel
2016-06-23par-compile: Don't try to compile plugins (cm.*)Clément Pit--Claudel
2016-03-08Should fix #49 and #55 (compilation of From .. Require).Pierre Courtieu
2016-01-14Automatically detect which version of Coq we're usingClément Pit--Claudel
2016-01-14Refactor the project file parsing codeClément Pit--Claudel
2015-12-14Small refactoring of coqxxx args detection.Pierre Courtieu
2015-11-17recompilation: Improve error checkingClément Pit--Claudel
2013-07-11fix two bugs in parallel compilation for CoqHendrik Tews
2013-03-05fix overwriting the empty compilation queueHendrik Tews
2013-02-20small improvementHendrik Tews
2013-02-18fix parallel Coq compilation: report error for circular dependenciesHendrik Tews
2013-02-18move message about killing coq compilation processesHendrik Tews
2013-01-03- fix asserting when parallel background compilation is in progressHendrik Tews
2012-11-14- fix problem in emergency process killingHendrik Tews
2012-11-14all-cpus option for coq-max-background-compilation-jobsHendrik Tews
2012-11-14fix coq-lock-ancestor for parallel compilationHendrik Tews
2012-11-14update documentationHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:32:15 +0000