-
Notifications
You must be signed in to change notification settings - Fork 5
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#1078 In runtimeverification/mir-semantics;
- Status: Open.#1070 In runtimeverification/mir-semantics;
Reloading proof crashes on with
nixinstallationbugSomething isn't workingSomething isn't workingStatus: Open.Unify #traverseProjection value representation to eliminate singleton Range round-trips
area:semanticsK semantics definitionsK semantics definitionskind:refactorCode restructuringCode restructuringpriority:p1Important but not most urgentImportant but not most urgentstatus:triageNew, not yet organizedNew, not yet organizedtype:taskWell-scoped, directly executable workWell-scoped, directly executable workStatus: Open.#1011 In runtimeverification/mir-semantics;feat: add address allocation model for pointer-to-integer semantics
status:readyClear and approved by humanClear and approved by humanStatus: Open.#1002 In runtimeverification/mir-semantics;- Status: Open.#997 In runtimeverification/mir-semantics;
No-LLVM-kompile approach causes 5x prove performance regression due to kore-rpc fallback
area:semanticsK semantics definitionsK semantics definitionskind:perfPerformance improvementPerformance improvementpriority:p2Valuable but can waitValuable but can waitstatus:iceboxValuable but not being pursued nowValuable but not being pursued nowtype:bugUnexpected behavior or regressionUnexpected behavior or regressionStatus: Open.#992 In runtimeverification/mir-semantics;Inline Ty indices: replace ty(Int) references with actual type data
area:semanticsK semantics definitionsK semantics definitionsarea:typesType systemType systempriority:p2Valuable but can waitValuable but can waitstatus:triageNew, not yet organizedNew, not yet organizedtype:featureNew capability or enhancementNew capability or enhancementStatus: Open.#991 In runtimeverification/mir-semantics;- Status: Open.#970 In runtimeverification/mir-semantics;
- Status: Open.#964 In runtimeverification/mir-semantics;
- Status: Open.#949 In runtimeverification/mir-semantics;
Semantics of iterator core code
bugSomething isn't workingSomething isn't workingStatus: Open.#914 In runtimeverification/mir-semantics;