summaryrefslogtreecommitdiff
path: root/utils/identifiable.ml
Commit message (Expand)AuthorAgeFilesLines
* More warnings when compiling the compiler.alainfrisch2016-03-151-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* Import latest Flambda changesMark Shinwell2016-02-091-0/+3
* Use stdlib Map.unionMark Shinwell2016-01-121-1/+1
* Use stdlib Map.unionMark Shinwell2016-01-121-17/+0
* Copyright headersMark Shinwell2016-01-121-4/+7
* Fix headerMark Shinwell2015-12-181-1/+1
* Fix MakefilesMark Shinwell2015-12-181-1/+20
* Add filesMark Shinwell2015-12-181-0/+215