Lib.rs

›
#run-time #dafny #gerated

dafny-runtime

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

Owned by ajewellamz.

2 releases

0.1.1 Dec 4, 2024
0.1.0 Dec 4, 2024

#478 in #run-time

Download history 301/week @ 2024-11-29 790/week @ 2024-12-06 726/week @ 2024-12-13

1,817 downloads per month
Used in 2 crates

ISC AND (Apache-2.0 OR ISC)

325KB
8K SLoC

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

Dependencies

~1MB
~19K SLoC