index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
control.ml
Age
Commit message (
Expand
)
Author
2020-10-22
Micro-optimization in Control.check_for_interrupt.
Pierre-Marie Pédrot
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-03-08
[exn] [nit] Remove not very useful re-raises.
Emilio Jesus Gallego Arias
2020-01-15
[ocaml] Remove Custom Backtrace module in favor of OCaml's
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-04-03
Protect some I/O routines from SIGALRM
Maxime Dénès
2019-01-22
[thread] protect threads against sigalrm
Enrico Tassi
2018-12-09
[doc] Enable Warning 50 [incorrect doc comment] and fix comments.
Emilio Jesus Gallego Arias
2018-05-07
[lib] Re-add `set_timeout` to help users workaround #7408
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-12-11
[flags] [stm] Reorganize flags.
Emilio Jesus Gallego Arias
2017-11-24
[lib] Generalize Control.timeout type.
Emilio Jesus Gallego Arias
2017-07-21
PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.
Maxime Dénès
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-01-12
Update headers.
Maxime Dénès
2014-12-16
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-08-05
STM: code restructured to reuse task queue for tactics
Enrico Tassi
2014-07-10
check_for_interrupt: better (but slower) in threading mode
Enrico Tassi
2014-06-21
Less ocaml warnings.
Hugo Herbelin
2014-06-08
Timeout implementation for Windows based on threads.
Pierre-Marie Pédrot
2014-06-07
Moving a Thread.yield in check_interrupt.
Pierre-Marie Pédrot
2014-06-07
Adding a new Control file centralizing the control options of Coq.
Pierre-Marie Pédrot
