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.