Tadashi

Tadashi is a Python library for program optimization and transformation using the ISL and PET libraries. It provides an interface to work with SCoPs (Static Control Parts) and enables program transformations like tiling, interchange, fusion, and more.

Installation

Install via pip:

pip install tadashi

Or for development:

pip install -e .

Development Setup

For development, use the provided setup:

# Build in-place for development
python setup.py build_ext -i

# Run all tests
python -m unittest discover tests

# Or run a specific test
python -m unittest tests.test_apps.TestSimple.test_end2end_polly_flang

Usage

Using PET Backend (Default)

from tadashi import TrEnum
from tadashi.translators import Pet

# Create a translator for C code using PET backend
translator = Pet()
translator.set_source('./examples/inputs/hello.c', [])

# Get the schedule tree
schedule_tree = translator.scops[0].schedule_tree

# Perform transformations
for node in schedule_tree:
    if node.node_type == 'BAND':
        # Apply transformations
        node.transform(TrEnum.TILE_1D, 4)

Using Polly Backend

from tadashi import TrEnum
from tadashi.translators import Polly

# Create a translator for C code using Polly backend
translator = Polly('clang')
translator.set_source('./examples/inputs/depnodep.c', [])

# Get the schedule tree
schedule_tree = translator.scops[0].schedule_tree

# Perform transformations
for node in schedule_tree:
    if node.node_type == 'BAND':
        # Apply transformations
        node.transform(TrEnum.INTERCHANGE, 0, 1)

Available Transformations

TrEnum.TILE_1D - 1D loop tiling
TrEnum.TILE_2D - 2D loop tiling
TrEnum.TILE_3D - 3D loop tiling
TrEnum.INTERCHANGE - Loop interchange
TrEnum.FULL_FUSE - Full loop fusion
TrEnum.FUSE - Loop fusion
TrEnum.SPLIT - Loop splitting
TrEnum.SCALE - Loop scaling
TrEnum.SET_PARALLEL - Set parallel execution
TrEnum.SET_LOOP_OPT - Set loop optimization options

Components

ccScop - C++ class representing SCoP
Scop - Python wrapper for SCoP operations
Node - Schedule tree node representation
Translators - Input format parsers:
- Pet - Uses PET library
- Polly - Uses LLVM Polly

Dependencies

ISL (Integer Set Library)
PET (Program Transformation)
LLVM/Polly (for Polly backend)
Cython
Python 3.8+

License

MIT License

Release files for tadashi 0.5.1

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

Source distribution (sdist)

Source distribution for tadashi 0.5.1
File	Size	Uploaded
tadashi-0.5.1.tar.gz	802.9 kB	Apr 28, 2026	Details

Built distributions (wheels)

Table of built distributions (wheels) for tadashi 0.5.1
File	Interpreter	ABI	Platform	Reset
tadashi-0.5.1-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.7 MB Apr 28, 2026	CPython 3.14	CPython 3.14 free-threading	Linux glibc 2.28+ x86-64, Linux glibc 2.27+ x86-64	Details
tadashi-0.5.1-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.7 MB Apr 28, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.28+ x86-64, Linux glibc 2.27+ x86-64	Details
tadashi-0.5.1-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.7 MB Apr 28, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
tadashi-0.5.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.7 MB Apr 28, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.28+ x86-64, Linux glibc 2.27+ x86-64	Details
tadashi-0.5.1-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.7 MB Apr 28, 2026	CPython 3.11	CPython 3.11	Linux glibc 2.28+ x86-64, Linux glibc 2.27+ x86-64	Details
tadashi-0.5.1-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.6 MB Apr 28, 2026	CPython 3.10	CPython 3.10	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
tadashi-0.5.1-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.6 MB Apr 28, 2026	CPython 3.9	CPython 3.9	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
tadashi-0.5.1-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 78.7 MB Apr 28, 2026	CPython 3.8	CPython 3.8	Linux glibc 2.28+ x86-64, Linux glibc 2.27+ x86-64	Details

Total release size: 630.2 MB

Release files / tadashi-0.5.1.tar.gz

Download URL	tadashi-0.5.1.tar.gz
Size	802.9 kB
Tags	Source
SHA-256 checksum How to use checksums	`03a87f5a84d03cb98b6c53289e38e788ea424b318fd6a5704d3dbba1d5c1a99f`
BLAKE2b-256 checksum How to use checksums	`8124854a1f87f9c55dacae133dfa41cf72588376b6bca640b260cc53ff02a4a7`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1.tar.gz
SHA-256 checksum: 03a87f5a84d03cb98b6c53289e38e788ea424b318fd6a5704d3dbba1d5c1a99f Verifying attestations

