coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	As per https://github.com/coq/coq/pull/716#issuecomment-305140839 Partially using ```bash git grep --name-only 'anomaly\s$~label:"[^"]"\s$\?$Pp.$\?($\(Pp.$\?str\)\?\s".[^\.!]")' \| xargs sed s'/$anomaly\s\(~label:"[^"]"\s$\?$Pp.$\?($\(Pp.$\?str\)\?\s".\s[^\.! ]\)\s")/\1.")/g' -i ``` and ```bash git grep --name-only ' !"' \| xargs sed s'/ !"/!"/g' -i ``` The rest were manually edited by looking at the results of ```bash git grep anomaly \| grep '\.ml' \| grep -v 'anomaly\s$~label:"[^"]"\s$\?$Pp\.$\?($\(Pp.$\?str\)\?\s".*$\.\\|!$")' \| grep 'anomaly$$\\|[^_]$' \| less ```
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵	Pierre Letouzey	2016-07-03
\| \| \| \| \| \|	module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	TQueue: Allow some tasks to be saved when clearing a TQueue	Alec Faithfull	2015-10-09
\|
*	TQueue: Expose the length of TQueues	Alec Faithfull	2015-10-09
\|
*	*Queue: API to wake up all threads	Enrico Tassi	2015-02-16
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	TQueue: a way to unblock threads begin destroyed waiting on pop	Enrico Tassi	2014-12-17
\|
*	TQueue: let reader be picky when popping an item	Enrico Tassi	2014-11-27
\| \| \| \|	E.g. let a worker pick up only jobs he is able to deal with.
*	STM: primitives to snapshot a .vi while in interactive mode	Enrico Tassi	2014-10-13
\|
*	TQueue: new primitive to take a snapshot of the queue	Enrico Tassi	2014-10-13
\|
*	STM: new "par:" goal selector, like "all:" but in parallel	Enrico Tassi	2014-08-05
\| \| \| \| \|	par: distributes the goals among a number of workers given by -async-proofs-tac-j (defaults to 2).
*	STM: use a real priority queue	Enrico Tassi	2014-08-04
\|
*	more APIs in TQueue and CThread	Enrico Tassi	2014-07-10
\| \| \| \|	These are now sufficient to implement PIDE
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
	files around. A bunch of files from lib/ that were only used in the STM were moved, as well as part of toplevel/ related to the STM.