[go: nahoru, domu]
Skip to content

Issues: runtimeverification/haskell-backend

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

134 Open 1,150 Closed
134 Open 1,150 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

Modify performance scripts to run with sequential prover
#3972 opened Jul 9, 2024 by geo2a
Z3 zombie processes during long proofs
#3959 opened Jun 24, 2024 by jberthold
@goodlyrottenapple
1
Compute remainders in booster
#3956 opened Jun 21, 2024 by goodlyrottenapple
Optimising SAT checks enhancement New feature or request
#3952 opened Jun 20, 2024 by PetarMax
1
Reasoning about remainders bug
#3948 opened Jun 18, 2024 by PetarMax
@geo2a @PetarMax
Regression in the implies endpoint of booster-dev needs-reproducing
#3941 opened Jun 14, 2024 by tothtamas28
1
Investigate the background of #3917 (injections and SMT)
#3920 opened Jun 5, 2024 by jberthold
Make SMT timeout increase strategy configurable
#3910 opened May 31, 2024 by geo2a
Enable using cvc5 SMT solver in Kore
#3905 opened May 28, 2024 by geo2a
2
Treat all terms of sort Bool as Predicate in "get-model" booster Relates to booster code
#3903 opened May 27, 2024 by geo2a
Use the SMT solver when checking equations' side condtions in Booster
#3902 opened May 27, 2024 by geo2a
1
@jberthold
1
Create a profiler leveraging the contextual logging
#3888 opened May 22, 2024 by geo2a
3
Add "hard" integration test for Booster's SMT solver interface
#3887 opened May 22, 2024 by geo2a
Filter requires clause a second time when applyin rewrite rules in Booster
#3886 opened May 21, 2024 by geo2a
Non-terminating simplifications bug
#3873 opened May 15, 2024 by PetarMax
1
Remove log-failed-rewrites "execute" request parameter cleanup
#3872 opened May 15, 2024 by geo2a
Add a few tests for booster's implication endpoint
#3869 opened May 15, 2024 by jberthold
Extend definedness analysis to equations and output results in user-friendly way
#3868 opened May 15, 2024 by jberthold
@goodlyrottenapple
Improving pre-SMT reasoning capabilities enhancement New feature or request
#3861 opened May 14, 2024 by PetarMax
6
Booster's and Kore's "implies" endpoints disagree on a pyk integration test
#3857 opened May 10, 2024 by geo2a
3
Improve implication endpoint in booster
#3854 opened May 9, 2024 by goodlyrottenapple
2
Booster: Add internalised representations for Int and Bool
#3848 opened May 3, 2024 by jberthold
New command kore-load for computing needed issues with definitions
#3840 opened May 1, 2024 by ehildenb
Evaluate performance and bottlenecks in MX semantics
#3813 opened Apr 16, 2024 by jberthold
@jberthold
Branch returned although one of the next states simplifies to #bottom
#3764 opened Apr 10, 2024 by jberthold
1 of 2 tasks
@jberthold
2
ProTip! Find all open issues with in progress development work with linked:pr.