Search results

Automatically download nuxmv if missing

enhancementNew feature or requestNew feature or request

Status: Open.

#51 In dSynMa/rcheck;

· lou1306 opened on Dec 1, 2025

Load verification counterexamples into the simulator

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In dSynMa/rcheck;

· lou1306 opened on Nov 18, 2025

Quantifiers forall/exists cannot be used with labels in SPEC

Status: Open.

#44 In dSynMa/rcheck;

· alexandertepaev opened on Aug 25, 2025

Message variables are allowed in places where they should not be

Status: Open.

#41 In dSynMa/rcheck;

· lou1306 opened on Mar 20, 2025

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;

· lou1306 opened on Mar 3, 2025

Automated code formatting

enhancementNew feature or requestNew feature or request

ui/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;

· lou1306 opened on Mar 3, 2025

Add code lenses to LTOL specifications

enhancementNew feature or requestNew feature or request

ui/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;

· lou1306 opened on Mar 3, 2025

Create a Marketplace publisher and get a personal access token

developmentIssues with the development/building processIssues with the development/building process

Status: Open.

#33 In dSynMa/rcheck;

· lou1306 opened on Dec 22, 2024

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 language

low-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;

· lou1306 opened on Dec 16, 2024

Automated testing over examples

developmentIssues with the development/building processIssues with the development/building process

Status: Open.

#20 In dSynMa/rcheck;

· lou1306 opened on Dec 11, 2024

Extended syntax for forall, exists

grammarIssues that are strictly related to the EBNF of the languageIssues that are strictly related to the EBNF of the language

Status: Open.

#11 In dSynMa/rcheck;

· lou1306 opened on Dec 2, 2024

Replacing/integrating the recipe Web interface

low-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 requested

Status: Open.

#5 In dSynMa/rcheck;

· lou1306 opened on Nov 18, 2024