Search results

Fix check_cex_data for checking traces against STL with Breach

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on Oct 8, 2020

Select arbitrary number of memory blocks

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on Oct 8, 2020

Display Ranges problem

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#24 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on Oct 7, 2020

Bug with data concatenation

bugSomething isn't workingSomething isn't working

Status: Open.

#23 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on Oct 2, 2020

Run Simulations -- Trace Generation with Breach

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on Oct 2, 2020

Generalize Coverage - case wo/ Breach

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on Jul 28, 2020

Consistency check in the Coverage approach

bugSomething isn't workingSomething isn't working

invalidThis doesn't seem rightThis doesn't seem right

Status: Open.

#20 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on May 19, 2020

Data saved in wrong directory

bugSomething isn't workingSomething isn't working

Status: Open.

#19 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on May 9, 2020

Saving the SLX models in previous versions?

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#18 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on May 9, 2020

Different commands between different Matlab versions.

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#17 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on May 9, 2020

Error with Matlab in Windows due to different delimiters

bugSomething isn't workingSomething isn't working

Status: Open.

#16 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on May 9, 2020

Create_NN_diagram does not work in the loop

bugSomething isn't workingSomething isn't working

Status: Open.

#15 In nikos-kekatos/NNCS_matlab;

· nikos-kekatos opened on May 8, 2020