Lib.rs

› Asynchronous
#run-time #dafny #gerated

dafny-runtime

dafny-runtime is the runtime support library for Rust code gerated from Dafny

Owned by robin-aws, ajewellamz.

3 unstable releases

0.2.0 Jan 31, 2025
0.1.1 Dec 4, 2024
0.1.0 Dec 4, 2024

#603 in Asynchronous

Download history 440/week @ 2024-12-01 849/week @ 2024-12-08 1347/week @ 2024-12-15 509/week @ 2024-12-22 1023/week @ 2024-12-29 1045/week @ 2025-01-05 1199/week @ 2025-01-12 1431/week @ 2025-01-19 1921/week @ 2025-01-26 1345/week @ 2025-02-02

5,936 downloads per month
Used in 2 crates

ISC AND (Apache-2.0 OR ISC)

365KB
8K SLoC

This is the runtime support library for Rust code generated from Dafny.

Dependencies

~1MB
~19K SLoC