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

This version

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.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.4.0-py3-none-manylinux_2_17_aarch64.whl (6.7 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ARM64

imandrax_codegen-18.4.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.4.0-py3-none-manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for imandrax_codegen-18.4.0-py3-none-manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 71874e00624bde2aad9c3f6a686db1d9865068ae78b88a2d3d6a213cc69d32dd
MD5 c0e236ae5f42f607ef4eaf085ab52c8f
BLAKE2b-256 7fa8be95fcb4c47aa985a7e0d03b7bab470c2cc36362f4b47eae8ddf4838ad28

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for imandrax_codegen-18.4.0-py3-none-manylinux_2_17_aarch64.whl
Algorithm Hash digest
SHA256 37fa94be0a14b69baf90dcadcc359a151effac08b4bbcd0997d4f330930d138d
MD5 c252d9e2573c23fe82b5576aba359080
BLAKE2b-256 8f91787b958f289b9752a4c6433d81063b68b4d13d96eb7b8df401e507f1aedf

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for imandrax_codegen-18.4.0-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 88248d3a81c5f886a78e0af9cfa628300825c239208cd91a9381ee6dcc592f54
MD5 ae66c857c1f52f80606032e984dcf895
BLAKE2b-256 b98754308bd31cf3f419ddc7acea16364d674c5eb9a84de3d6a911bef82bc52f

See more details on using hashes here.

Provenance

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