-
Notifications
You must be signed in to change notification settings - Fork 20
Issues: viperproject/carbon
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
magic wand with quantified resources on RHS causes crash
bug
Something isn't working
#428
opened Jul 8, 2022 by
alexanderjsummers
Wand Packaging Fails when a field is used alongside a function that requires it
bug
Something isn't working
magic-wands
#416
opened Jun 8, 2022 by
dewert99
Unsound package algorithm for magic wands
bug
Something isn't working
critical
magic-wands
#394
opened Jul 28, 2021 by
tdardinier
Handling unfoldings properly when asserting/exhaling
bug
Something isn't working
major
unfolding
#348
opened Feb 26, 2020 by
gauravpartha
Missing a case for inhaling (quantified wand with predicates on both sides)
bug
Something isn't working
magic-wands
major
#294
opened Jan 2, 2020 by
viper-admin
Sequence-related test case doesn't terminate
bug
Something isn't working
major
performance
#293
opened Jan 1, 2020 by
viper-admin
Missing axiom(s) in the axiomatization of sets
bug
Something isn't working
major
#292
opened Dec 13, 2019 by
viper-admin
Triggers not ideally chosen for generated predicate axioms
bug
Something isn't working
major
performance
#291
opened Nov 20, 2019 by
viper-admin
examples\list_insert_tmp.sil doesn't verify
bug
Something isn't working
magic-wands
major
#290
opened Nov 18, 2019 by
viper-admin
Incoherent loop treatment (scoping)
bug
Something isn't working
major
#289
opened Oct 30, 2019 by
viper-admin
Heap dependent triggers are instantiating more than expected
bug
Something isn't working
major
#284
opened Aug 16, 2019 by
viper-admin
Several test suite files consume too much memory
bug
Something isn't working
minor
performance
#283
opened Aug 16, 2019 by
viper-admin
Incompleteness: Carbon cannot prove that a memory location did not change even though it always held a predicate to it
bug
Something isn't working
major
#278
opened Jun 26, 2019 by
viper-admin
Incompleteness when unrolling a loop too many times
bug
Something isn't working
major
#275
opened Jun 4, 2019 by
viper-admin
Sequence-related incompletenesses
bug
Something isn't working
major
#273
opened May 16, 2019 by
viper-admin
Unsoundness: a heap dependent function is instantiated even when its precondition does not hold
bug
Something isn't working
major
#272
opened May 8, 2019 by
viper-admin
Unexpected output in examples repository
bug
Something isn't working
major
#269
opened Mar 12, 2019 by
viper-admin
validTriggerTypes in QuantifiedPermModule is too permissive
bug
Something isn't working
minor
triggers
#268
opened Mar 10, 2019 by
viper-admin
Investigate comment on line 94 of DefaultStateModule.scala
bug
Something isn't working
code inspection
major
#267
opened Feb 19, 2019 by
viper-admin
Some unexpected output is occurring after merge of MagicWands
bug
Something isn't working
magic-wands
major
#266
opened Feb 8, 2019 by
viper-admin
Some of the expected output isn't occurring in Carbon
bug
Something isn't working
major
#263
opened Jan 21, 2019 by
viper-admin
Framing of locations within predicates is not retrospective
bug
Something isn't working
major
#259
opened Oct 13, 2018 by
viper-admin
Permission constraint not deduced for example all/assume/assume10QP.sil
bug
Something isn't working
major
quantified permissions
#258
opened Oct 12, 2018 by
viper-admin
Heap-dependent triggers not yet fully supported
bug
Something isn't working
major
#257
opened Oct 12, 2018 by
viper-admin
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.