Search results

Move reusable widgets into separate (appropriate) packages

Status: Open.

#99 In GaloisInc/surveyor;

· travitch opened on Jan 13, 2021

Add semantic differentiation in the graphviz rendering of formulas

Status: Open.

#97 In GaloisInc/surveyor;

· travitch opened on Jan 12, 2021

Add a viewer for the current path condition while suspended

Status: Open.

#85 In GaloisInc/surveyor;

· travitch opened on Jan 9, 2021

Use the ValueViewer widget in the symbolic execution inspector

Status: Open.

#68 In GaloisInc/surveyor;

· travitch opened on Jun 26, 2020

Allow hiding sub-terms of named values in the ValueViewer

Status: Open.

#63 In GaloisInc/surveyor;

· travitch opened on Jun 22, 2020

The filename in the state is obsolete

Status: Open.

#62 In GaloisInc/surveyor;

· travitch opened on Jun 22, 2020

ValueViewer term naming

Status: Open.

#57 In GaloisInc/surveyor;

· travitch opened on Jun 20, 2020

·  

Demo 1

CFG and Call Graph rendering to Graphviz

enhancementNew feature or requestNew feature or request

Status: Open.

#55 In GaloisInc/surveyor;

· travitch opened on Jun 17, 2020

·  

Demo 2

Encode "current object" rules declaratively

Status: Open.

#53 In GaloisInc/surveyor;

· travitch opened on Jun 15, 2020

Add dependency analysis/visualization to the ValueViewer

Status: Open.

#52 In GaloisInc/surveyor;

· travitch opened on Jun 15, 2020

·  

Demo 1

Finish implementing cases in the ValueViewer

enhancementNew feature or requestNew feature or request

uiFrontend-specific taskFrontend-specific task

Status: Open.

#49 In GaloisInc/surveyor;

· travitch opened on Jun 15, 2020

·  

Demo 1

SAW Integration

blue-skyA longer-term ideaA longer-term idea

Status: Open.

#45 In GaloisInc/surveyor;

· travitch opened on Jun 12, 2020