Skip to content

Pull requests: viperproject/gobra

New pull request New
11 Open 579 Closed
11 Open 579 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump actions/checkout from 6 to 7 in the all group dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code major
#1041 opened Jul 1, 2026 by dependabot Bot Loading…
Update Submodules automated pr
#1040 opened Jul 1, 2026 by viper-admin Member Loading…
Implement bounded integer encoding with overflow checking
#1015 opened Apr 15, 2026 by jcp19 Contributor • Draft
Fix integer literal type inference for subexpressions of binary expressions
#1014 opened Apr 11, 2026 by jcp19 Contributor • Draft
4 tasks
[Draft] Add assert timeout configuration option for Silicon backend
#1013 opened Apr 10, 2026 by jcp19 Contributor • Draft
4
atomic methods and invariants
#983 opened Dec 23, 2025 by jcp19 Contributor • Draft
4 tasks done
54
Introduce Hyper Functions / Fix issue 846
#951 opened Aug 5, 2025 by jcp19 Contributor • Draft
1 of 4 tasks
1
Fix issue #841
#919 opened Apr 22, 2025 by jcp19 Contributor • Draft
1
8
Parallelize CI enhancement New feature or request
#889 opened Mar 13, 2025 by ArquintL Member • Draft
3 tasks
2
Interface predicate instances imply that the interface argument is not nil
#536 opened Oct 3, 2022 by Felalolf Contributor Loading…
2
Fix issue 491
#531 opened Sep 29, 2022 by Felalolf Contributor • Draft
1
@jcp19
8
ProTip! What’s not been updated in a month: updated:<2026-06-01.