Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics

Project description

Install

Debian

apt install libgmp-dev libmpfr-dev libmpc-dev
pip install hwtypes

OSX

brew install gmp mpfr libmpc
pip install hwtypes

Project details

Release history Release notifications | RSS feed

1.4.7

Oct 14, 2022

1.4.6

Sep 28, 2022

1.4.5

Sep 27, 2022

1.4.4

Oct 5, 2020

1.4.3

Aug 3, 2020

1.4.2

Jun 23, 2020

1.4.1

Jun 19, 2020

1.4.0

Jun 10, 2020

1.3.6

Mar 20, 2020

1.3.5

Jan 17, 2020

1.3.4

Jan 11, 2020

1.3.3

Jan 10, 2020

1.3.2

Jan 8, 2020

1.3.1

Dec 20, 2019

1.3.0

Sep 24, 2019

1.2.0

Sep 24, 2019

1.1.6

Aug 1, 2019

1.1.5

Jul 25, 2019

1.1.4

Jul 18, 2019

1.1.3

Jul 18, 2019

1.1.2

Jul 17, 2019

1.1.1

Jul 11, 2019

1.0.13

Jun 17, 2019

1.0.12

Jun 13, 2019

1.0.11

May 23, 2019

This version

1.0.10

May 21, 2019

1.0.9

Apr 30, 2019

1.0.7

Apr 26, 2019

1.0.6

Apr 26, 2019

1.0.5

Apr 24, 2019

1.0.4

Apr 22, 2019

1.0.3

Mar 13, 2019

1.0.2

Mar 8, 2019

1.0.1

Feb 28, 2019

0.0.1

Jan 26, 2019

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

hwtypes-1.0.10.tar.gz (15.9 kB view details)

Uploaded May 21, 2019 Source

File details

Details for the file hwtypes-1.0.10.tar.gz.

File metadata

Download URL: hwtypes-1.0.10.tar.gz
Upload date: May 21, 2019
Size: 15.9 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.1 CPython/3.6.3

File hashes

Hashes for hwtypes-1.0.10.tar.gz
Algorithm	Hash digest
SHA256	`478d3b6b27007f36fe746cc2a2a3db5fcf4879a4dd67222ce54f66b629d25b56`
MD5	`f7c696294c1d3c3e821af01b96ac3d7b`
BLAKE2b-256	`77aefb8c3ff1d11166dc547a1fe05911b3b43ff5378cc01434febbc0965d628f`