Skip to content

Issues: VerifAPS/stvs

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

22 Open 22 Closed
22 Open 22 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

find command that is used for running the GeTeTa
#49 opened Jan 15, 2018 by csicar
@csicar
fix failing tests
#48 opened Jan 15, 2018 by csicar
@csicar
Batch input for a selection of cells
#44 opened Jul 19, 2017 by wadoon
Exception when attempting to save
#43 opened Jul 17, 2017 by mattulbrich
Error on dragging in VariableCollectionController if all free variables are equal
#38 opened Jul 15, 2017 by wadoon
Dialog too small in setup wizard minor
#37 opened Jul 13, 2017 by wadoon
Variable types should be checked case insensitive
#36 opened Jul 13, 2017 by mattulbrich Version 1.3
2
Decide between SpreadsheetView and JavaFX Table
#32 opened Jun 22, 2017 by csicar
1
Concretization is only shown in timing diagram, not in table enhancement GUI
#29 opened Jun 2, 2017 by mattulbrich
1
Leaving a cell via mouse click discards changes GUI minor
#27 opened Jun 2, 2017 by mattulbrich Version 1.3
2
Export function for counterexample to CodeSys
#24 opened May 26, 2017 by wadoon
2 tasks
Order of columns in counter example does not match specification enhancement GUI minor
#21 opened May 22, 2017 by mattulbrich
Support of Simulation enhancement
#19 opened May 2, 2017 by wadoon
2
User-friendly Installation enhancement
#18 opened May 2, 2017 by wadoon
2
Error in writing free constraints bug
#17 opened Apr 13, 2017 by wadoon
3
Loading should be more robust bug
#15 opened Apr 13, 2017 by wadoon
1
assistant for undefined free variable enhancement
#14 opened Apr 13, 2017 by wadoon Version 1.4
Extend support for all built-in datatypes enhancement
#12 opened Apr 13, 2017 by wadoon
Preparing version 1.2
#11 opened Apr 6, 2017 by wadoon
3 of 8 tasks
v1.2
@wadoon
Variables declared VAR should be accessible in a specification enhancement wip
#5 opened Mar 25, 2017 by csicar Version 1.3
6
Hilfe-/Tutorial-Dokument/Video
#4 opened Mar 25, 2017 by csicar
Show warning when max durations do not match durations in table enhancement
#3 opened Mar 23, 2017 by csicar
@csicar
ProTip! Follow long discussions with comments:>50.