bv

Bitvectors for Racket a-la Rosette

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, January 9th, 2024 1:05:06pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/pmatos/racket-bv.git9c4291e9eefb55db388fe7381e8852bac6a925f7
Last checkedMonday, March 4th, 2024 6:31:04pm (UTC)
Last editedThursday, January 9th, 2020 3:50:00pm (UTC)
Date addedThursday, January 9th, 2020 3:50:00pm (UTC)
Modules
  • bv/private/bv-utils.rkt
  • bv/main.rkt
  • bv/scribblings/bv.scrbl
  • bv/private/bv.rkt