Search results

waiting for port connection, then shows illegal instruction

Status: Open.

#49 In SVL-PSU/crete-dev;

· TR174 opened on Dec 19, 2019

waiting for port connection

Status: Open.

#48 In SVL-PSU/crete-dev;

· priyangavij opened on Oct 12, 2019

Allow symbolic files of size 0

enhancement

Status: Open.

#46 In SVL-PSU/crete-dev;

· moralismercatus opened on Jun 1, 2018

What is the purpose of taint engine vreg blacklist?

question

Status: Open.

#45 In SVL-PSU/crete-dev;

· moralismercatus opened on May 22, 2018

Assertion "a non-cond-br tb contains conditional branch" failed

Status: Open.

#43 In SVL-PSU/crete-dev;

· moralismercatus opened on Mar 1, 2018

Support symbolic files with symbolic size

enhancement

Status: Open.

#42 In SVL-PSU/crete-dev;

· likebreath opened on Feb 23, 2018

Improve README for recent updates

doc

enhancement

Status: Open.

#40 In SVL-PSU/crete-dev;

· likebreath opened on Nov 27, 2017

Handle trace translation fails in VMNodeFSM

enhancement

Status: Open.

#39 In SVL-PSU/crete-dev;

· likebreath opened on Nov 27, 2017

crete-tc-compare -b returns nonzero sometimes if test-case folder is empty

bug

low

Status: Open.

#37 In SVL-PSU/crete-dev;

· moralismercatus opened on Oct 5, 2017

Node is unnecessarily locked during transmission of trace to Dispatch

enhancement

low

Status: Open.

#36 In SVL-PSU/crete-dev;

· moralismercatus opened on Sep 26, 2017

VMNode deadloops when QEMU fails to start

bug

Status: Open.

#30 In SVL-PSU/crete-dev;

· moralismercatus opened on Jun 15, 2017

Use full Boost libs for guest for simplicity

enhancement

low

Status: Open.

#29 In SVL-PSU/crete-dev;

· moralismercatus opened on May 22, 2017