coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| * \| \|	Merge remote-tracking branch 'github/pr/366' into v8.6	Maxime Dénès	2016-12-04
\| \| \|\ \ \
\| \| \| * \| \|	Document changes	Matthieu Sozeau	2016-12-02
\| \| * \| \| \|	Merge remote-tracking branch 'github/pr/377' into v8.6	Maxime Dénès	2016-12-02
\| \| \|\ \ \ \
\| \| * \| \| \| \|	Fix #5242 - Dubious unsilenceable warning on invalid identifier	Maxime Dénès	2016-12-02
\| * \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\| \|\\| \| \| \| \|
\| \| \| * \| \| \|	Univs: fix bug #5180	Matthieu Sozeau	2016-11-30
\| \| \|/ / / /
\| \| \| * \| \|	Fix UGraph.check_eq!	Matthieu Sozeau	2016-11-30
\| \| \| * \| \|	Slightly more efficient [Univ.super] implem	Matthieu Sozeau	2016-11-30
\| \| \|/ / /
\| \| * \| \|	Fix incorrect long multiplication in the VM.	Guillaume Melquiond	2016-11-24
* \| \| \| \|	Introducing a new EConstr.t type to perform the nf_evar operation on demand.	Pierre-Marie Pédrot	2016-11-08
\|/ / / /
* \| \| \|	Moving unused code out of the kernel into Termops.	Pierre-Marie Pédrot	2016-10-31
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\| \| \|
\| * \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-26
\| \|\\| \|
* \| \| \|	COMMENT: Declarations.constant_def	Matej Kosik	2016-10-26
* \| \| \|	COMMENT: Names.Cmap and Names.Cmap_env	Matej Kosik	2016-10-26
* \| \| \|	COMMENT: Constr.kind_of_term	Matej Kosik	2016-10-26
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \| \|
\| \| * \|	Fix #5127 Memory corruption with the VM	Maxime Dénès	2016-10-24
\| * \| \|	More comments in VM.	Maxime Dénès	2016-10-19
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-17
\|\\| \| \|
\| * \| \|	Remove dead code in Environ.	Pierre-Marie Pédrot	2016-10-12
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\| \| \|
\| * \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
\| \|\\| \|
\| \| * \|	Fix for bug #4863, update the Proofview's env with	Matthieu Sozeau	2016-10-11
\| * \| \|	Removing a slow access to a named environment.	Pierre-Marie Pédrot	2016-10-06
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'github/pr/263' into v8.6	Maxime Dénès	2016-10-03
\| \|\ \ \
* \| \| \| \|	UPDATE: reference to a deprecated variable "Filename.temp_dir_name" was repla...	Matej Kosik	2016-09-29
* \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\\| \| \| \|
\| * \| \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-09-09
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| \|
\| \| \| * \|	Tracking careless uses of slow name lookup.	Pierre-Marie Pédrot	2016-09-09
\| \| * \| \|	Restore native compiler optimizations after they were broken by 9e2ee58.	Maxime Dénès	2016-09-09
\| \| \| * \|	Removing the now useless field env_named_val from named_context_val.	Pierre-Marie Pédrot	2016-09-09
\| \| \| * \|	More efficient implementation of map_named_val.	Pierre-Marie Pédrot	2016-09-09
\| \| \| * \|	Fast access environment in CClosure.	Pierre-Marie Pédrot	2016-09-09
\| \| \| * \|	Tentative fast-access named env	Pierre-Marie Pédrot	2016-09-09
\| \| \| * \|	Packing the named_context_val in a proper record and marking it private.	Pierre-Marie Pédrot	2016-09-09
\| \| \|/ / \| \|/\| \|
* \| \| \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \ \
* \ \ \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-07
\|\ \ \ \ \ \| \| \|/ / / \| \|/\| \| \|
\| * \| \| \|	Remove useless debug code.	Guillaume Melquiond	2016-09-02
* \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-02
\|\\| \| \| \|
\| * \| \| \|	More efficient data structure to check if a native file is loaded.	Maxime Dénès	2016-09-01
* \| \| \| \|	CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...	Matej Kosik	2016-08-30
* \| \| \| \|	CLEANUP: adding "Context.Compacted.Declaration.of_named_decl" function, which...	Matej Kosik	2016-08-26
* \| \| \| \|	CLEANUP: rename "Context.Named.{to,of}_rel" functions to "Context.Named.{to,o...	Matej Kosik	2016-08-26
* \| \| \| \|	CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"	Matej Kosik	2016-08-26
* \| \| \| \|	Merge remote-tracking branch 'v8.6' into trunk	Matej Kosik	2016-08-25
\|\\| \| \| \|
* \| \| \| \|	CLEANUP: changing the definition of the "Context.NamedList.Declaration" type	Matej Kosik	2016-08-25
* \| \| \| \|	CLEANUP: Type alias "Context.section_context" was removed	Matej Kosik	2016-08-25
* \| \| \| \|	CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to "Contex...	Matej Kosik	2016-08-25