creusot-contracts

Crates.io	creusot-contracts
lib.rs	creusot-contracts
version
source	src
created_at	2024-05-20 15:26:55.422402+00
updated_at	2025-03-03 12:11:24.145628+00
description	Provides contracts and logic helpers for Creusot
homepage	https://github.com/creusot-rs/creusot
repository
max_upload_size
id	1245819
Cargo.toml error:	TOML parse error at line 18, column 1 \| 18 \| autolib = false \| ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include`
size	0

documentation