Search results

CDD x>=0 and x<0

bugSomething isn't workingSomething isn't working

Status: Open.

#100 In Ecdar/j-Ecdar;

· Brandhoej opened on Mar 12, 2023

Spaces in names

bugSomething isn't workingSomething isn't working

Status: Open.

#98 In Ecdar/j-Ecdar;

· Brandhoej opened on Feb 12, 2023

Symbol Table for identifiers and scopes

enhancementNew feature or requestNew feature or request

Status: Open.

#97 In Ecdar/j-Ecdar;

· Brandhoej opened on Dec 19, 2022

Repeated terms in <code>AndGuard</code> and <code>OrGuard</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#93 In Ecdar/j-Ecdar;

· magoorden opened on Nov 25, 2022

Logging printStackTrace and err output

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#91 In Ecdar/j-Ecdar;

· Brandhoej opened on Nov 15, 2022

Flaky tests maybe related to consistency check

bugSomething isn't workingSomething isn't working

Status: Open.

#90 In Ecdar/j-Ecdar;

· Brandhoej opened on Nov 15, 2022

What makes the E2E tests use too much memory?

enhancementNew feature or requestNew feature or request

Status: Open.

#89 In Ecdar/j-Ecdar;

· Brandhoej opened on Nov 15, 2022

Reimplement bisimilarity in TransitionSystem and Automaton

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#86 In Ecdar/j-Ecdar;

· Brandhoej opened on Oct 30, 2022

Dynamically find Grpc port

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#84 In Ecdar/j-Ecdar;

· Brandhoej opened on Oct 30, 2022

Seperation or removal of GUI

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#81 In Ecdar/j-Ecdar;

· Brandhoej opened on Oct 23, 2022

Rename the Guard class

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#80 In Ecdar/j-Ecdar;

· Brandhoej opened on Oct 23, 2022

Possibly incorrect tests

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

invalidThis doesn't seem rightThis doesn't seem right

questionFurther information is requestedFurther information is requested

Status: Open.

#79 In Ecdar/j-Ecdar;

· Brandhoej opened on Oct 23, 2022