-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Automatically download nuxmv if missing
enhancementNew feature or requestNew feature or requestStatus: Open.#51 In dSynMa/rcheck;Load verification counterexamples into the simulator
enhancementNew feature or requestNew feature or requestStatus: Open.#49 In dSynMa/rcheck;- Status: Open.#44 In dSynMa/rcheck;
- Status: Open.#41 In dSynMa/rcheck;
Add code snippets
ui/uxIssues related to the extension's user interface/user experience.Issues related to the extension's user interface/user experience.Status: Open.#39 In dSynMa/rcheck;Automated code formatting
enhancementNew feature or requestNew feature or requestui/uxIssues related to the extension's user interface/user experience.Issues related to the extension's user interface/user experience.Status: Open.#37 In dSynMa/rcheck;Add code lenses to LTOL specifications
enhancementNew feature or requestNew feature or requestui/uxIssues related to the extension's user interface/user experience.Issues related to the extension's user interface/user experience.Status: Open.#36 In dSynMa/rcheck;Create a Marketplace publisher and get a personal access token
developmentIssues with the development/building processIssues with the development/building processStatus: Open.#33 In dSynMa/rcheck;Annotate SPEC with (optional) expected verdict
grammarIssues that are strictly related to the EBNF of the languageIssues that are strictly related to the EBNF of the languagelow-priorityIssues that are not crucial and do not have to be addressed straight away.Issues that are not crucial and do not have to be addressed straight away.Status: Open.#23 In dSynMa/rcheck;Automated testing over examples
developmentIssues with the development/building processIssues with the development/building processStatus: Open.#20 In dSynMa/rcheck;Extended syntax for
forall,existsgrammarIssues that are strictly related to the EBNF of the languageIssues that are strictly related to the EBNF of the languageStatus: Open.#11 In dSynMa/rcheck;Replacing/integrating the
recipeWeb interfacelow-priorityIssues that are not crucial and do not have to be addressed straight away.Issues that are not crucial and do not have to be addressed straight away.questionFurther information is requestedFurther information is requestedStatus: Open.#5 In dSynMa/rcheck;