Skip to content

Issues: boogie-org/boogie

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.

Sign up for GitHub

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

32 Open 240 Closed
32 Open 240 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Civl] Paxos proof depends on unchecked assumption
#949 opened Sep 20, 2024 by shazqadeer
1
Standalone binary
#944 opened Sep 10, 2024 by wrwg
12
Bitwise operations make the SMT solver run infinitely
#940 opened Aug 15, 2024 by radumcostache
4
{:inline 0} is inconsistent
#933 opened Aug 9, 2024 by petemud
4
Irreducible control flow graphs
#921 opened Jul 26, 2024 by petemud
9
Let pruning also prune 'TypeCtorDecl' declarations enhancement
#916 opened Jul 22, 2024 by keyboardDrummer
Tests time out non-deterministically
#909 opened Jul 17, 2024 by keyboardDrummer
6
Enable modular resolution/preprocessing of Boogie programs enhancement
#889 opened May 23, 2024 by keyboardDrummer
/prune removes relevant information
#819 opened Nov 29, 2023 by glor
SMT errors when running without /prune bug
#813 opened Nov 21, 2023 by atomb
Low values of :rlimit have no effect
#801 opened Oct 18, 2023 by robin-aws
@atomb
Some SMT from monomorphic encoding rejected by CVC5 bug
#799 opened Oct 16, 2023 by atomb
@atomb
Boogie doesn't send timeLimit to CVC5 bug
#798 opened Oct 16, 2023 by atomb
@atomb
CVC5 works only with batch mode bug
#797 opened Oct 16, 2023 by atomb
@atomb
2
Boogie not Terminating with Prune on
#791 opened Oct 1, 2023 by yizhou7
7
Abstract interpretation ignores where clauses
#786 opened Sep 22, 2023 by RustanLeino
Persistent caching of verification results
#762 opened Jul 11, 2023 by emugnier
4
Missing constructor type arguments in auto-generated map axioms bug
#756 opened Jun 26, 2023 by atomb
Refactor call desugaring and passive command creation refactor
#743 opened Jun 2, 2023 by atomb
@atomb
5
Exception when Boogie exits
#733 opened May 22, 2023 by shazqadeer
6
Crash when Boogie receives SIGINT bug
#716 opened Apr 13, 2023 by keyboardDrummer
Replace call-stack based AST traversal code with heap-stack based traversal bug
#711 opened Mar 30, 2023 by keyboardDrummer
1
3
Check consistency of function parameter names in API enhancement
#702 opened Feb 27, 2023 by RustanLeino
Set exit code to non-zero when verification fails
#695 opened Feb 16, 2023 by atomb
3
Fix trace timings when vcsCores > 1 bug
#674 opened Dec 28, 2022 by cpitclaudel
ProTip! Mix and match filters to narrow down what you’re looking for.