coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing ml-doc.	Pierre-Marie Pédrot	2014-05-01
*	Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to	Hugo Herbelin	2014-04-28
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	Future: memory optimization when forcing a chained pure computation	Enrico Tassi	2014-04-25
*	Adding a debug printer for futures.	Pierre-Marie Pédrot	2014-04-25
*	Removing dead code, thanks to new OCaml warnings and a bit of scripting.	Pierre-Marie Pédrot	2014-04-23
*	Have the feedback bus as a backend for dumping globs.	Carst Tankink	2014-04-10
*	Removing handshake from Spawn. It used marshalling, which is bad for	Pierre-Marie Pédrot	2014-04-09
*	Change handling of loadpath and mlpath.	Guillaume Melquiond	2014-04-06
*	Slightly more efficient Array.smartmap & related.	Pierre-Marie Pédrot	2014-03-20
*	Stateid: export a Set module	Enrico Tassi	2014-03-13
*	STM: move out a couple of submodules	Enrico Tassi	2014-03-13
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	Uses slashes for install and config directories	Virgile Prevosto	2014-03-06
*	Canary testing absence of generic equality for KerNames	Pierre-Marie Pédrot	2014-03-05
*	Adding a canary library. This canary is imperfect. It allows serialization	Pierre-Marie Pédrot	2014-03-05
*	Fixing compilation on OCaml 4.01.	Pierre-Marie Pédrot	2014-03-05
*	Fixing previous commit. Forgot to include some code.	Pierre-Marie Pédrot	2014-03-05
*	Added a new module HMap. It works (almost) like Map, except that it expects	Pierre-Marie Pédrot	2014-03-05
*	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey	2014-03-05
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Adding a CSet module in Coq lib.	Pierre-Marie Pédrot	2014-03-05
*	Replacing arguments of Trie by a cancellable monoid.	Pierre-Marie Pédrot	2014-03-03
*	Fixing generic hashes and replacing them with proper ones.	Pierre-Marie Pédrot	2014-03-03
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
*	Fixing pervasive comparisons	Pierre-Marie Pédrot	2014-03-01
*	Fix output test-suite 'simpl tactic' -> 'reduction tactics'	Pierre Boutillier	2014-02-28
*	amending last commit	Enrico Tassi	2014-02-27
*	better warning	Enrico Tassi	2014-02-27
*	Tacinterp: more refactoring.	Arnaud Spiwack	2014-02-27
*	Tacinterp: refactoring using Monad.	Arnaud Spiwack	2014-02-27
*	Remove unsafe code (Obj.magic) in Tacinterp.	Arnaud Spiwack	2014-02-27
*	remoteCounter: backup/restore	Enrico Tassi	2014-02-26
*	New compilation mode -vi2vo	Enrico Tassi	2014-02-26
*	Future: make ~greedy:true the default + new sink commodity API	Enrico Tassi	2014-02-26
*	Future: each computation has a uuid	Enrico Tassi	2014-02-26
*	IStream: more efficient implementation of concat_map.	Arnaud Spiwack	2014-02-24
*	IStream: a concat_map primitive.	Arnaud Spiwack	2014-02-24
*	IStream: change type of thunk, spare allocations.	Arnaud Spiwack	2014-02-24
*	IStream: remove a useless Obj.magic.	Arnaud Spiwack	2014-02-24
*	A view type for IStream.	Arnaud Spiwack	2014-02-24
*	STM: fix valid_id coming from Qed errors	Enrico Tassi	2014-02-10
*	Tentative fixup for the previous commit. It seems I have broken something	Pierre-Marie Pédrot	2014-02-10
*	Small optimizations in Closure:	Pierre-Marie Pédrot	2014-02-09
*	Tracking memory misallocation by trying to improve sharing.	Pierre-Marie Pédrot	2014-02-03
*	Allocation friendly map-handling functions in Dag.	Pierre-Marie Pédrot	2014-02-03
*	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey	2014-01-30
*	CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleaned	Pierre Letouzey	2014-01-30
*	CString: avoid redefining is_sub	Pierre Letouzey	2014-01-30
*	Remove useless Xml_utils	Pierre Letouzey	2014-01-30