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

18.4.2

18.4.1

18.4.0

This version

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.3.0-py3-none-manylinux_2_17_x86_64.whl (5.8 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

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

Uploaded Python 3manylinux: glibc 2.17+ ARM64

imandrax_codegen-18.3.0-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.3.0-py3-none-manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for imandrax_codegen-18.3.0-py3-none-manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 858977d94b126497f7b0b886c3c8b914f3853998efef131aa965f446baf35b82
MD5 8c9339121e50b39b3905b836c2ca1aa1
BLAKE2b-256 2e3bf3efa815685840ca01408407f31e08bf59508bcbfb19e9b65ffe414b253e

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.3.0-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.3.0-py3-none-manylinux_2_17_aarch64.whl.

File metadata

File hashes

Hashes for imandrax_codegen-18.3.0-py3-none-manylinux_2_17_aarch64.whl
Algorithm Hash digest
SHA256 8cfa38301eeda3c8e116ce72d88bdb9fd2d73cbc781beab705a5a0d58647b57f
MD5 91741221e1eb3951d557cb303e5805fe
BLAKE2b-256 45becabf89398088bc4b8f069a00fde370cc79bc7b38ce28c7e4ae466af993e1

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_codegen-18.3.0-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.3.0-py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for imandrax_codegen-18.3.0-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 0164c9a511fd6c4e4f169a22c3d56e0c51bb6fc55202072ac2e6985bb59b4794
MD5 5c4e8c922f0bf2bfe09008b12bf75450
BLAKE2b-256 adec3a8b571dc8de3467871a42e36caafd14272e501bc8a71e52a08fe1a48594

See more details on using hashes here.

Provenance

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