Overview
The specware Python package provides utilities to specify software and generate source code for interfaces and validation tests from the specification. The package uses the specification item framework provided by specitems.
The package is maintained by the specthings project.
Contributing
Please refer to our Contributing Guidelines.
2 maintainers
Release files for specware 1.3.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| specware-1.3.3.tar.gz | 102.5 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| specware-1.3.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 222.1 kB
Release files / specware-1.3.3.tar.gz
| Download URL | specware-1.3.3.tar.gz |
|---|---|
| Size | 102.5 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c346ad4befec1af2409ddbbfb8a3e81cc035bec0a6bc4e0aa6c7913d7fe5306f
|
|
BLAKE2b-256 checksum How to use checksums |
add7325d365bf8f3e500f8b23bd2a46ad4a9147a9bbf7ad92f1efec2e046faee
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
uv/0.10.12 {"installer":{"name":"uv","version":"0.10.12","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
|
Release files / specware-1.3.3-py3-none-any.whl
| Download URL | specware-1.3.3-py3-none-any.whl |
|---|---|
| Size | 119.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
47866b9f58ec3bdd2fc358c5d6e710262e152ed3c37180af531a0f28312d82da
|
|
BLAKE2b-256 checksum How to use checksums |
7260226d033d003aaa0d313d62c682de53104d3087fbee39277a1cb0688f9b21
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
uv/0.10.12 {"installer":{"name":"uv","version":"0.10.12","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
|
