-
Notifications
You must be signed in to change notification settings - Fork 53
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
--vc-directory files use (get-value ...) without setting :produce-models, so cvc5 cannot replay them
Status: Open.#1451 In strata-org/Strata;- Status: Open.#1450 In strata-org/Strata;
- Status: Open.#1449 In strata-org/Strata;
- Status: Open.#1442 In strata-org/Strata;
- Status: Open.#1434 In strata-org/Strata;
- Status: Open.#1433 In strata-org/Strata;
ContractPass desugaring makes well-formed partial-op postconditions unprovable
bugSomething isn't workingSomething isn't workingStatus: Open.#1418 In strata-org/Strata;- Status: Open.#1411 In strata-org/Strata;
Type soundness: if/loop guards silently refine an enclosing procedure's rigid type variable
bugSomething isn't workingSomething isn't workingStatus: Open.#1410 In strata-org/Strata;Enable Laurel to check for ghostness violations
bugSomething isn't workingSomething isn't workingStatus: Open.#1407 In strata-org/Strata;Support field-granular modifies clauses in Laurel (modifies o.f)
enhancementNew feature or requestNew feature or requestStatus: Open.#1402 In strata-org/Strata;Type soundness: nested funcDecl generalizes over a type variable free in the ambient context
bugSomething isn't workingSomething isn't workingStatus: Open.#1399 In strata-org/Strata;