issues
search
jyoo980
/
silver
Definition of the Viper intermediate verification language.
Mozilla Public License 2.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Some fixes
#47
ionathanch
closed
3 years ago
2
Smol bugs
#46
ionathanch
opened
3 years ago
0
adding bugfix for recursion detection
#45
jyoo980
closed
3 years ago
0
Recursively call expandPredicate on current node.
#44
ionathanch
closed
3 years ago
1
Nested predicates aren't being expanded (again)
#43
ionathanch
closed
3 years ago
1
Check for recursive predicates using /all/ existing predicates.
#42
ionathanch
closed
3 years ago
4
making recursion errors more visible
#41
jyoo980
closed
3 years ago
0
Turn fold/unfold statements into assert statements.
#40
ionathanch
closed
3 years ago
6
Check if predicate body is defined in cond.
#39
ionathanch
closed
3 years ago
1
Another round of failing tests
#38
braxtonhall
closed
3 years ago
4
Fix incorrect permission propagation (should be multiplicative)
#37
ionathanch
closed
3 years ago
0
adding potential fix for nested non-recursive pred calls in recursive preds
#36
jyoo980
closed
3 years ago
6
adding potential fix for preds called by recursive preds
#35
jyoo980
closed
3 years ago
4
Do we do "the right thing" for these test cases?
#34
braxtonhall
closed
3 years ago
27
Rewrite functions too
#33
ionathanch
closed
3 years ago
6
Implemented expanding asserts and invariants.
#32
ionathanch
closed
3 years ago
1
adding test files
#31
jyoo980
closed
3 years ago
0
Get Carbon set up in lieu of Silicon
#30
ionathanch
opened
3 years ago
4
Added viper-runner with updated config file
#29
alison-li
opened
3 years ago
3
adding inhale/exhale expansion
#28
jyoo980
closed
3 years ago
4
Check out viper-runner and see if we can use it in our plugin
#27
jyoo980
opened
3 years ago
0
Run `sbt test` to get a basic sense of what's going right/wrong with our plugin
#26
jyoo980
opened
3 years ago
14
Investigate predicate accesses for inhale/exhale
#25
ionathanch
closed
3 years ago
1
attempting duplicate parse fix
#24
jyoo980
closed
3 years ago
14
Expand nested predicates
#23
ionathanch
closed
3 years ago
3
adding scratch work for translateMember
#22
jyoo980
closed
3 years ago
1
adding error detection for nested predicates
#21
jyoo980
closed
3 years ago
2
Nested predicates aren't expanded
#20
ionathanch
closed
3 years ago
11
adding initial implementation of permission passthrough
#19
jyoo980
closed
3 years ago
1
Investigate partial predicate accesses in `fold`/`unfold`/`unfolding`
#18
ionathanch
closed
3 years ago
0
Work on Writeup
#17
jyoo980
opened
3 years ago
1
Investigate how we're going to test the performance of the plugin
#16
jyoo980
closed
3 years ago
2
Investigate predicate accesses for package/apply
#15
jyoo980
opened
3 years ago
0
Implement inlining for viper functions
#14
jyoo980
opened
3 years ago
0
Ensure plugin still works after implementing typeCheck and translateMember
#13
jyoo980
opened
3 years ago
0
Implement `translateMember` for PInlinePredicate
#12
jyoo980
opened
3 years ago
4
Implement `typeCheck` for PInlinePredicate
#11
jyoo980
opened
3 years ago
0
Finish bug fix for unfold/fold statement removals
#10
jyoo980
closed
3 years ago
1
Handle partial predicate accesses for pre-/postconditions
#9
ionathanch
closed
3 years ago
2
Fully implement parser extension
#8
jyoo980
closed
3 years ago
0
fixing issue where fold statements were not removed
#7
jyoo980
closed
3 years ago
6
Adding temporary branch for demo
#6
jyoo980
closed
3 years ago
2
adding first pass at mutual-recursion detection
#5
jyoo980
closed
3 years ago
4
Added Viper Runner tool
#4
alison-li
closed
3 years ago
0
adding method rewrite proof-of-concept 3 (electric boogalee)
#3
ionathanch
closed
3 years ago
5
adding method rewrite proof-of-concept 2 (electric boogaloo)
#2
jyoo980
closed
3 years ago
0
adding method rewrite proof-of-concept
#1
jyoo980
closed
3 years ago
0