Andrew Poelstra c11645b7e5 amount: use kani to check some arithmetic properties ... Kani can't really handle string processing, and appears to be unable to check integer multiplication (for now), but we do several checks for addition and subtraction, and conversion between signedness, that Kani can easily prove.		2022-11-27 19:01:26 +00:00
..
contrib	Fail CI if docs build throws warnings	2022-11-21 10:35:49 +11:00
embedded	Import bitcoin_hashes crate into hashes	2022-11-08 08:58:09 +11:00
examples	Run cargo fmt	2022-11-18 13:11:07 +11:00
fuzz	Merge rust-bitcoin/rust-bitcoin#1284: Import bitcoin hashes	2022-11-18 18:32:41 +00:00
src	amount: use kani to check some arithmetic properties	2022-11-27 19:01:26 +00:00
tests	Move psbt module to crate root module	2022-11-16 10:43:35 +11:00
CHANGELOG.md	Move CHANGELOG to bitcoin crate	2022-11-08 08:40:44 +11:00
Cargo.toml	Merge rust-bitcoin/rust-bitcoin#1344: Fix `no_std` when `bitcoinconsensus` is enabled	2022-11-05 13:42:50 +00:00