issues
search
utwente-fmt
/
ltsmin
The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Cannot disable Opaal build
#123
yanntm
closed
7 years ago
5
pins2lts-mc Out of memory at launch
#122
yanntm
closed
7 years ago
3
pins2lts-mc --threads=1 : bad option
#121
yanntm
closed
7 years ago
6
pins2lts-mc --help => SEGFAULT
#120
yanntm
closed
7 years ago
7
pins2lts-seq crashes
#119
yanntm
closed
6 years ago
2
Always Return 0, but state if a counter-example was found or not for LTL
#118
yanntm
closed
6 years ago
6
Bad order in LDD64
#117
alaarman
closed
7 years ago
2
segfault withPOR (LTSmin 2.1)
#116
yanntm
closed
7 years ago
1
Remove vset_match function in favor of vset_join
#115
alaarman
opened
7 years ago
19
Refactored SYM tool
#114
alaarman
closed
6 years ago
1
Several VSet/Sym related changes
#113
trolando
closed
7 years ago
0
pins2lts-sym.c is now only compiled once, meaning that compile flags dont have any effect.
#112
Meijuh
closed
7 years ago
7
Refactored SYM tool
#111
alaarman
closed
7 years ago
0
Fix open issues assigned to me #104
#110
alaarman
closed
6 years ago
1
--ltl-semantics=spin not working for edge labels
#109
Meijuh
closed
6 years ago
13
Etf fixes
#108
Meijuh
closed
7 years ago
0
for origin
#107
Meijuh
closed
7 years ago
0
POR: support LTL+X formulae
#106
alaarman
closed
7 years ago
3
LTL parser unintelligible
#105
alaarman
closed
7 years ago
6
Fix open issues assigned to me
#104
alaarman
closed
7 years ago
1
Failing POR tests
#103
alaarman
closed
7 years ago
1
For origin
#102
Meijuh
closed
7 years ago
0
Opaal2lts-mc crash
#101
alaarman
closed
7 years ago
1
for origin
#100
vbloemen
closed
6 years ago
0
for origin
#99
Meijuh
closed
7 years ago
0
Fix bug in the mucalc layer: incorrect init of action labels.
#98
Meijuh
closed
7 years ago
0
Accept stubborn sets being in different orders since they are sets
#97
yanntm
closed
7 years ago
4
Next
#96
jacopol
closed
7 years ago
1
Add hre/feedback.h to installed files as $INC/ltsmin/feedback.h
#95
yanntm
closed
7 years ago
1
for origin
#94
Meijuh
closed
7 years ago
0
for origin
#93
Meijuh
closed
7 years ago
0
For origin
#92
Meijuh
closed
7 years ago
0
Fix bug in the mucalc layer initialisation
#91
gijskant
closed
7 years ago
1
bug in mu-calculus / parity-game solver
#90
jacopol
closed
7 years ago
6
trace generation for symbolic invariant generation
#89
jacopol
closed
7 years ago
1
mu-calculus: syntax error or file not found?
#88
jacopol
closed
7 years ago
1
mcrl2 compiling rewriter in compiled osx-clang version 3.0
#87
jacopol
closed
6 years ago
6
etf2lts-sym with lddmc
#86
jacopol
closed
7 years ago
1
New reduction strategies plus fixes
#85
alaarman
closed
7 years ago
0
Fixed buffer-overflow in lts-quant-io function lts_read_tra. name is …
#84
ghost
closed
7 years ago
0
Interpret trilean types as booleans
#83
alaarman
closed
7 years ago
4
Null pointer in type checker
#82
alaarman
closed
7 years ago
1
Integers no longer supported in expressions
#81
alaarman
closed
7 years ago
3
--check considers stubborn sets as lists
#80
alaarman
closed
7 years ago
1
Next
#79
sccblom
closed
7 years ago
4
Sylvan OSX
#78
alaarman
closed
7 years ago
9
Remove -seq tools
#77
alaarman
closed
7 years ago
1
compiling error
#76
airobert
closed
8 years ago
2
Spins compilation issue
#75
Meijuh
closed
7 years ago
1
Update Windows build instructions
#74
axel-habermaier
opened
8 years ago
1
Previous
Next