| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Added a more efficient way to recover the domain of a map. |  ppedrot | 2013-08-25 |
| | | | | | | | | | | | The extended signature is defined in CMap, and should be compatible with the old one, except that module arguments have to be explicitely named. The implementation itself is quite unsafe, as it relies on the current implementation of OCaml maps, even though that should not be a problem (it has not changed in ages). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16735 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Moved Intset and Intmap to Int namespace. | ppedrot | 2012-12-14 |
| | | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16067 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Added an Int module with dummy utility functions. | ppedrot | 2012-11-08 |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15956 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |