| Age | Commit message (Expand) | Author |
|---|
| 2014-05-06 | - Fix bug preventing apply from unfolding Fixpoints. | Matthieu Sozeau |
| 2014-05-06 | Cleanup in constr, correct classification of polymorphic defs. | Matthieu Sozeau |
| 2014-05-06 | - Fix index-list to show computational relations for rewriting files. | Matthieu Sozeau |
| 2014-05-06 | Various fixes of universe polymorphism and projections when they're set. | Matthieu Sozeau |
| 2014-05-06 | Improve universe/level comparison using hashes. | Matthieu Sozeau |
| 2014-05-06 | In kernel/univ.ml, better allocation behavior, better eq_univs function | Matthieu Sozeau |
| 2014-05-06 | Compat with ocaml 3.12 | Matthieu Sozeau |
| 2014-05-06 | - Fix comparison of universes. | Matthieu Sozeau |
| 2014-05-06 | Better hashconsing of levels and universes, working with modules. | Matthieu Sozeau |
| 2014-05-06 | Be defensive in univ/eq_instances, raise an anomaly on incompatible instances. | Matthieu Sozeau |
| 2014-05-06 | Reinstate hashconsing of instances, faster globally. | Matthieu Sozeau |
| 2014-05-06 | Restore reasonable performance by not allocating during universe checks, | Matthieu Sozeau |
| 2014-05-06 | - Rename eq to equal in Univ, document new modules, set interfaces. | Matthieu Sozeau |
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2014-03-05 | Correct handling of hashconsing of constraint sets. The previous implementation | Pierre-Marie Pédrot |
| 2014-03-03 | Fixing Pervasives.equality in extraction. | Pierre-Marie Pédrot |
| 2014-02-26 | remoteCounter: backup/restore | Enrico Tassi |
| 2014-02-26 | univ: removing dead code | Enrico Tassi |
| 2013-10-29 | Optimizing universes: tail-rec, allocation friendly [compare_leq]. | ppedrot |
| 2013-10-24 | More monomorphic List.mem + List.assoc + ... | letouzey |
| 2013-10-24 | Specializing hash functions for widely used types. | ppedrot |
| 2013-10-23 | cList: set-as-list functions are now with an explicit comparison | letouzey |
| 2013-10-04 | Fix comment for new string syntax (OCaml trunk). | xclerc |
| 2013-09-27 | Removing a bunch of generic equalities. | ppedrot |
| 2013-08-20 | Universe counters on slaves are in sync with master | gareuselesinge |
| 2013-03-12 | A version of Univ.check_eq with no anomaly for Evd.set_eq_sort | letouzey |
| 2013-03-05 | More monomorphization. | ppedrot |
| 2013-02-19 | avoid (Int.equal (cmp ...) 0) when a boolean equality exists | letouzey |
| 2013-02-19 | Dir_path --> DirPath | letouzey |
| 2013-02-18 | Minor code cleanups, especially take advantage of Dir_path.is_empty | letouzey |
| 2013-01-28 | Uniformization of the "anomaly" command. | ppedrot |
| 2012-12-14 | Modulification of dir_path | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-12-10 | * Implementing the "union by rank" optimisation in univ.ml | pboutill |
| 2012-11-26 | Small cleaning of interface in Univ | ppedrot |
| 2012-11-22 | Monomorphization (kernel) | ppedrot |
| 2012-11-13 | More monomorphizations | ppedrot |
| 2012-11-08 | Monomorphized a lot of equalities over OCaml integers, thanks to | ppedrot |
| 2012-10-29 | Removed many calls to OCaml generic equality. This was done by | ppedrot |
| 2012-10-17 | univ inconsistency error message gives evidence of a cycle | barras |
| 2012-10-02 | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey |
| 2012-09-26 | Cleaning, renaming obscure functions and documenting in Hashcons. | ppedrot |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-05-30 | More uniformisation in Pp.warn functions. | ppedrot |
| 2012-04-05 | Shortcuts and optimizations of comparisons | xclerc |
| 2012-03-22 | Univ: enforce_leq instead of enforce_geq for more uniformity | letouzey |
| 2012-03-22 | Univ: switch the order of int and dir_path in UniverseLevel.Level | letouzey |
| 2012-03-12 | Univ: avoid recording dummy universe constraints u<=u or u=u | letouzey |
| 2012-03-02 | Noise for nothing | pboutill |
