Search results

Cleanup command should delete klee output aswell

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In markhakansson/rauk;

· markhakansson opened on Jun 24, 2021

Add examples to rauk

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In markhakansson/rauk;

· markhakansson opened on Jun 8, 2021

Task names are incorrectly labeled during measuring in release mode

bugSomething isn't workingSomething isn't working

Status: Open.

#45 In markhakansson/rauk;

· markhakansson opened on Jun 3, 2021

Resources are set as unknown during measurement on some DWARF labels

bugSomething isn't workingSomething isn't working

Status: Open.

#42 In markhakansson/rauk;

· markhakansson opened on May 24, 2021

Test vector size does not match resource size

bugSomething isn't workingSomething isn't working

Status: Open.

#31 In markhakansson/rauk;

· markhakansson opened on May 6, 2021

Include the test vectors in the measurement output

enhancementNew feature or requestNew feature or request

Status: Open.

#29 In markhakansson/rauk;

· markhakansson opened on May 3, 2021

More optimized use of DWARF data

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In markhakansson/rauk;

· markhakansson opened on Apr 28, 2021

Create a DOCKERFILE

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In markhakansson/rauk;

· markhakansson opened on Apr 6, 2021

Add a man page with the package

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In markhakansson/rauk;

· markhakansson opened on Mar 4, 2021