Skip to main content

Python AST equivalence comparison

Project description

ast-equiv

Python AST equivalence comparison.

Tiers

  • NONE -- no equivalence proof found
  • CANONICAL -- alpha-renaming and structural normalization match
  • SYMPY -- algebraic expression equivalence over the configured symbolic domain
  • PARTIAL_EVAL -- known concept values are substituted before canonical/SymPy comparison

Project details


Download files

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

Source Distribution

ast_equiv-0.1.0.tar.gz (49.0 kB view details)

Uploaded Source

Built Distribution

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

ast_equiv-0.1.0-py3-none-any.whl (17.1 kB view details)

Uploaded Python 3

File details

Details for the file ast_equiv-0.1.0.tar.gz.

File metadata

  • Download URL: ast_equiv-0.1.0.tar.gz
  • Upload date:
  • Size: 49.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.8.8

File hashes

Hashes for ast_equiv-0.1.0.tar.gz
Algorithm Hash digest
SHA256 af1797ca36ee66c219de24e75a6a00900480ecbf661bbb3a893e0ca408282abf
MD5 1c0ebe4930a944c32be89cd42bf3cd53
BLAKE2b-256 225f35b5adb31b117d7bfd828de162d8e687701c236c830b7dcb94ef783f5623

See more details on using hashes here.

File details

Details for the file ast_equiv-0.1.0-py3-none-any.whl.

File metadata

  • Download URL: ast_equiv-0.1.0-py3-none-any.whl
  • Upload date:
  • Size: 17.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.8.8

File hashes

Hashes for ast_equiv-0.1.0-py3-none-any.whl
Algorithm Hash digest
SHA256 997eecc8f09984f48c4beaa57aff2fb15f5df7efcf95c54f4fb8fe221575fb7f
MD5 f03096840ed76e5b91d6d45fe74dec6d
BLAKE2b-256 8888e7e98d80cbcca0fe2816cb39c843eb1c101d492ee614efe5c9c7b9fb93a9

See more details on using hashes here.

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