search

BerkeleyLearnVerify / Scenic

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

Prepare 3.0.0rc1 #271

Closed dfremont closed 1 month ago

dfremont commented 1 month ago

Description

Prepare the 3.0.0rc1 release.