Code generator for ImandraX artifact

Project description

ImandraX Code Generator

Code generator for ImandraX artifact

Project details

Release history Release notifications | RSS feed

19.0.0

Mar 25, 2026

18.6.1

Mar 23, 2026

18.6.0

Mar 20, 2026

18.5.0

Mar 19, 2026

18.4.2

Mar 6, 2026

This version

18.4.1

Mar 6, 2026

18.4.0

Mar 6, 2026

18.3.0

Feb 24, 2026

18.2.0

Feb 2, 2026

18.1.4

Jan 19, 2026

18.1.3

Jan 19, 2026

18.1.2

Jan 14, 2026

18.1.1

Jan 14, 2026

18.1.0

Jan 12, 2026

18.0.0

Jan 9, 2026

Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

imandrax_codegen-18.4.1-py3-none-manylinux_2_17_x86_64.whl (5.8 MB view details)

Uploaded Mar 6, 2026 Python 3manylinux: glibc 2.17+ x86-64

imandrax_codegen-18.4.1-py3-none-manylinux_2_17_aarch64.whl (6.7 MB view details)

Uploaded Mar 6, 2026 Python 3manylinux: glibc 2.17+ ARM64

imandrax_codegen-18.4.1-py3-none-macosx_11_0_arm64.whl (3.9 MB view details)

Uploaded Mar 6, 2026 Python 3macOS 11.0+ ARM64

File details

Details for the file imandrax_codegen-18.4.1-py3-none-manylinux_2_17_x86_64.whl.

File metadata

Download URL: imandrax_codegen-18.4.1-py3-none-manylinux_2_17_x86_64.whl
Upload date: Mar 6, 2026
Size: 5.8 MB
Tags: Python 3, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_codegen-18.4.1-py3-none-manylinux_2_17_x86_64.whl
Algorithm	Hash digest
SHA256	`8fbd817b4aec687a383a9833cc207eebb0c983c842ae827f390bc94e1cbdbabb`
MD5	`922eab2384a2d64f23979dbf37fc273c`
BLAKE2b-256	`3ed58a590029d79e3c100c9ee39606ebd53a829cc7d76b411da3ce5d3db2abd5`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.4.1-py3-none-manylinux_2_17_x86_64.whl:

Publisher: release-codegen.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_codegen-18.4.1-py3-none-manylinux_2_17_x86_64.whl
- Subject digest: 8fbd817b4aec687a383a9833cc207eebb0c983c842ae827f390bc94e1cbdbabb
- Sigstore transparency entry: 1051634604
- Sigstore integration time: Mar 6, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@9b54ecc5b00c01fa1cd02e10798646c6feeb7149
- Branch / Tag: refs/heads/main
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-codegen.yml@9b54ecc5b00c01fa1cd02e10798646c6feeb7149
- Trigger Event: workflow_dispatch

File details

Details for the file imandrax_codegen-18.4.1-py3-none-manylinux_2_17_aarch64.whl.

File metadata

Download URL: imandrax_codegen-18.4.1-py3-none-manylinux_2_17_aarch64.whl
Upload date: Mar 6, 2026
Size: 6.7 MB
Tags: Python 3, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_codegen-18.4.1-py3-none-manylinux_2_17_aarch64.whl
Algorithm	Hash digest
SHA256	`9793ce0cf02e3af47ba7a28240decf61a3045edc8ffb7c5205ae9d359cacff39`
MD5	`a250ab4719bfc745677a76b1927faebc`
BLAKE2b-256	`34e7b40c397fab0a5ddadcbcfcbdf6d5a9efa31e2b16e0f5063bebf012861088`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.4.1-py3-none-manylinux_2_17_aarch64.whl:

Publisher: release-codegen.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_codegen-18.4.1-py3-none-manylinux_2_17_aarch64.whl
- Subject digest: 9793ce0cf02e3af47ba7a28240decf61a3045edc8ffb7c5205ae9d359cacff39
- Sigstore transparency entry: 1051634599
- Sigstore integration time: Mar 6, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@9b54ecc5b00c01fa1cd02e10798646c6feeb7149
- Branch / Tag: refs/heads/main
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-codegen.yml@9b54ecc5b00c01fa1cd02e10798646c6feeb7149
- Trigger Event: workflow_dispatch

File details

Details for the file imandrax_codegen-18.4.1-py3-none-macosx_11_0_arm64.whl.

File metadata

Download URL: imandrax_codegen-18.4.1-py3-none-macosx_11_0_arm64.whl
Upload date: Mar 6, 2026
Size: 3.9 MB
Tags: Python 3, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_codegen-18.4.1-py3-none-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`b51987241579504b7eed40a398eb79048805ac71cb2f36681a5143bec9363a1c`
MD5	`cda724b86b6823532dcda06b8e568419`
BLAKE2b-256	`0240c667b3f71df4e9549fdc29061d4cad7988af6fa2fe438425964678a41005`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.4.1-py3-none-macosx_11_0_arm64.whl:

Publisher: release-codegen.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_codegen-18.4.1-py3-none-macosx_11_0_arm64.whl
- Subject digest: b51987241579504b7eed40a398eb79048805ac71cb2f36681a5143bec9363a1c
- Sigstore transparency entry: 1051634598
- Sigstore integration time: Mar 6, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@9b54ecc5b00c01fa1cd02e10798646c6feeb7149
- Branch / Tag: refs/heads/main
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-codegen.yml@9b54ecc5b00c01fa1cd02e10798646c6feeb7149
- Trigger Event: workflow_dispatch

imandrax-codegen 18.4.1

Navigation

Verified details

Maintainers

Unverified details

Meta

Project description

ImandraX Code Generator

Project details

Verified details

Maintainers

Unverified details

Meta

Release history Release notifications | RSS feed

Download files

Source Distributions

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance