Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-01-12 | ocamlPackages: stdenv.lib → lib | sternenseemann | 1 | -4/+4 | |
This change was produced by searching for remaining occurrences of stdenv.lib and replacing them manually. Reference #108938. | |||||
2019-09-08 | treewide: remove redundant quotes | volth | 1 | -1/+1 | |
2018-12-16 | ocamlPackages.elina: init at 1.1 | Vincent Laporte | 1 | -0/+33 | |
ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagon and Zones for static analysis. homepage: http://elina.ethz.ch/ |