aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-par-compile.el
AgeCommit message (Expand)Author
2021-02-13improve/fix code documentation for vok processingHendrik Tews
2021-02-13add second stage -vok for Coq >= 8.11Hendrik Tews
2021-02-13generalize vio2vo symbol names for vok compilationHendrik Tews
2021-01-10add Coq compile test for a delayed requireHendrik Tews
2020-12-26make-temp-file without text argument for emacs 25Hendrik Tews
2020-12-19ensure vo compilation for tests, increase parallelism, more config outputHendrik Tews
2020-12-19fix 2 background compilation bugs for a dependency in state readyHendrik Tews
2020-12-19add test for recompilation with changesHendrik Tews
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:00:50 +0000