Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge remote-tracking branch 'origin/v8.5' into trunk | 2016-01-06 | |
|\ | |||
| * | Protect code against changes in Map interface. | 2016-01-06 | |
* | | Leveraging GADTs to provide a better Dyn API. | 2015-12-05 | |
* | | Specializing the Dyn module to each usecase. | 2015-12-04 | |
|/ | |||
* | Fixing compilation on OCaml 4.01. | 2014-03-05 | |
* | Clib: fold_left_until added to CList | 2013-10-10 | |
* | Moving Searchstack to CStack, and normalizing names a bit. | 2013-09-06 |