bv

Bitvectors for Racket a-la Rosette

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, January 9th, 2020 3:50:00pm (UTC)
Ring2
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/pmatos/racket-bv.git198e6ef0fd33d8503c49272c691a1fda0067982f
Last checkedSaturday, March 28th, 2020 3:05:36pm (UTC)
Last editedThursday, January 9th, 2020 3:50:00pm (UTC)
Date addedThursday, January 9th, 2020 3:50:00pm (UTC)
Modules