awakesecurity/spectacle

Issues

• Support GHC 9.0 / base 4.15

  #49 opened 2 years ago by sternenseemann
  2

• Weird behaviour with NonDet and Stays modality

  #47 opened 3 years ago by gusbicalho
  10

• Stuttering steps are not inserted for unchanged steps

  #56 opened 2 years ago by riz0id
  0

• Generating counterexample behaviors with Interaction seems awkward?

  #51 opened 2 years ago by thoughtpolice
  3

• Should --only-trace should imply --log when using `interaction`?

  #50 opened 2 years ago by thoughtpolice
  1

• Fix the spanning tree spec for spectacle-1.0.0

  #44 opened 3 years ago by ixmatus
  0

• Publish a new revision of `spectacle-1.0.0` to remove the changelog entry

  #43 opened 3 years ago by ixmatus
  0

• Adding Spectacle to Hackage & nixpkgs?

  #31 opened 3 years ago by byrongibson
  3

• Liveness property checked incorrectly

  #39 opened 3 years ago by gusbicalho
  1

• Use `Managed` monad in CLI

  #42 opened 3 years ago by riz0id
  1

• The integration tests are not verified correctly

  #38 opened 3 years ago by y-taka-23
  1

• Rename type ascription syntax

  #12 opened 3 years ago by riz0id
  0

• Model checker option to emit state trace.

  #27 opened 3 years ago by riz0id
  0

• Print States Leading Up To Error

  #32 opened 3 years ago by JonathanLorimer
  1

• How to disable a formula?

  #36 opened 3 years ago by yagehu
  1

• Checking Inductive Invariants

  #34 opened 3 years ago by JonathanLorimer
  2

• Detect liveness violations in infinite unchanging extensions

  #29 opened 3 years ago by riz0id
  0

• Temporal formula not applied to initial states

  #26 opened 3 years ago by riz0id
  0