-
Notifications
You must be signed in to change notification settings - Fork 25
Pull requests: viperproject/carbon
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Implementing exhaleExt for quantified permissions
#589
opened Jul 12, 2026 by
marcoeilers
Contributor
Loading…
Bump the all group with 2 updates
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
major
#586
opened Jul 1, 2026 by
dependabot
Bot
Loading…
Various updates in preparation for Z3 version update
#585
opened May 20, 2026 by
marcoeilers
Contributor
•
Draft
Carbon implementation of new backend-independent counterexample format
#574
opened Sep 1, 2025 by
marcoeilers
Contributor
Loading…
Desugaring quasihavocall to an exhale-inhale pair
#547
opened Dec 30, 2024 by
marcoeilers
Contributor
Loading…
Using inverse functions to encode predicate function injectivity
#545
opened Dec 29, 2024 by
marcoeilers
Contributor
Loading…
try out A ==> B to A ==> A && B conversion
#466
opened Jul 4, 2023 by
alexanderjsummers
Contributor
•
Draft
WIP: Function axiomatization fix using uninterpreted guard function
#434
opened Oct 3, 2022 by
gauravpartha
Contributor
•
Draft
Unroll first and last iteration in encoding
#399
opened Dec 6, 2021 by
JonasAlaif
Contributor
•
Draft
injectivity test moved to checkDefinednessImpl
pull request
#319
opened Feb 20, 2020 by
viper-admin
Member
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.