Code generator for ImandraX artifact

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for imandra from gravatar.com imandra

Unverified details

These details have not been verified by PyPI
Meta
  • Author: hongyu
  • Requires: Python >=3.12
Report project as malware

Project description

ImandraX Code Generator

Code generator for ImandraX artifact

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for imandra from gravatar.com imandra

Unverified details

These details have not been verified by PyPI
Meta
  • Author: hongyu
  • Requires: Python >=3.12

Release history Release notifications | RSS feed

19.0.0

18.6.1

18.6.0

18.5.0

This version

18.4.2

18.4.1

18.4.0

18.3.0

18.2.0

18.1.4

18.1.3

18.1.2

18.1.1

18.1.0

18.0.0

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.

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

Uploaded Python 3manylinux: glibc 2.17+ x86-64

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

Uploaded Python 3manylinux: glibc 2.17+ ARM64

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

Uploaded Python 3macOS 11.0+ ARM64

File details

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

File metadata

File hashes

Hashes for imandrax_codegen-18.4.2-py3-none-manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 8ece8d055a3942e1b6e166c9f1f807859be3158f5dda166851f3a60b77ccb710
MD5 d1c87c6c9140b4e2e0d8d408928b14cd
BLAKE2b-256 7927640709ef7a439857620a5064e0a37ba296164f11999c6cd6665ad016f701

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.4.2-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.

File details

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

File metadata

File hashes

Hashes for imandrax_codegen-18.4.2-py3-none-manylinux_2_17_aarch64.whl
Algorithm Hash digest
SHA256 3d76fa02a0f718b1404538a9719307472ac1616fa3ff00389b00e9eb3d4c8fe8
MD5 e64d5d519a0a0285b58ebdc457b0e059
BLAKE2b-256 75793aac5d51578faf08f8196738d16ebc0c2d81c1cd7bd4f0c35ae562b8c8e5

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.4.2-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.

File details

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

File metadata

File hashes

Hashes for imandrax_codegen-18.4.2-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 f0d5d9c0b9132993958947f1b489500124336807544297fb0dcdfa1a0f8d51cf
MD5 c97580bb09cd5fa04bcaeeba8664d859
BLAKE2b-256 c0b113f4a5350182e9c12665a445d90166d01cd7f6897ebfdd69b96928d78014

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.4.2-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.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page