GitHub · Where software is built

Labels Milestones New issue

BagStack examples are work in progress

#107

· viper-admin opened

on Feb 13, 2020

Incompleteness in TLock_alternative1.vl: open_region unexpectedly fails

#106

· viper-admin opened

on Feb 13, 2020

Incompleteness in counter.vl, caused by using forperm instead of QPs in the encoding

#105

· viper-admin opened

on Feb 13, 2020

Incompleteness in IncDec-variants02.vl, probably related to atomicity contexts and diamond resources

#104

· viper-admin opened

on Feb 13, 2020

MakeAtomic consuming guard prevents knowing that environment can't hold it

#103

· viper-admin opened

on Feb 13, 2020

Incompleteness with guard sets

#102

· viper-admin opened

on Feb 13, 2020

Guards with arguments bound in same assertion incorrectly translated

#101

· viper-admin opened

on Feb 12, 2020

Generated Viper code "perm under forperm" currently illegal

#99

· viper-admin opened

on Jan 28, 2020

Update evaluation suite to new syntax

#93

· viper-admin opened

on Jan 11, 2020

Unnecessary Viper method body for primitive-atomic procedures

#91

· viper-admin opened

on Dec 16, 2019

Automatically duplicate region assertions

#89

· viper-admin opened

on Dec 15, 2019

Encoding Caper's CounterClient is work in progress

#88

· viper-admin opened

on Dec 14, 2019