Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / viperproject/carbon issues and pull requests

#533 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 days ago
Labels: automated pr

#531 - Support for new expression asserting a in e

Pull Request - State: closed - Opened by marcoeilers about 2 months ago - 2 comments

#530 - Update Submodules

Pull Request - State: closed - Opened by Dspil 2 months ago
Labels: automated pr

#529 - Update upload artifact version

Pull Request - State: closed - Opened by marcoeilers 2 months ago

#528 - Update Submodules

Pull Request - State: closed - Opened by Dspil 3 months ago
Labels: automated pr

#527 - Update Submodules

Pull Request - State: closed - Opened by Dspil 3 months ago
Labels: automated pr

#526 - Adapting to Silver change

Pull Request - State: closed - Opened by marcoeilers 3 months ago

#525 - Stack overflow from Boogie

Issue - State: open - Opened by atoiz 3 months ago

#524 - Add Skolem functions to QP framing axioms

Pull Request - State: closed - Opened by jwkai 4 months ago - 3 comments

#523 - Update Submodules

Pull Request - State: closed - Opened by Dspil 5 months ago
Labels: automated pr

#522 - Heap-dependent function with QPs generates triggerless axiom

Issue - State: open - Opened by jwkai 5 months ago - 2 comments

#521 - Update Submodules

Pull Request - State: closed - Opened by Dspil 5 months ago
Labels: automated pr

#520 - Update Submodules

Pull Request - State: closed - Opened by Dspil 5 months ago
Labels: automated pr

#519 - Update Submodules

Pull Request - State: closed - Opened by Dspil 5 months ago
Labels: automated pr

#518 - Update Submodules

Pull Request - State: closed - Opened by Dspil 5 months ago
Labels: automated pr

#517 - Predicate triggers not working as expected

Issue - State: open - Opened by marcoeilers 5 months ago

#516 - Update Submodules

Pull Request - State: closed - Opened by Dspil 6 months ago
Labels: automated pr

#515 - Update Submodules

Pull Request - State: closed - Opened by Dspil 7 months ago
Labels: automated pr

#514 - Update Submodules

Pull Request - State: closed - Opened by Dspil 7 months ago
Labels: automated pr

#513 - Update Submodules

Pull Request - State: closed - Opened by Dspil 7 months ago
Labels: automated pr

#512 - Update Submodules

Pull Request - State: closed - Opened by Dspil 7 months ago
Labels: automated pr

#511 - Update Submodules

Pull Request - State: closed - Opened by Dspil 8 months ago
Labels: automated pr

#510 - Update Submodules

Pull Request - State: closed - Opened by Dspil 8 months ago
Labels: automated pr

#509 - Boogie Path in Windows broken

Issue - State: closed - Opened by ArmborstL 8 months ago - 2 comments

#508 - Update Submodules

Pull Request - State: closed - Opened by Dspil 8 months ago
Labels: automated pr

#507 - Update Submodules

Pull Request - State: closed - Opened by Dspil 8 months ago
Labels: automated pr

#506 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 months ago
Labels: automated pr

#505 - Escape quotation marks in error messages in Boogie output

Pull Request - State: closed - Opened by marcoeilers 9 months ago

#504 - Annotations lead to internal errors

Issue - State: closed - Opened by marcoeilers 9 months ago

#503 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 months ago
Labels: automated pr

#502 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 months ago
Labels: automated pr

#501 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 months ago
Labels: automated pr

#500 - udpate silver

Pull Request - State: closed - Opened by Dspil 9 months ago

#499 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 months ago
Labels: automated pr

#498 - Update Submodules

Pull Request - State: closed - Opened by Dspil 9 months ago
Labels: automated pr

#497 - update silver

Pull Request - State: closed - Opened by Dspil 9 months ago

#496 - update submodule

Pull Request - State: closed - Opened by Dspil 9 months ago

#495 - Update Submodules

Pull Request - State: closed - Opened by Dspil 10 months ago
Labels: automated pr

#494 - Update Submodules

Pull Request - State: closed - Opened by Dspil 10 months ago
Labels: automated pr

#493 - IDE changes

Pull Request - State: closed - Opened by JonasAlaif 10 months ago

#492 - Update Submodules

Pull Request - State: closed - Opened by Dspil 10 months ago
Labels: automated pr

#491 - viper-data-collection changes

Pull Request - State: closed - Opened by Simon-Hostettler 10 months ago

#490 - Update Submodules

Pull Request - State: closed - Opened by Dspil 10 months ago
Labels: automated pr

#489 - Unparsable output from Boogie

Issue - State: open - Opened by tillarnold 10 months ago

#488 - `applying` not giving permission incompleteness

Issue - State: open - Opened by JonasAlaif 10 months ago

#487 - Tests for Smoke Detection Plugin

Pull Request - State: closed - Opened by bruggerl 11 months ago

#486 - Not a PR, just running tests.

Pull Request - State: closed - Opened by marcoeilers 11 months ago

#485 - Disable bors

Pull Request - State: closed - Opened by Dspil 11 months ago

#484 - Update Submodules

Pull Request - State: closed - Opened by Dspil 12 months ago - 7 comments
Labels: automated pr

#483 - Adding an overall timeout option

Pull Request - State: closed - Opened by marcoeilers 12 months ago - 1 comment

#482 - Use local variables for the old state

Pull Request - State: closed - Opened by gauravpartha 12 months ago

#481 - Update Submodules

Pull Request - State: closed - Opened by Dspil 12 months ago - 2 comments
Labels: automated pr

