-
Notifications
You must be signed in to change notification settings - Fork 145
Insights: runtimeverification/k
September 3, 2024 – September 10, 2024
Overview
Could not load contribution data
Please try again later
11 Releases published by 1 person
-
v7.1.129 K Framework Release v7.1.129
published
Sep 3, 2024 -
v7.1.130 K Framework Release v7.1.130
published
Sep 3, 2024 -
v7.1.131 K Framework Release v7.1.131
published
Sep 3, 2024 -
v7.1.132 K Framework Release v7.1.132
published
Sep 6, 2024 -
v7.1.133 K Framework Release v7.1.133
published
Sep 6, 2024 -
v7.1.134 K Framework Release v7.1.134
published
Sep 6, 2024 -
v7.1.135 K Framework Release v7.1.135
published
Sep 6, 2024 -
v7.1.136 K Framework Release v7.1.136
published
Sep 6, 2024 -
v7.1.137 K Framework Release v7.1.137
published
Sep 9, 2024 -
v7.1.138 K Framework Release v7.1.138
published
Sep 9, 2024 -
v7.1.139 K Framework Release v7.1.139
published
Sep 9, 2024
12 Pull requests merged by 7 people
-
Minimize substitutions by default
#4635 merged
Sep 9, 2024 -
Cleanups to handling ml predicates and substitutions
#4625 merged
Sep 9, 2024 -
Create Split without CSubst
#4617 merged
Sep 9, 2024 -
Adjust the sort of
mlEquals
#4633 merged
Sep 6, 2024 -
Refactoring to KCFG printer for CSubst
#4630 merged
Sep 6, 2024 -
Add tests for T-division using
llvm_interpret
#4632 merged
Sep 6, 2024 -
Improvements/refactors to substitution extraction routine
#4631 merged
Sep 6, 2024 -
Use Euclidean division/modulus to express T-division/modulus for SMT hooks
#4616 merged
Sep 6, 2024 -
release.yml: On failure run publish with verbose option enabled
#4623 merged
Sep 3, 2024 -
add ubuntu noble release
#4608 merged
Sep 3, 2024 -
Fix MacOS brew release
#4622 merged
Sep 3, 2024 -
Update poetry2nix
#4620 merged
Sep 3, 2024
4 Pull requests opened by 4 people
-
Update dependency: deps/llvm-backend_release
#4624 opened
Sep 3, 2024 -
Remove Subst.pred functionality
#4626 opened
Sep 5, 2024 -
Feature merge node
#4628 opened
Sep 6, 2024 -
Handle list random access patterns in frontend
#4634 opened
Sep 9, 2024
2 Issues closed by 1 person
-
Add test for T-division op.s using LLVM `interpreter`
#4629 closed
Sep 6, 2024 -
Potential bug in how integer division/modulus are encoded to SMT
#4606 closed
Sep 6, 2024
1 Issue opened by 1 person
-
Remove final uses of `run_process`
#4627 opened
Sep 6, 2024
6 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.
-
Merge CTerm
#4621 commented on
Sep 6, 2024 • 16 new comments -
CTerm.match_with_constraint does not return expected CSubst.constraints
#4496 commented on
Sep 6, 2024 • 0 new comments -
Node merging to reduce branching for CSE
#4425 commented on
Sep 9, 2024 • 0 new comments -
Merge node
#4541 commented on
Sep 4, 2024 • 0 new comments -
Update dependency: deps/haskell-backend_release
#4605 commented on
Sep 9, 2024 • 0 new comments -
Mergeable heuristic in KCFGSemantics for merging node
#4612 commented on
Sep 5, 2024 • 0 new comments