Lib.rs

› Web programming
#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

#920 in Web programming

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 1361/week @ 2025-02-02 1343/week @ 2025-02-09 1263/week @ 2025-02-16 1138/week @ 2025-02-23 760/week @ 2025-03-02 673/week @ 2025-03-09 640/week @ 2025-03-16

3,215 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