-
Notifications
You must be signed in to change notification settings - Fork 40
Insights: runtimeverification/haskell-backend
Overview
Loading
Could not load contribution data
Please try again later
Loading
3 Releases published by 1 person
3 Pull requests merged by 2 people
-
Remove directory name assumption in
kore-rpc-client
#3970 merged
Jul 10, 2024 -
Consider known predicates in Booster's simplifier API
#3953 merged
Jul 9, 2024 -
Start of a log processing tool
#3969 merged
Jul 9, 2024
1 Pull request opened by 1 person
-
Fix typos
#3971 opened
Jul 9, 2024
2 Issues closed by 1 person
-
Log full domain values when the user needs it
#3847 closed
Jul 7, 2024 -
Add `[depth]` logging context
#3885 closed
Jul 7, 2024
1 Issue opened by 1 person
-
Modify performance scripts to run with sequential prover
#3972 opened
Jul 9, 2024
3 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Z3 zombie processes during long proofs
#3959 commented on
Jul 10, 2024 • 0 new comments -
Explore the remainder branch when Booster is uncertain about rewrite rule conditions
#3960 commented on
Jul 10, 2024 • 0 new comments -
Update dependency: deps/k_release
#3965 commented on
Jul 10, 2024 • 0 new comments