#480 - Update Submodules

Pull Request - State: closed - Opened by Dspil 12 months ago - 1 comment
Labels: automated pr

#479 - Update Submodules

Pull Request - State: closed - Opened by Dspil about 1 year ago - 5 comments
Labels: automated pr

#477 - Method call translation: adjust target variables havoc

Pull Request - State: closed - Opened by gauravpartha about 1 year ago

#476 - Update Submodules

Pull Request - State: closed - Opened by Dspil about 1 year ago - 1 comment
Labels: automated pr

#475 - Update Submodules

Pull Request - State: closed - Opened by Dspil about 1 year ago - 1 comment
Labels: automated pr

#474 - Opaque function annotation

Pull Request - State: closed - Opened by marcoeilers about 1 year ago

#473 - Add missing features

Pull Request - State: closed - Opened by marcoeilers about 1 year ago - 1 comment

#472 - Update Submodules

Pull Request - State: closed - Opened by Dspil about 1 year ago - 2 comments
Labels: automated pr

#471 - added workflow to update silver automatically with PR

Pull Request - State: closed - Opened by Dspil about 1 year ago

#470 - Wand package incompleteness?

Issue - State: open - Opened by marcoeilers about 1 year ago

#469 - Unfold, fold, and unfolding must have a strictly positive permission amount

Pull Request - State: closed - Opened by marcoeilers about 1 year ago - 1 comment

#468 - Havoc scoped variables explicitly

Pull Request - State: open - Opened by gauravpartha about 1 year ago

#467 - Frontend API classes

Pull Request - State: closed - Opened by marcoeilers over 1 year ago

#466 - try out A ==> B to A ==> A && B conversion

Pull Request - State: open - Opened by alexanderjsummers over 1 year ago - 2 comments

#465 - renamed field to "optimized"

Pull Request - State: closed - Opened by alexanderjsummers over 1 year ago

#464 - Sensitive Behavior with Implications and Triggers

Issue - State: open - Opened by totoyoyo over 1 year ago - 2 comments

#463 - clean up postcondition framedness check

Pull Request - State: closed - Opened by gauravpartha over 1 year ago

#461 - Incorrect optimization for inhale-exhale expressions

Issue - State: open - Opened by gauravpartha over 1 year ago

#460 - Allow calls of non-domain functions without preconditions from domain axioms

Pull Request - State: closed - Opened by marcoeilers over 1 year ago - 4 comments

#459 - Changes to support updated `Ast` nodes

Pull Request - State: closed - Opened by JonasAlaif over 1 year ago

#458 - Potentially combine well-definedness and exhale code for pure quantifiers.

Issue - State: open - Opened by gauravpartha over 1 year ago
Labels: enhancement

#457 - Include definedness checks during exhale

Pull Request - State: closed - Opened by gauravpartha over 1 year ago - 1 comment

#456 - Send program to Boogie via stdin

Pull Request - State: closed - Opened by fpoli over 1 year ago

#455 - `asserting in`

Pull Request - State: open - Opened by dewert99 over 1 year ago

#454 - Use optimized findDomainFunction (fixes #453)

Pull Request - State: closed - Opened by fpoli over 1 year ago

#453 - Avoid linear scans in the translation

Issue - State: closed - Opened by fpoli over 1 year ago
Labels: performance

#452 - Mitigate a linear scan in translateDomainFuncApp

Pull Request - State: closed - Opened by fpoli over 1 year ago

#451 - Refactor well-definedness of field acesses and permission division

Pull Request - State: closed - Opened by gauravpartha over 1 year ago

#450 - Renames QuantifierWeightTests to avoid a name clash with Silicon

Pull Request - State: closed - Opened by ArquintL almost 2 years ago

#441 - Update to Boogie 2.15.9

Pull Request - State: closed - Opened by gauravpartha about 2 years ago - 1 comment

#439 - Quasihavoc initial support

Pull Request - State: closed - Opened by gauravpartha about 2 years ago

#435 - Order of well-definedness checks unexpected

Issue - State: open - Opened by gauravpartha about 2 years ago - 1 comment

#429 - Well definedness checking order fixes

Pull Request - State: closed - Opened by gauravpartha over 2 years ago

#406 - Unexpected behaviour for well-definedness during exhale

Issue - State: closed - Opened by gauravpartha over 2 years ago - 2 comments

#400 - add flag to desugar polymorphic maps in the encoding

Pull Request - State: closed - Opened by gauravpartha almost 3 years ago - 1 comment

#398 - fix issue 381 (existentials in function body)

Pull Request - State: closed - Opened by gauravpartha about 3 years ago

#397 - add self-framing check for predicates

Pull Request - State: closed - Opened by gauravpartha about 3 years ago

#396 - Create ci.yml

Pull Request - State: closed - Opened by gauravpartha about 3 years ago

#389 - Add support for loops formed via gotos

Pull Request - State: closed - Opened by gauravpartha over 3 years ago

#387 - Dynamic labelled old

Pull Request - State: closed - Opened by gauravpartha over 3 years ago

#369 - Revert "Add support for gotos and labels"

Pull Request - State: closed - Opened by gauravpartha almost 4 years ago

#338 - Comprehension support

Pull Request - State: closed - Opened by viper-admin almost 5 years ago - 9 comments
Labels: pull request

#315 - Allow caller of carbon.sh to set BOOGIE_EXE and Z3_EXE

Issue - State: closed - Opened by viper-admin about 9 years ago - 1 comment
Labels: merged, pull request