index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
/
coq-par-compile.el
Commit message (
Expand
)
Author
Age
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
Remove uses of defpacustom in coq-compile-common
Clément Pit--Claudel
2017-03-08
*
Fix incorrect uses of defvar
Clément Pit--Claudel
2017-03-08
*
split emergency-cleanup to handle interrupts properly (fixes #143)
Hendrik Tews
2017-01-18
*
properly reset the vio2vo delay timer
Hendrik Tews
2016-12-28
*
die gracefully when visiting files in nonexisting directories
Hendrik Tews
2016-12-15
*
fix generic interrupt procedure to interrupt parallel background compilation
Hendrik Tews
2016-12-14
*
fix race in vio2vo compilation start
Hendrik Tews
2016-12-14
*
option coq-compile-keep-going for parallel compilation
Hendrik Tews
2016-12-08
*
remove ancestor hash in Coq parallel background compilation
Hendrik Tews
2016-12-02
*
style change: use when for if coq-debug-auto-compilation
Hendrik Tews
2016-11-30
*
use coq-- for internal compilation variables
Hendrik Tews
2016-11-30
*
delay vio2vo compilation
Hendrik Tews
2016-11-29
*
don't unnecessarily delete .vio files for ensure-vo
Hendrik Tews
2016-11-29
*
support vio2vo background processing
Hendrik Tews
2016-11-29
*
improve compilation when both .vio and .vo are up-to-date
Hendrik Tews
2016-11-22
*
fix parallel compilation for the unlikely case of identical time stamps
Hendrik Tews
2016-11-17
*
first version for quick compilation
Hendrik Tews
2016-11-16
*
avoid leaving partial files behind when compilation fails
Hendrik Tews
2016-11-10
*
fix #123, also improve debugging output
Hendrik Tews
2016-11-02
*
fix typo in last commit
Hendrik Tews
2016-10-28
*
give a more helpful error message if Coq version detection fails
Hendrik Tews
2016-10-27
*
fix parallel compilation and improve assertions and debugging code
Hendrik Tews
2016-10-27
*
Fix a typo
Clément Pit--Claudel
2016-06-23
*
par-compile: Don't try to compile plugins (cm.*)
Clément Pit--Claudel
2016-06-23
*
Should fix #49 and #55 (compilation of From .. Require).
Pierre Courtieu
2016-03-08
*
Automatically detect which version of Coq we're using
Clément Pit--Claudel
2016-01-14
*
Refactor the project file parsing code
Clément Pit--Claudel
2016-01-14
*
Small refactoring of coqxxx args detection.
Pierre Courtieu
2015-12-14
*
recompilation: Improve error checking
Clément Pit--Claudel
2015-11-17
*
fix two bugs in parallel compilation for Coq
Hendrik Tews
2013-07-11
*
fix overwriting the empty compilation queue
Hendrik Tews
2013-03-05
*
small improvement
Hendrik Tews
2013-02-20
*
fix parallel Coq compilation: report error for circular dependencies
Hendrik Tews
2013-02-18
*
move message about killing coq compilation processes
Hendrik Tews
2013-02-18
*
- fix asserting when parallel background compilation is in progress
Hendrik Tews
2013-01-03
*
- fix problem in emergency process killing
Hendrik Tews
2012-11-14
*
all-cpus option for coq-max-background-compilation-jobs
Hendrik Tews
2012-11-14
*
fix coq-lock-ancestor for parallel compilation
Hendrik Tews
2012-11-14
*
update documentation
Hendrik Tews
2012-11-14
*
- first version of parallel asynchronous compilation for coq in
Hendrik Tews
2012-11-13