coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-04	Properly support nested timeouts	Lasse Blaauwbroek
2020-12-06	Add support for high resolution timeout functions.	Lasse Blaauwbroek
2020-11-22	Fix timeout by ensuring signal exceptions are not erroneously caught	Lasse Blaauwbroek
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