aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/names.mli
Commit message (Expand)AuthorAge
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* A few typos.Gravatar Hugo Herbelin2017-06-04
* Creating a module Nameops.Name extending module Names.Name.Gravatar Hugo Herbelin2017-05-31
* Revised behavior on ill-formed identifiers.Gravatar Hugo Herbelin2017-05-20
* [safe_string] library/nameopsGravatar Emilio Jesus Gallego Arias2017-03-14
* COMMENT: Names.Cmap and Names.Cmap_envGravatar Matej Kosik2016-10-26
* Changing the definition of the "Lib.variable.info" type to enable us to do mo...Gravatar Matej Kosik2016-08-24
* Adding a bit of documentation in the mli.Gravatar Pierre-Marie Pédrot2016-06-09
* Checker: avoid using obsolete names from NamesGravatar Pierre Letouzey2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-30
|\
| * Adding eq/compare/hash for syntactic view atGravatar Hugo Herbelin2016-03-22
| * Hashconsing modules.Gravatar Pierre-Marie Pédrot2016-03-10
* | ADD: Names.Name.is_{anonymous,name}Gravatar Matej Kosik2016-02-18
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | COMMENTS: added to the "Names.inductive" and "Names.constructor" types.Gravatar Matej Kosik2016-01-11
* | Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\|
| * Protect code against changes in Map interface.Gravatar Maxime Dénès2016-01-06
* | COMMENTS: added to the "Names" module.Gravatar Matej Kosik2015-12-18
* | Hashconsing modules.Gravatar Pierre-Marie Pédrot2015-11-15
* | Better debug printers for module paths.Gravatar Maxime Dénès2015-09-20
| * Reverting 16 last commits, committed mistakenly using the wrong push command.Gravatar Hugo Herbelin2015-08-02
| * Adding eq/compare/hash for syntactic view atGravatar Hugo Herbelin2015-08-02
|/
* Display functions for primitive projections.Gravatar Maxime Dénès2015-07-02
* Fixing bug #4190.Gravatar Pierre-Marie Pédrot2015-04-16
* Correct restriction of vm_compute when handling universe polymorphicGravatar Matthieu Sozeau2015-01-15
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix (actually, properly implement :) hashconsing of projections,Gravatar Matthieu Sozeau2014-12-17
* Add a boolean to indicate the unfolding state of a primitive projection,Gravatar Matthieu Sozeau2014-09-27
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Missing equalities in Names-like structures.Gravatar Pierre-Marie Pédrot2014-03-20
* Using HMaps in global references.Gravatar Pierre-Marie Pédrot2014-03-08
* Also use HMaps in KNmap.Gravatar Pierre-Marie Pédrot2014-03-08
* Using Hashmaps by default in constant and inductive maps. This changes fold andGravatar Pierre-Marie Pédrot2014-03-07
* Inductive maps in Environ now use HMap.Gravatar Pierre-Marie Pédrot2014-03-06
* Lazily computed hash in KerName.t.Gravatar Pierre-Marie Pédrot2014-03-05
* Fixing generic hashes and replacing them with proper ones.Gravatar Pierre-Marie Pédrot2014-03-03
* Allocation-friendly mapping functions in Nametab.Gravatar Pierre-Marie Pédrot2014-02-03
* More monomorphic List.mem + List.assoc + ...Gravatar letouzey2013-10-24
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* cList: a few alternative to hashtbl-based uniquize, distinct, subsetGravatar letouzey2013-10-23
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Declarations.mli: reorganization of modular structuresGravatar letouzey2013-08-20
* Small fixes due to the arrival of OCaml 3.12.Gravatar ppedrot2013-08-03
* Replacing Id.check with Id.is_valid, as its sole use was underGravatar ppedrot2013-05-14
* Removing Gmap from Extraction pluginGravatar ppedrot2013-05-12
* Minor cleanup concerning Mod_subst.MBImapGravatar letouzey2013-04-02
* Restrict (try...with...) to avoid catching critical exn (part 1)Gravatar letouzey2013-03-12
* Names: shortcuts for building {kn, constant, mind} with empty sectionsGravatar letouzey2013-02-26