Skip to content

Issues: utwente-fmt/ltsmin

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

68 Open 99 Closed
68 Open 99 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Website ltsmin.utwente.nl broken images
#227 opened Nov 21, 2024 by trolando
@trolando @Meijuh
1
Failing test in make check (with Sylvan)
#225 opened Oct 30, 2024 by jacopol
@trolando
(Possibly?) Unsound Partial Order Reduction
#222 opened Jan 26, 2024 by sjudson
@alaarman
2
Segmentation Fault in pnml2lts-mc
#215 opened Nov 16, 2023 by jacopol
4
a question about PTS
#214 opened Nov 15, 2023 by yin99
6
question about example sokoban
#213 opened Aug 25, 2023 by yin99
Extracting Buchi Automata from PINS
#212 opened Aug 17, 2023 by JakeGinesin
3
how to install ltsmin？
#211 opened Aug 17, 2023 by yin99
3
make & make install error: multiple definitions for "rank" and "scc_stack"
#210 opened Jun 22, 2023 by sim365
9
Issues with LTL traces in MT context
#209 opened Jun 20, 2023 by yanntm
5
Can ltsmin read the SMV format file?
#207 opened May 29, 2023 by gipsyh
1
Installation instructions step by step
#206 opened Sep 7, 2022 by jacopol
missing instructions for LTSmin installation for end-users
#205 opened Sep 6, 2022 by jacopol
1
Add examples to assets
#204 opened Sep 6, 2022 by jacopol
Build issue on NetBSD
#203 opened Jul 3, 2022 by mayureshw
3
Tests fail when BuDDy is installed
#199 opened Oct 10, 2021 by SSoelvsten
Update LTSmin for newest version of Sylvan
#198 opened Oct 10, 2021 by SSoelvsten
Building LTSmin before installing Sylvan blocks ./configure from finding Sylvan afterwards
#197 opened Oct 9, 2021 by SSoelvsten
--filter=action_labels
#192 opened Oct 26, 2020 by jacopol
man pages are behind
#191 opened Oct 26, 2020 by jacopol
@Meijuh
1
Defaults for symbolic tool
#190 opened Oct 23, 2020 by trolando
PINS loader doesn't work with recompiled version of LTSmin
#186 opened Feb 15, 2020 by alaarman
1
Wrong answer when model checking mucalc with pins2lts-sym
#184 opened Feb 10, 2020 by ningit
1
opaal2lts-mc/ltsmin-convert: string doesn't start with double quote
#178 opened Nov 14, 2019 by jacopol
opaal2lts-mc: mmap failed
#177 opened Nov 14, 2019 by jacopol
ProTip! Type g i on any issue or pull request to go back to the issue listing page.