Search results

Issue with reachability

bugSomething isn't workingSomething isn't working

Status: Open.

#78 In CinRC/IRDC-CCSK;

· aubertc opened on May 1, 2023

Interplay between regenerate and interactive

bugSomething isn't workingSomething isn't working

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#77 In CinRC/IRDC-CCSK;

· aubertc opened on May 1, 2023

Short & long version of flags

software-engineeringPromoting best practisesPromoting best practises

Status: Open.

#68 In CinRC/IRDC-CCSK;

· aubertc opened on Apr 19, 2023

GUI status

Status: Open.

#57 In CinRC/IRDC-CCSK;

· aubertc opened on Feb 15, 2023

Obtaning proof of non-simulation

enhancementNew feature or requestNew feature or request

Status: Open.

#56 In CinRC/IRDC-CCSK;

· aubertc opened on Feb 15, 2023

Automatic update of CITATION.cff

software-engineeringPromoting best practisesPromoting best practises

Status: Open.

#49 In CinRC/IRDC-CCSK;

· aubertc opened on Feb 7, 2023

Code coverage test & Other Best Practices

software-engineeringPromoting best practisesPromoting best practises

Status: Open.

#47 In CinRC/IRDC-CCSK;

· aubertc opened on Jan 30, 2023

CSSK Axiomatisation

questionFurther information is requestedFurther information is requested

Status: Open.

#29 In CinRC/IRDC-CCSK;

· aubertc opened on Nov 1, 2022

Command-line argument to decide on execution choices

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In CinRC/IRDC-CCSK;

· aubertc opened on Jun 24, 2022

Easily loading examples

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In CinRC/IRDC-CCSK;

· aubertc opened on Mar 9, 2022

Adding identifiers mechanisms

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In CinRC/IRDC-CCSK;

· aubertc opened on Mar 9, 2022