v1.0.0.202307021251

Refactoring core computation imports and new CUDD binaries for Spectra and Synthesis Plug-In version 1.0.0.202307021251 and up.

v1.0.0.20221101

Fixed an issue in the executor.jar where states of symbolic finite automata (used by some language features) were ignored.

v1.0.0.20221021

Added some additional example projects for using Spectra Tools programmatically. Renamed patterns in DwyerPatterns.spectra library to have systematically generated names. Updated executors and example code to match with the folder structure of controllers generated from plugins with versions > v1.0.0.20221021...

Full Changelog: IcseVersion...v1.0.0.20221021

v1.0.0.20210625

The version of the tutorial examples and solutions as presented in the ICSE technical briefing "Reactive Synthesis with Spectra: A Tutorial".