Functional Recurrence-based Affine Indexing Language

Express multiple hardware implementations of the same affine indexing generator with recurrence relations. Then prove that the implementations equivalence! A mix of scans (from functional programming) and SMT make this all possible.

Metadata

Release files for frail 0.0.3

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for frail 0.0.3
File	Size	Uploaded
frail-0.0.3.tar.gz	9.3 kB	Jan 12, 2021	Details

Built distribution (wheel)

Table of built distributions (wheels) for frail 0.0.3
File	Interpreter	ABI	Platform	Reset
frail-0.0.3-py3-none-any.whl 12.1 kB Jan 12, 2021	Python 3	none	any	Details

Total release size: 21.4 kB

Release files / frail-0.0.3.tar.gz

Download URL	frail-0.0.3.tar.gz
Size	9.3 kB
Tags	Source
SHA-256 checksum How to use checksums	`e425bf2f537dcaa9496d2a00ba553bf1ae9db539ba25490e14061521819113f5`
BLAKE2b-256 checksum How to use checksums	`65ea293240af1271360fbbb28c2bb46256bca1acb2c0a6e411571ede0d7fd50d`
Upload date	Jan 12, 2021
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.2.0 pkginfo/1.6.1 requests/2.24.0 setuptools/50.3.0.post20201103 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.8.5`

Release files / frail-0.0.3-py3-none-any.whl

Download URL	frail-0.0.3-py3-none-any.whl
Size	12.1 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`5a99c67bfb3ee6f3e5aee8eacf4bd495e7182cfffd11369f60f5ee5660a2f34e`
BLAKE2b-256 checksum How to use checksums	`93f90e6885ecf115934211499ee6f3636e894c7421f3c36507093cede7cab837`
Upload date	Jan 12, 2021
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.2.0 pkginfo/1.6.1 requests/2.24.0 setuptools/50.3.0.post20201103 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.8.5`