-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
docs: RFMIG outreach (Rust Formal Methods Interest Group)
documentationImprovements or additions to documentationImprovements or additions to documentationreadyAccepted for implementation (MPI/automation may pick up)Accepted for implementation (MPI/automation may pick up)Status: Open.#1411 In assura-lang/assura;docs: post launch pack (Show HN, Lobsters, Reddit, TWiR)
documentationImprovements or additions to documentationImprovements or additions to documentationreadyAccepted for implementation (MPI/automation may pick up)Accepted for implementation (MPI/automation may pick up)Status: Open.#1410 In assura-lang/assura;docs: submit Assura to relevant awesome-lists after launch assets ready
documentationImprovements or additions to documentationImprovements or additions to documentationreadyAccepted for implementation (MPI/automation may pick up)Accepted for implementation (MPI/automation may pick up)Status: Open.#1396 In assura-lang/assura;tech-debt: update cvc5-rs when deprecated-literal-operator fix lands
readyAccepted for implementation (MPI/automation may pick up)Accepted for implementation (MPI/automation may pick up)tech-debtTechnical debt and cleanupTechnical debt and cleanupStatus: Open.#436 In assura-lang/assura;