lip6/ITSTools

Issues

• Archive versions of the update site / release

  #10 opened 4 months ago by dvojtise
  3

• bug during simplification with nested arrayRefs

  #55 opened 2 years ago by maudinot
  1

• Unexpected error when asking for witness on its-ctl CTL

  #17 opened 5 years ago by carlosengers
  3

• Derived state variables

  #16 opened 5 years ago by ltbinsbe
  11

• System invariants in GAL

  #15 opened 5 years ago by bohlender
  10

• Promela to GAL transformation error

  #13 opened 5 years ago by DavidFarago
  2

• urgent channels in XTA

  #12 opened 6 years ago by pascalpoizat
  2

• limited quantifiers in properties

  #5 opened 7 years ago by yanntm
  3

• Sequential composition of assignments??

  #11 opened 6 years ago by francomazzanti
  6

• NPE whe trying to run its reach or flatten

  #9 opened 6 years ago by dvojtise
  4

• missing dynamic library when installing its-reach on a fresh linux

  #8 opened 7 years ago by dvojtise
  5

• Run as its -model-check only runs one of ltl, reachability or CTL

  #2 opened 7 years ago by yanntm
  1

• Extend flags that can be passed to ITS model check

  #1 opened 7 years ago by yanntm
  2

• specify target properties separately from model

  #4 opened 7 years ago by yanntm
  0

• Chain transformations

  #3 opened 7 years ago by yanntm
  0