pauleve/pint

Issues

• Tests for goal-oriented reduction

  #7 opened 7 years ago by pauleve
  0

• Tests for reachability under-approximation with syncronized transitions

  #8 opened 7 years ago by pauleve
  0

• Switch to Zarith (was: Pint does not compile with ocaml version 4.07.1)

  #17 opened 6 years ago by adrienrougny
  2

• Support for synchronized transitions in bifurcation transitions

  #6 opened 6 years ago by pauleve
  0

• Installation failed (its-tools)

  #13 opened 6 years ago by smbct
  2

• Move pint-its to pypint

  #16 opened 6 years ago by pauleve
  0

• Move pint-nusmv to pypint

  #15 opened 6 years ago by pauleve
  0

• NuSMV export: support for synchronized transitions

  #14 opened 6 years ago by pauleve
  0

• NuSMV export: add support for non-deterministic initial state

  #10 opened 7 years ago by pauleve
  1

• pint_install_deps: check for clingo version

  #4 opened 7 years ago by adrienrougny
  0

• PINT_SHARE_PATH should always work

  #9 opened 7 years ago by pauleve
  0

• Supports empty model as input

  #12 opened 7 years ago by pauleve
  0

• Use ginsim python module when available

  #11 opened 7 years ago by pauleve
  1

• Add support for synchronized transitions for under-approximation of reachability

  #5 opened 7 years ago by pauleve
  0

• pint_install_deps: wrong opening mode in install_bin_from_tar with python 3.6.1

  #2 opened 7 years ago by adrienrougny
  0

• bug for GINsim installtion via pint_install_deps

  #3 opened 7 years ago by adrienrougny
  0

• Description of the syntax is out of date

  #1 opened 10 years ago by lovasoa
  4