Release files / tadashi-0.5.1-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.7 MB
Tags	CPython 3.14 CPython 3.14 free-threading Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`0dc26154495fcab556f4efa77ee3b155f080558d4478e7e9df51910aa46ac0a4`
BLAKE2b-256 checksum How to use checksums	`da31e39581586a9e6f57cd5eb3b47fac9488733a314dc8adedcf04ff9850a575`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 0dc26154495fcab556f4efa77ee3b155f080558d4478e7e9df51910aa46ac0a4 Verifying attestations

Release files / tadashi-0.5.1-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.7 MB
Tags	CPython 3.14 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`5a6c9b0dc0a9b4456a73253f553db67d007217fb1c8e698f824f5618e5b01bb1`
BLAKE2b-256 checksum How to use checksums	`27eb0ed09f3f5a998555d9534f00dcb29957818a9636402595c863b1fda8c11c`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 5a6c9b0dc0a9b4456a73253f553db67d007217fb1c8e698f824f5618e5b01bb1 Verifying attestations

Release files / tadashi-0.5.1-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.7 MB
Tags	CPython 3.13 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`6389b56422ac5e7622c6f5591aa68b7aea260189e6c11178903e515016685fc9`
BLAKE2b-256 checksum How to use checksums	`32f4fa2d50a212a7b72475507384a014f2ffc061af00eeac4a283d590f8aef80`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 6389b56422ac5e7622c6f5591aa68b7aea260189e6c11178903e515016685fc9 Verifying attestations

Release files / tadashi-0.5.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.7 MB
Tags	CPython 3.12 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`63e4d67f1872790d344b517b04646ded6a273276d4cc8bb1fadfb759dc8c7e26`
BLAKE2b-256 checksum How to use checksums	`21e8e2225999468e7fd4bde99cac203522b33e8199dd06564b88519dc8602dd6`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 63e4d67f1872790d344b517b04646ded6a273276d4cc8bb1fadfb759dc8c7e26 Verifying attestations

Release files / tadashi-0.5.1-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.7 MB
Tags	CPython 3.11 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`13b597be36c9968cac10df112b7fec8ab1e9d6e7f52da5d98a1d73c5eab08ddf`
BLAKE2b-256 checksum How to use checksums	`7e2492689bedbbde60714144579245f5b0a3d9f8c64f5f1bb9a6196c840ffbce`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 13b597be36c9968cac10df112b7fec8ab1e9d6e7f52da5d98a1d73c5eab08ddf Verifying attestations

Release files / tadashi-0.5.1-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.6 MB
Tags	CPython 3.10 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`164697e25c2d7f50003f07f9b5bdac167910623c933529ea419e678c18b37f34`
BLAKE2b-256 checksum How to use checksums	`248a070c948b719e96e63039b2e8226cb5ff2ea1ae3fbacb59446e5084390ff0`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 164697e25c2d7f50003f07f9b5bdac167910623c933529ea419e678c18b37f34 Verifying attestations

Release files / tadashi-0.5.1-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.6 MB
Tags	CPython 3.9 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`e29b7465f660787cf13ae3971fad871c437bcbfdb4fb6baada7abbe4dd34b500`
BLAKE2b-256 checksum How to use checksums	`14e354a87d3d6bb55127a788514bf0be32abff9d887370e69e72273a99eab370`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: e29b7465f660787cf13ae3971fad871c437bcbfdb4fb6baada7abbe4dd34b500 Verifying attestations

Release files / tadashi-0.5.1-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	tadashi-0.5.1-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	78.7 MB
Tags	CPython 3.8 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`7120c3a1a77170537a9597b0cd76641af4ea0c65b7a539858436bcaed5f75dc1`
BLAKE2b-256 checksum How to use checksums	`866071ef4eaea2bda297be3a9ecdd837fd8203eaa74b6b655fc04cb76a7f14f6`
Upload date	Apr 28, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/6.1.0 CPython/3.13.12`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/vatai/tadashi
Publishing commit: github.com/vatai/tadashi/tree/ef51cd6ad1e534b9662182dc1f2aecabed3b465c

Workflow

Publishing configuration: github.com/vatai/tadashi/blob/ef51cd6ad1e534b9662182dc1f2aecabed3b465c/.github/workflows/build-and-upload.yaml
Publishing logs: github.com/vatai/tadashi/actions/runs/25042107511/attempts/1

Artifact

Subject: tadashi-0.5.1-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 7120c3a1a77170537a9597b0cd76641af4ea0c65b7a539858436bcaed5f75dc1 Verifying attestations