Search results

LTL non deterministic behavior.

Status: Open.

#233 In utwente-fmt/ltsmin;

· yanntm opened on Apr 21, 2026

ltsmin does not compile natively on ARM due to hard coded assembly

Status: Open.

#232 In utwente-fmt/ltsmin;

· mlaveaux opened on Mar 16, 2026

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