-
Updated scribblec script interface: check
./scribblec --help
for new usages.
-
The core tooling has been refactored to support an alternative validation method. To obtain more details on safety/progress errors, use the -V command line flag.
N.B. the -oldwf command line flag allows to use only the well-formedness from the previous version of the tool. Warning: no guarantees are offered when validating newer Scribble features using -oldwf.
-
Most Scribble demos that were previously in
modules/core/src/test/scrib/demo
have been relocated to
modules/demos/scrib/
Some demo files have also been renamed or repackaged.