search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
258 stars 93 forks source link

[WIP] [Scenic+Contracts] Initial Component Implementation #196

Closed Eric-Vin closed 8 months ago

Eric-Vin commented 8 months ago

An initial implementation of contract components.