issues
search
VerifAPS
/
stvs
StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
find command that is used for running the GeTeTa
#49
csicar
opened
6 years ago
0
fix failing tests
#48
csicar
opened
6 years ago
0
Interface for iec-run
#47
csicar
closed
6 years ago
0
potential fix for #20
#46
mattulbrich
opened
7 years ago
0
Negative values in counter example are not shown correctly
#45
mattulbrich
closed
7 years ago
1
Batch input for a selection of cells
#44
wadoon
opened
7 years ago
0
Exception when attempting to save
#43
mattulbrich
opened
7 years ago
0
Wizard Windows have no buttons
#42
mattulbrich
closed
7 years ago
2
Local var support
#41
wadoon
closed
7 years ago
0
Advanced table
#40
wadoon
closed
7 years ago
0
Development
#39
wadoon
closed
7 years ago
0
Error on dragging in VariableCollectionController if all free variables are equal
#38
wadoon
opened
7 years ago
0
Dialog too small in setup wizard
#37
wadoon
opened
7 years ago
0
Variable types should be checked case insensitive
#36
mattulbrich
opened
7 years ago
2
Syntax highlighting is broken
#35
mattulbrich
closed
7 years ago
6
Parsing of comments is wrong
#34
mattulbrich
closed
7 years ago
1
When creating new code pane, old code is lost
#33
mattulbrich
closed
7 years ago
0
Decide between SpreadsheetView and JavaFX Table
#32
csicar
opened
7 years ago
1
Row numbers and better row comments
#31
wadoon
closed
7 years ago
1
Ask for industrial example
#30
wadoon
closed
7 years ago
1
Concretization is only shown in timing diagram, not in table
#29
mattulbrich
opened
7 years ago
1
Timing diagrams labels are badly placed (vertically)
#28
mattulbrich
closed
7 years ago
4
Leaving a cell via mouse click discards changes
#27
mattulbrich
opened
7 years ago
2
Error message for ANTLR when starting
#26
mattulbrich
closed
7 years ago
3
Example MinMaxWarning throws a CastException
#25
csicar
closed
7 years ago
0
Export function for counterexample to CodeSys
#24
wadoon
opened
7 years ago
0
Scale for integer values has non-integral labels.
#23
mattulbrich
closed
7 years ago
1
Suggestion: Counterexample tabs should open to the right
#22
mattulbrich
closed
7 years ago
1
Order of columns in counter example does not match specification
#21
mattulbrich
opened
7 years ago
0
Error dialog does not resize when details are asked for
#20
mattulbrich
closed
7 years ago
5
Support of Simulation
#19
wadoon
opened
7 years ago
2
User-friendly Installation
#18
wadoon
opened
7 years ago
2
Error in writing free constraints
#17
wadoon
opened
7 years ago
3
Context Menu Shortcuts not working
#16
wadoon
closed
7 years ago
2
Loading should be more robust
#15
wadoon
opened
7 years ago
1
assistant for undefined free variable
#14
wadoon
opened
7 years ago
0
Tab key in table should jump to the next cell
#13
wadoon
closed
7 years ago
3
Extend support for all built-in datatypes
#12
wadoon
opened
7 years ago
0
Preparing version 1.2
#11
wadoon
opened
7 years ago
0
Error in SMTConcretizer
#10
wadoon
closed
7 years ago
2
Editor does not bubble up menu mnemonics
#9
wadoon
closed
7 years ago
1
"NoCollisionSpec"
#8
wadoon
closed
7 years ago
2
Comments have no special face
#7
wadoon
closed
7 years ago
0
Circleci integration
#6
csicar
closed
7 years ago
0
Variables declared VAR should be accessible in a specification
#5
csicar
opened
7 years ago
6
Hilfe-/Tutorial-Dokument/Video
#4
csicar
opened
7 years ago
0
Show warning when max durations do not match durations in table
#3
csicar
opened
7 years ago
0
Menu view is obsolete
#2
csicar
closed
7 years ago
0
About dialog
#1
csicar
closed
7 years ago
0