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

#572 in Asynchronous

Download history 301/week @ 2024-11-29 790/week @ 2024-12-06 1225/week @ 2024-12-13 764/week @ 2024-12-20 827/week @ 2024-12-27 966/week @ 2025-01-03 1396/week @ 2025-01-10 1400/week @ 2025-01-17 1836/week @ 2025-01-24 1222/week @ 2025-01-31 1562/week @ 2025-02-07 1235/week @ 2025-02-14 1219/week @ 2025-02-21 684/week @ 2025-02-28

5,008 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