Releases: BerkeleyLearnVerify/Scenic
Version 3.0.0
Scenic 3.0.0 is a major update to Scenic adding:
- native support for 3D geometry;
- precise modeling of the shapes of objects (allowing occlusion to be taken into account in visibility checks);
- temporal logic requirements;
- serialization and replay of scenes and simulations;
- a more capable parser, with helpful error messages;
- syntax-highlighting plugins for Sublime Text and Visual Studio Code (which work on Scenic 2 code too);
and many other improvements and fixes.
Scenic 3 is not completely backwards-compatible with Scenic 2, but porting old scenarios to the new syntax should be easy in most cases: see the documentation for complete details on the changes and advice on porting.
The documentation also includes revised tutorials explaining the new features in Scenic 3, and the repository contains a variety of new examples demonstrating 3D features as well.
Version 3.0.0rc1
This is a release candidate for Scenic 3, a major update to Scenic adding:
- native support for 3D geometry;
- precise modeling of the shapes of objects (allowing occlusion to be taken into account in visibility checks);
- temporal logic requirements;
- serialization and replay of scenes and simulations;
- a more capable parser, with helpful error messages;
- syntax-highlighting plugins for Sublime Text and Visual Studio Code (which work on Scenic 2 code too);
and many other improvements and fixes.
Scenic 3 is not completely backwards-compatible with Scenic 2, but porting old scenarios to the new syntax should be easy in most cases: see the documentation for complete details on the changes and advice on porting.
The documentation also includes revised tutorials explaining the new features in Scenic 3, and the repository contains a variety of new examples demonstrating 3D features as well.
(N.B. Unlike the previous beta release of Scenic 3, this version is once again installable simply using pip install scenic
, like Scenic 2. Since this is a pre-release, you will need to use pip install --pre scenic
to get it from PyPI.)
Version 3.0.0b2
This is a beta release of Scenic 3, a major update to Scenic adding:
- native support for 3D geometry;
- precise modeling of the shapes of objects (allowing occlusion to be taken into account in visibility checks);
- temporal logic requirements;
- serialization and replay of scenes and simulations;
- a more capable parser, with helpful error messages;
- syntax-highlighting plugins for Sublime Text and Visual Studio Code (which work on Scenic 2 code too);
and many other improvements and fixes.
Scenic 3 is not completely backwards-compatible with Scenic 2, but porting old scenarios to the new syntax should be easy in most cases: see the documentation for complete details on the changes and advice on porting.
Note also that the installation process has changed, with a couple of new dependencies that can't be installed using pip
. See the documentation for updated installation instructions and revised tutorials explaining the new features. The repository contains a variety of new examples demonstrating 3D features as well.
Version 2.1.0
This update to Scenic:
- restores support for Python 3.7 (so all versions from 3.7-3.11 are supported);
- adds a built-in simple Newtonian physics simulator for debugging dynamic scenarios without having to install an external simulator;
- adds a
record
statement for recording values from dynamic simulations; - generalizes the interface to the Webots simulator, which now supports dynamic scenarios;
along with many other minor fixes and improvements. See the documentation for details.
Version 2.0.0
The 2.x
series of Scenic, providing support for dynamic scenarios, is now out of beta. This release mainly contains bugfixes and minor improvements over 2.0.0b1
, as well as an improved interface to the CARLA simulator contributed by the CARLA team.
Version 2.0.0b1
This is a beta release of the 2.x
series of Scenic, which adds support for dynamic scenarios, a cross-platform Scenic library for driving scenarios which supports the CARLA and LGSVL simulators, and many other features.
Version 1.1.0
This release has only minor changes from the beta v1.1.0b1
, and marks the end of significant development on the 1.x
series. We recommend all users upgrade to the 2.x
series, which is largely backwards-compatible (please see the documentation for details on what changes need to be made to port existing scenarios).