feature: use BV class as python value for Cryptol bit sequences#116

Merged

pnwamk merged 15 commits intomasterfrom cryptol-bits-as-BV

Nov 13, 2020

+971-8

Commits on Nov 11, 2020

feature: use BV class as python value for Cryptol bit sequences
Andrew Kent
committed
fix: correct subtraction bug and add test
Andrew Kent
committed
chore: fix typos, delete misc commented out code
Andrew Kent
committed
chore: use Sphinx-style docstrings
Andrew Kent
committed
test: add cryptol python unit tests to CI
Andrew Kent
committed
chore: rename module bv to bitvector
Andrew Kent
committed
chore: rename test for cryptol.bitvector
Andrew Kent
committed

Commits on Nov 12, 2020

feature: allow BV creation from size/value or a BitVector
Andrew Kent
committed
feature: add widen method to BV
Andrew Kent
committed
install python deps for CI
Andrew Kent
committed
chore: fix typo in widen docstrings
Andrew Kent
committed
feature: with_bits method for replacing segments of BVs
Andrew Kent
committed
chore: tweak all python tests to use cabal, fix mypy test failures
Andrew Kent
committed
feature: support BV keyword args for construction
Andrew Kent
committed

Commits on Nov 13, 2020

try tweaking the mypy version in requirements.txt...
Andrew Kent
committed