issues
search
gleiss
/
rapid
Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
3
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
stronger value evolution
#27
mina1604
closed
4 years ago
0
Lemma
#26
mina1604
closed
4 years ago
0
Remove const attribute from std::vector value (close #24)
#25
hentom
closed
4 years ago
0
Add gcc build support
#24
hentom
closed
4 years ago
0
Examples
#23
mina1604
closed
4 years ago
0
intermediate value lemma: forall quantification in premise
#22
mina1604
closed
5 years ago
1
examples for cade
#21
mina1604
closed
5 years ago
1
Thrm
#20
RenateEilers
closed
5 years ago
0
New version of value preservation lemma
#19
RenateEilers
closed
5 years ago
0
Updated lemma generators
#18
RenateEilers
closed
5 years ago
0
Added generators for lemma's
#17
RenateEilers
closed
5 years ago
0
Implement copy(label) for Formula
#16
gleiss
closed
4 years ago
0
Fix Lemma asserting n(t1)=n(t2)
#15
gleiss
closed
5 years ago
0
Added support for modulo operator in both While language and conjectu…
#14
RenateEilers
closed
5 years ago
2
add option to exclude lemmas from output
#13
mina1604
closed
4 years ago
0
Add support for If-statement (without else)
#12
gleiss
closed
4 years ago
0
Implement Trace Lemmas
#11
gleiss
closed
5 years ago
0
Support for multiple conjectures
#10
gleiss
closed
5 years ago
1
Improve Parser to handle function calls
#9
gleiss
closed
4 years ago
0
Improve Parser to handle multiple function definitions
#8
gleiss
closed
4 years ago
0
Support for Arrays of Booleans
#7
gleiss
closed
4 years ago
0
Support for Boolean Variables
#6
gleiss
closed
4 years ago
0
20 Benchmarks
#5
gleiss
closed
4 years ago
0
Const Variables
#4
gleiss
closed
5 years ago
1
Allow Var-decls everywhere
#2
gleiss
closed
5 years ago
1
Better error-reporting in Parser
#1
gleiss
closed
5 years ago
1