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

new 0.1.1 Dec 4, 2024
0.1.0 Dec 4, 2024

#471 in #run-time

Download history 478/week @ 2024-12-01

478 downloads per month
Used in aws-db-esdk

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