-
Notifications
You must be signed in to change notification settings - Fork 52
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#1420 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;Type soundness: call statement silently refines an enclosing procedure's rigid type variable
bugSomething isn't workingSomething isn't workingStatus: Open.#1397 In strata-org/Strata;Unsound: nested funcDecl specializes a procedure's type variable
bugSomething isn't workingSomething isn't workingStatus: Open.typeDecl/funcDecl leak out of blocks and across ite branches in typeCheckAux
bugSomething isn't workingSomething isn't workingStatus: Open.Core: path-conditions leak across procedures via structured exit — unsound (vacuous pass)
bugSomething isn't workingSomething isn't workingStatus: Open.#1390 In strata-org/Strata;- Status: Open.#1388 In strata-org/Strata;