aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/stdarg.ml
Commit message (Expand)AuthorAge
* Merge PR#637: Short cleaning of the interpretation path for constr_with_bindingsGravatar Maxime Dénès2017-05-25
|\
* \ Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\ \
| | * Clarifying the interpretation path for the "constr_with_binding" argument.Gravatar Hugo Herbelin2017-05-22
| |/
| * Remove unused [open] statementsGravatar Gaetan Gilbert2017-04-27
* | [location] Use located in misctypes.Gravatar Emilio Jesus Gallego Arias2017-04-24
|/
* Merging Stdarg and Constrarg.Gravatar Pierre-Marie Pédrot2016-09-21
* More toplevel value representation sharing.Gravatar Pierre-Marie Pédrot2016-05-04
* Moving the Val module to Geninterp.Gravatar Pierre-Marie Pédrot2016-05-04
* Removing dead code in Genarg.Gravatar Pierre-Marie Pédrot2016-03-19
* Removing the special status of generic entries defined by Coq itself.Gravatar Pierre-Marie Pédrot2016-03-17
* Removing the registering of default values for generic arguments.Gravatar Pierre-Marie Pédrot2016-03-17
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21
* Moving wit_unit to Stdarg.Gravatar ppedrot2013-06-19
* Proof-of-concept: moved four easy-to-handle generic arguments toGravatar ppedrot2013-06-18