stsimulator
  1. stsimulator

milestone 1

Summary

Issues: Unresolved

Key Summary Due Date
Improvement STSIMULATOR-7 Only deal with TypeInstances in the interpreter, not with native Java types
Task STSIMULATOR-2 Extend the set of possible interpreter types
Task STSIMULATOR-3 Explore and implement symbolic reachability computations.

View Issues

Issues: Updated recently

Key Summary Updated
Task STSIMULATOR-2 Extend the set of possible interpreter types
Improvement STSIMULATOR-15 Add 'List' datatype.
Improvement STSIMULATOR-5 Allow to call external functions to support complex computations.

View Issues