aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/util.ml
Commit message (Expand)AuthorAge
* Util.Empty: implement using polymorphic record.Gravatar Gaëtan Gilbert2018-07-03
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Adding function to be typically used to pass values from an OCaml "when" clause.Gravatar Hugo Herbelin2017-09-12
* Moving "sym" on "eq" type to lib/util.ml.Gravatar Hugo Herbelin2017-05-19
* [safe-string] lib/miscelaneaGravatar Emilio Jesus Gallego Arias2017-03-14
* CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...Gravatar Matej Kosik2016-08-30
* Cleaning unpolished commit 0dfd0fb7d7 on basic functions about union type.Gravatar Hugo Herbelin2016-04-15
* Adding a few functions on type union.Gravatar Hugo Herbelin2016-03-13
* CLEANUP: Renaming "Util.compose" function to "%"Gravatar Matej Kosik2016-02-17
* Leveraging GADTs to provide a better Dyn API.Gravatar Pierre-Marie Pédrot2015-12-05
* Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Gravatar Guillaume Melquiond2015-07-28
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Util.un_op -> Option.defaultGravatar Pierre Boutillier2014-12-14
* Searchxxx now search also the hypothesis and support goal selector.Gravatar Pierre Courtieu2014-12-12
* Making map_union a standard function of the ML library.Gravatar Hugo Herbelin2014-11-19
* Adding a new Control file centralizing the control options of Coq.Gravatar Pierre-Marie Pédrot2014-06-07
* Removing dead code, thanks to new OCaml warnings and a bit of scripting.Gravatar Pierre-Marie Pédrot2014-04-23
* Adding a CSet module in Coq lib.Gravatar Pierre-Marie Pédrot2014-03-05
* Allocation friendly version of Util.iterate.Gravatar ppedrot2013-11-04
* Clib: fold_left_until added to CListGravatar gareuselesinge2013-10-10
* 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
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06
* Removing some lone List.assoc & List.mem in lib.Gravatar ppedrot2013-08-28
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Changing the type of Ltac values. Now they are toplevel genericGravatar ppedrot2013-06-12
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Moved Intset and Intmap to Int namespace.Gravatar ppedrot2012-12-14
* More monomorphizationsGravatar ppedrot2012-11-13
* Added a CString module.Gravatar ppedrot2012-11-13
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* Removed many calls to OCaml generic equality. This was done byGravatar ppedrot2012-10-29
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* More cleaning on Utils and CList. Some parts of the code beingGravatar ppedrot2012-09-17
* Some documentation and cleaning of CList and Util interfaces.Gravatar ppedrot2012-09-15
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* Added some tricky tail-rec versions of List functions to CListGravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Adding newline after warning and restoring distinction betweenGravatar herbelin2012-04-15
* Shortcuts and optimizations of comparisonsGravatar xclerc2012-04-05
* Unification: Added a heuristic to solve problems of the formGravatar herbelin2012-03-26
* Reorganizing the structure of evarutil.ml (only restructuration, noGravatar herbelin2012-03-20
* Yet another subtlety with bug 2732: when several grammar rules of aGravatar herbelin2012-03-18
* Second step of integration of Program:Gravatar msozeau2012-03-14
* Noise for nothingGravatar pboutill2012-03-02
* Added ability to take the type of applied metas into account whenGravatar herbelin2011-12-17