utwente-fmt/ltsmin

Issues

• (Possibly?) Unsound Partial Order Reduction

  #222 opened a year ago by sjudson
  2

• Question about LTL POR Provisos

  #217 opened a year ago by sjudson
  5

• a question about PTS

  #214 opened a year ago by yin99
  6

• Segmentation Fault in pnml2lts-mc

  #215 opened a year ago by jacopol
  4

• Extracting Buchi Automata from PINS

  #212 opened 2 years ago by JakeGinesin
  3

• question about example sokoban

  #213 opened 2 years ago by yin99
  0

• how to install ltsmin？

  #211 opened 2 years ago by yin99
  3

• Build issue on NetBSD

  #203 opened 3 years ago by mayureshw
  3

• make & make install error: multiple definitions for "rank" and "scc_stack"

  #210 opened 2 years ago by sim365
  9

• Issues with LTL traces in MT context

  #209 opened 2 years ago by yanntm
  5

• Can ltsmin read the SMV format file?

  #207 opened 2 years ago by gipsyh
  1

• Installation instructions step by step

  #206 opened 3 years ago by jacopol
  0

• missing instructions for LTSmin installation for end-users

  #205 opened 3 years ago by jacopol
  1

• Add examples to assets

  #204 opened 3 years ago by jacopol
  0

• Bug in TGBA mode for LTL

  #201 opened 3 years ago by yanntm
  0

• Update LTSmin for newest version of Sylvan

  #198 opened 3 years ago by SSoelvsten
  0

• Tests fail when BuDDy is installed

  #199 opened 3 years ago by SSoelvsten
  0

• Building LTSmin before installing Sylvan blocks ./configure from finding Sylvan afterwards

  #197 opened 3 years ago by SSoelvsten
  0

• Version 3.1 windows support, time to test and performance

  #189 opened 4 years ago by trolando
  3

• --filter=action_labels

  #192 opened 4 years ago by jacopol
  0

• man pages are behind

  #191 opened 4 years ago by jacopol
  0

• Defaults for symbolic tool

  #190 opened 4 years ago by trolando
  0

• Bug in propagation of visibility from state labels to transition groups

  #169 opened 4 years ago by yanntm
  12

• links to manpages from github

  #160 opened 4 years ago by jacopol
  1

• Symbolic parity game generation and solving is not available since refactor

  #165 opened 5 years ago by gijskant
  0

• PINS loader doesn't work with recompiled version of LTSmin

  #186 opened 5 years ago by alaarman
  1

• Wrong answer when model checking mucalc with pins2lts-sym

  #184 opened 5 years ago by ningit
  1

• More memory issues

  #180 opened 5 years ago by yanntm
  1

• Uninitialized memory

  #179 opened 5 years ago by yanntm
  1

• dlopen is not MT-safe => protect calls to RTdlopen

  #181 opened 5 years ago by yanntm
  0

• opaal2lts-mc/ltsmin-convert: string doesn't start with double quote

  #178 opened 5 years ago by jacopol
  0

• Too large state spaces generated for mCRL2 models with global variables

  #171 opened 5 years ago by jkeiren
  1

• opaal2lts-mc: mmap failed

  #177 opened 5 years ago by jacopol
  0

• opaal2lts-mc: undefined symbol lattice_clone

  #176 opened 5 years ago by jacopol
  0

• pins2lts-mc / treedbs with state vector of size 1

  #175 opened 5 years ago by jacopol
  1

• scoop should not be recompiled when "make install"

  #173 opened 5 years ago by jwaldmann
  1

• ./configure should check for "ant" (needed for building spins.jar)

  #174 opened 5 years ago by jwaldmann
  0

• Installing on Cygwin

  #172 opened 5 years ago by matifch
  1

• Compilation error on Debian Testing

  #170 opened 5 years ago by johanmazel
  2

• ProB compilation fails on MacOS

  #149 opened 5 years ago by alaarman
  2

• mcrl2 and state-labels

  #166 opened 6 years ago by jacopol
  0

• aut-generation from multi-segment gcf

  #167 opened 6 years ago by jacopol
  0

• default reordering

  #163 opened 7 years ago by jacopol
  0

• reordering strategy shortcuts

  #161 opened 7 years ago by jacopol
  0

• Compiling error on mintlinux

  #155 opened 7 years ago by Johanvdberg
  0

• SPOT compilation issue on MacOS

  #150 opened 7 years ago by alaarman
  1

• Enhancement : read write and *control* sets

  #154 opened 7 years ago by yanntm
  1

• System too small : padding with a zero ?

  #153 opened 7 years ago by yanntm
  4

• Renault strategy sometimes triggers assertion

  #148 opened 7 years ago by Meijuh
  2

• Writing trace with ndfs sometimes failes

  #147 opened 7 years ago by Meijuh
  2