lgwagner/SpeAR

Issues

• Installation parameters

  #111 opened a year ago by szondakata
  0

• Preferences pane not visible

  #110 opened 3 years ago by abakst
  1

• Units checking validation errors are too broad on composite types

  #108 opened 5 years ago by lgwagner
  0

• Terminate Analysis does not work for for Realizability

  #106 opened 6 years ago by jendavis
  0

• Feature Request: Translation to AADL/AGREE

  #105 opened 6 years ago by jendavis
  0

• Bug related to unspecified constants

  #104 opened 6 years ago by jendavis
  0

• Document

  #91 opened 7 years ago by lgwagner
  2

• Traceability activation in v2.1.0

  #103 opened 7 years ago by AFifarek
  1

• Out of bounds array index not caught

  #102 opened 7 years ago by jendavis
  1

• Autosave Analysis results

  #72 opened 8 years ago by lgwagner
  1

• Unspecified Constants

  #76 opened 7 years ago by lgwagner
  0

• SpeAR should support sets and first-order quantifiers

  #87 opened 7 years ago by manthonyaiello
  2

• Observer flags for middle section

  #95 opened 7 years ago by lgwagner
  2

• Test commandline

  #93 opened 7 years ago by lgwagner
  2

• Cancel button doesn't grey out when analysis is complete

  #94 opened 7 years ago by lgwagner
  2

• Wrong Icon for Observe

  #92 opened 7 years ago by lgwagner
  0

• Cancel button for realizability analysis

  #98 opened 7 years ago by jendavis
  1

• Default Analysis Settings

  #97 opened 7 years ago by jendavis
  2

• Fix Formatter

  #67 opened 7 years ago by lgwagner
  0

• Removal of State

  #88 opened 7 years ago by lgwagner
  2

• Spec call seems to be broken

  #100 opened 7 years ago by jendavis
  2

• Warnings on uninitialized previous values?

  #90 opened 7 years ago by lgwagner
  2

• View conflicting constraints seems to be broken

  #101 opened 7 years ago by jendavis
  1

• File generation broken for command line. (development)

  #99 opened 7 years ago by chaosape
  0

• Initial values for variables of predicate subtypes

  #96 opened 7 years ago by jendavis
  4

• Command Line Interface

  #77 opened 7 years ago by lgwagner
  1

• Addition of counter variable

  #89 opened 7 years ago by lgwagner
  2

• JKind timeout preference not propagated

  #82 opened 7 years ago by lgwagner
  0

• Generated Lustre files not appearing in "generated" folder

  #83 opened 7 years ago by lgwagner
  0

• Cannot terminate analyses

  #84 opened 7 years ago by lgwagner
  0

• Support inverse units

  #86 opened 7 years ago by manthonyaiello
  0

• Non-formal requirements should not break typechecking

  #85 opened 8 years ago by manthonyaiello
  1

• Preferences page not connected

  #81 opened 8 years ago by lgwagner
  0

• Scientific Notation Textual Highlighting

  #60 opened 8 years ago by AFifarek
  9

• Feature Request: Explicit tagging keywords

  #59 opened 8 years ago by AFifarek
  6

• User Guide

  #70 opened 8 years ago by lgwagner
  2

• Remove unguarded previous in patterns

  #79 opened 8 years ago by lgwagner
  1

• Traceability for all proven properties

  #78 opened 8 years ago by lgwagner
  1

• Renaming Enumerations

  #63 opened 8 years ago by lgwagner
  0

• Option to toggle display type of rationals

  #75 opened 8 years ago by lgwagner
  0

• Casting expressions?

  #74 opened 8 years ago by lgwagner
  1

• Provide modulus for reals

  #73 opened 8 years ago by lgwagner
  0

• Allowing Constants to be used in Predicate Subtypes

  #69 opened 8 years ago by lgwagner
  0

• Regression Testing Suite

  #71 opened 8 years ago by lgwagner
  0

• Soundness Bug in JKind

  #68 opened 8 years ago by lgwagner
  0

• Place generated files in subfolders

  #66 opened 8 years ago by lgwagner
  1

• Unit division by scalar

  #65 opened 8 years ago by manthonyaiello
  1

• Unit validation should not be broken by bare previous

  #64 opened 8 years ago by manthonyaiello
  0

• if-then-else should handle unit math correctly

  #62 opened 8 years ago by manthonyaiello
  0

• Feature Request: Flag for IVC

  #61 opened 8 years ago by jendavis
  1