aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/constr.ml
Commit message (Expand)AuthorAge
...
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Removing generic hashes in kernel.Gravatar Pierre-Marie Pédrot2014-03-03
* Fixing generic Hashtbl.hash in Constr.Gravatar Pierre-Marie Pédrot2014-03-02
* Using allocation-free version of Array higher-order function in criticalGravatar ppedrot2013-11-04
* More sharing in Constr.map_with_binders.Gravatar ppedrot2013-10-27
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* Various optimizations in Constr, such as term sharing and allocationGravatar ppedrot2013-10-22
* Removing a bunch of generic equalities.Gravatar ppedrot2013-09-27
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* At least made the evar type opaque! There are still 5 remaining unsafeGravatar ppedrot2013-09-18
* More complete hashcons : lists (dirpath), arrays (constr)Gravatar letouzey2013-08-22
* Splitting Term into five unrelated interfaces:Gravatar ppedrot2013-04-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 09:09:45 +0000