issues
search
cuplv
/
verivita
Dynamic verification using callbacks
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Slow spec grounding
#173
ftc
closed
7 years ago
2
Updated results
#172
smover
closed
7 years ago
0
Memory error while simulating
#171
ftc
closed
7 years ago
1
Iss161
#170
smover
closed
7 years ago
0
Fix #167
#169
smover
closed
7 years ago
0
Update test in /cbverifier/android_specs/test_driver.py
#168
smover
opened
7 years ago
1
Spec file triggers exception
#167
ftc
closed
7 years ago
0
Trace slice for set of objects completed
#166
ftc
closed
7 years ago
0
Trace slicing by set of objects
#165
ftc
closed
7 years ago
0
Utility to slice backwards from callback or callin
#164
ftc
closed
7 years ago
1
ListView Spec breaks Kist app
#163
ftc
opened
7 years ago
0
Slow performance with trace
#162
ftc
opened
7 years ago
0
Spec with negation not grounding properly
#161
ftc
closed
7 years ago
0
Use again SAT as default for labels
#160
smover
closed
7 years ago
0
Fix #158
#159
smover
closed
7 years ago
0
Simulate trace cannot execute expected transition despite grounded rule
#158
ftc
closed
7 years ago
0
Fix #154
#157
smover
closed
7 years ago
0
Bug in the parsing of [*]
#156
smover
closed
7 years ago
1
Iss154
#155
smover
closed
7 years ago
0
array types in specification
#154
ftc
closed
7 years ago
8
Minor improvement: exit immediately and print message if no disallow rules ground
#153
ftc
opened
7 years ago
0
Added results from relevant code search
#152
smover
closed
7 years ago
0
Fix uninitialized variable
#151
smover
closed
7 years ago
0
Read cex from nuxmv
#150
smover
closed
7 years ago
0
Full regexp
#149
smover
closed
7 years ago
0
Infer NULL return value for callbacks
#148
smover
closed
7 years ago
0
Alias and negation
#147
ftc
opened
7 years ago
1
Truncated ProtoBuf Fix
#146
sllam
closed
7 years ago
0
Aliases
#145
smover
closed
7 years ago
0
Should we merge now that kistenstappeln works?
#144
ftc
closed
7 years ago
1
Fix #142
#143
smover
closed
7 years ago
0
Trace simulation bug
#142
ftc
closed
7 years ago
2
Some specs not grounding
#141
ftc
closed
7 years ago
2
Fix #139
#140
smover
closed
7 years ago
0
Counterexample generated by bmc cannot be simulated
#139
ftc
closed
7 years ago
1
Trace simulation issue
#138
ftc
closed
7 years ago
1
Iss94
#137
smover
closed
7 years ago
0
Iss133
#136
smover
closed
7 years ago
0
Collect disallow methods
#135
ftc
closed
7 years ago
2
Add info debug print to track bmc progress
#134
smover
closed
7 years ago
0
Spec not grounding with negation
#133
ftc
closed
7 years ago
2
Iss131
#132
smover
closed
7 years ago
0
Key error
#131
ftc
closed
7 years ago
0
Iss127 128
#130
smover
closed
7 years ago
0
Auto dev
#129
sllam
opened
7 years ago
0
Application of an effect - When we enter a CI/CB or when we exit it?
#128
smover
closed
7 years ago
2
Framework abstraction for the callins
#127
smover
closed
7 years ago
1
Instrumented Android-Topeka app doesn't terminate Netcat when it ends
#126
sllam
closed
7 years ago
1
Split disallow rules into their own directory
#125
ftc
closed
7 years ago
0
Auto dev
#124
sllam
closed
7 years ago
0
Previous
Next