coq-msets-extra

Extensions of MSets for Efficient Execution Coq's MSet library provides various, reasonably efficient finite set implementations. Nevertheless, FireEye was struggling with performance issues. This library contains extensions to Coq's MSet library that helped the FireEye Formal Methods team (formal-methods@fireeye.com), solve these performance issues. There are - Fold With Abort efficient folding with possibility to start late and stop early - Interval Sets a memory efficient representation of sets of numbers - Unsorted Lists with Duplicates

opam install coq-msets-extra.1.1.0
homepage
https://github.com/thtuerk/MSetsExtra
license
LGPL 2.1
bugs tracker
https://github.com/thtuerk/MSetsExtra/issues
dependencies
coq (>= 8.5 & < 8.6~) & coq-mathcomp-ssreflect >= 1.6
source
https://github.com/thtuerk/MSetsExtra/archive/1.1.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-msets-extra/coq-msets-extra.1.1.0