Skip to content

A compiler and scene generator for the Scenic scenario description language.

License

Notifications You must be signed in to change notification settings

t27/Scenic

This branch is 1 commit ahead of, 573 commits behind BerkeleyLearnVerify/Scenic:main.

Folders and files

NameName
Last commit message
Last commit date
Mar 31, 2021
Dec 21, 2020
Apr 2, 2021
Mar 31, 2021
Mar 31, 2021
Sep 11, 2020
Feb 12, 2019
Oct 22, 2020
Mar 31, 2021
Feb 22, 2021

Repository files navigation

Scenic

Documentation Status License

A compiler and scenario generator for the Scenic scenario description language. Please see the documentation for installation instructions, as well as tutorials and other information about the Scenic language, its implementation, and its interfaces to various simulators.

For a description of the language and some of its applications, see our preprint, which extends our PLDI 2019 paper (note: the syntax of Scenic has changed slightly since that paper, and many features such as support for dynamic scenarios have been added; these are described in the preprint). Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.

If you have any problems using Scenic, please submit an issue to our GitHub repository or contact Daniel at [email protected].

The repository is organized as follows:

  • the src/scenic directory contains the package proper;
  • the examples directory has many examples of Scenic programs;
  • the docs directory contains the sources for the documentation;
  • the tests directory contains tests for the Scenic compiler.

About

A compiler and scene generator for the Scenic scenario description language.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Python 99.8%
  • ANTLR 0.2%