coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-02	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-01-20	Update copyright headers.	Maxime Dénès
2015-10-09	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-02-16	*Queue: API to wake up all threads	Enrico Tassi
2015-01-12	Update headers.	Maxime Dénès
2014-12-17	TQueue: a way to unblock threads begin destroyed waiting on pop	Enrico Tassi
2014-11-27	TQueue: let reader be picky when popping an item	Enrico Tassi
2014-10-13	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-08-05	STM: new "par:" goal selector, like "all:" but in parallel	Enrico Tassi
2014-08-04	STM: use a real priority queue	Enrico Tassi
2014-07-10	more APIs in TQueue and CThread	Enrico Tassi
2014-04-25	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot