Search results

ltsmin does not compile using GCC 15.2.1 on Fedora 42

Status: Open.

#231 In utwente-fmt/ltsmin;

* mlaveaux opened on Sep 17, 2025

Minimal mCRL2 examples fail

Status: Open.

#230 In utwente-fmt/ltsmin;

* zwergziege opened on Sep 11, 2025

Website ltsmin.utwente.nl broken images

Status: Open.

#227 In utwente-fmt/ltsmin;

* trolando opened on Nov 21, 2024

Failing test in make check (with Sylvan)

Status: Open.

#225 In utwente-fmt/ltsmin;

* jacopol opened on Oct 30, 2024

(Possibly?) Unsound Partial Order Reduction

Status: Open.

#222 In utwente-fmt/ltsmin;

* sjudson opened on Jan 26, 2024

Segmentation Fault in pnml2lts-mc

Status: Open.

#215 In utwente-fmt/ltsmin;

* jacopol opened on Nov 16, 2023

a question about PTS

Status: Open.

#214 In utwente-fmt/ltsmin;

* yin99 opened on Nov 15, 2023

question about example sokoban

Status: Open.

#213 In utwente-fmt/ltsmin;

* yin99 opened on Aug 25, 2023

Extracting Buchi Automata from PINS

Status: Open.

#212 In utwente-fmt/ltsmin;

* JakeGinesin opened on Aug 17, 2023

how to install ltsmin?

Status: Open.

#211 In utwente-fmt/ltsmin;

* yin99 opened on Aug 17, 2023

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

Status: Open.

#210 In utwente-fmt/ltsmin;

* sim365 opened on Jun 22, 2023

Issues with LTL traces in MT context

Status: Open.

#209 In utwente-fmt/ltsmin;

* yanntm opened on Jun 20, 2023