Skip to content

Pull requests: viperproject/gobra

New pull request New
14 Open 477 Closed
14 Open 477 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Reinstate the usage of the SilFrontend API and support for the refute statement
#818 opened Jan 10, 2025 by jcp19 Loading…
2 tasks done
[WIP] Package invariants
#810 opened Dec 17, 2024 by jcp19 • Draft
1
Hyper Gobra
#802 opened Nov 29, 2024 by jcp19 Loading…
2
Support for Ghost Types
#773 opened Jun 24, 2024 by ArquintL Loading…
4
Viper data collection changes
#751 opened Mar 24, 2024 by Simon-Hostettler • Draft
@Dspil
14
Draft: Type Modifier Unification
#672 opened Aug 25, 2023 by koflin • Draft
Parsing and type-checking generics
#671 opened Aug 24, 2023 by koflin Loading…
57
Private Specification, Partial Struct Encoding, and Constructor
#619 opened Feb 8, 2023 by vizual1 • Draft
148
Simplify generated code for variable declarations with initialization expressions
#572 opened Nov 11, 2022 by jcp19 • Draft
@jcp19
4
Interface predicate instances imply that the interface argument is not nil
#536 opened Oct 3, 2022 by Felalolf Loading…
2
Fix issue 491
#531 opened Sep 29, 2022 by Felalolf Loading…
1
7
Add tests for carbon
#485 opened Jul 14, 2022 by jcp19 Loading…
Removes Injectivity Assumptions on Inhale
#409 opened Feb 8, 2022 by ArquintL • Draft
1
6
Counterexamples (WIP)
#258 opened Apr 20, 2021 by fabioali • Draft
2
ProTip! Adding no:label will show everything without a label.