Search results

Support SARIF output format

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In model-checking/cbmc-viewer;

· ligurio opened on May 3, 2024

Reduce perceived clutter in viewer reports

enhancementNew feature or requestNew feature or request

Status: Open.

#145 In model-checking/cbmc-viewer;

· tautschnig opened on Aug 24, 2023

Restrict coverage to reachable functions

enhancementNew feature or requestNew feature or request

Status: Open.

#69 In model-checking/cbmc-viewer;

· markrtuttle opened on Dec 7, 2021

Produce stub and missing function reports

enhancementNew feature or requestNew feature or request

Status: Open.

#63 In model-checking/cbmc-viewer;

· markrtuttle opened on Oct 20, 2021

Use pathlib Path for portability

enhancementNew feature or requestNew feature or request

Status: Open.

#62 In model-checking/cbmc-viewer;

· markrtuttle opened on Oct 20, 2021

Allow --property flag to be omitted

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In model-checking/cbmc-viewer;

· markrtuttle opened on Oct 20, 2021

Fold away sequences of steps that all point to the same source location.

enhancementNew feature or requestNew feature or request

Status: Open.

#44 In model-checking/cbmc-viewer;

· vecchiot-aws opened on Jul 7, 2021

Uniformly escape text used in html markup

enhancementNew feature or requestNew feature or request

Status: Open.

#43 In model-checking/cbmc-viewer;

· markrtuttle opened on Jun 22, 2021

Distinguish between coverage of source code and proof code

enhancementNew feature or requestNew feature or request

Status: Open.

#37 In model-checking/cbmc-viewer;

· feliperodri opened on May 23, 2021