lgwagner/SpeAR Issues
Installation parameters
UpdatedPreferences pane not visible
Updated 1Traceability activation in v2.1.0
Updated 1Out of bounds array index not caught
Updated 1Spec call seems to be broken
Closed 2Default Analysis Settings
Closed 2Test commandline
Closed 2Wrong Icon for Observe
ClosedDocument
Updated 2Addition of counter variable
Closed 2Removal of State
Closed 2Support inverse units
UpdatedCommand Line Interface
Closed 1Unspecified Constants
ClosedCasting expressions?
Closed 1Autosave Analysis results
Updated 1Regression Testing Suite
UpdatedUser Guide
Closed 2Soundness Bug in JKind
ClosedFix Formatter
ClosedUnit division by scalar
Closed 1Renaming Enumerations
ClosedFeature Request: Flag for IVC
Closed 1