coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-08	Remove occurrences of Parray.reroot.	Guillaume Melquiond
2020-09-22	Use the closure tag for accumulators.	Guillaume Melquiond
2020-09-22	Modify bytecode representation of closures to please OCaml's GC (fix #12636).	Guillaume Melquiond
2020-07-22	Remove redundant data from VM case switch.	Pierre-Marie Pédrot
2020-07-06	Primitive persistent arrays	Maxime Dénès
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-01	Add primitive floats to 'vm_compute'	Guillaume Bertholon
2019-11-01	Add primitive float computation in Coq kernel	Guillaume Bertholon
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-02-04	Primitive integers	Maxime Dénès
2018-09-17	OCaml now exports the min and max non-constant tags, let's use it	Maxime Dénès
2018-09-17	[VM] Inject structured constants in values without reallocating them.	Maxime Dénès
2018-09-17	[VM] Move structured_constant to Vmvalues	Maxime Dénès
2018-07-24	Projections use index representation	Gaëtan Gilbert
2018-06-10	[VM] Remove projection names from structured constants.	Maxime Dénès
2018-03-26	Moving the VM global atom table to a ML reference.	Pierre-Marie Pédrot
2018-03-26	Moving the VM global data to a ML reference.	Pierre-Marie Pédrot
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-04	Merge PR #935: Handling evars in the VM	Maxime Dénès
2018-03-03	Handling evars in the VM.	Pierre-Marie Pédrot
2018-03-02	[VM] Unify Const_sorts and Const_type, and remove Vsort.	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-01-26	Safer VM interfaces	Maxime Dénès