bv

Bitvectors for Racket a-la Rosette

Build status: ok passing tests missing license metadata

Documentation README Download
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 checkedWednesday, January 22nd, 2025 1:14:58am (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