Search results

manage: untagging runs creates empty tag

bug

Status: Open.

#32 In staticafi/mamato;

· tomsik68 opened on Oct 5, 2020

results: add a way to display result files from benchexec

enhancement

Status: Open.

#31 In staticafi/mamato;

· tomsik68 opened on Apr 22, 2020

tools: filtering by a tag also matches tags with different name

bug

Status: Open.

#28 In staticafi/mamato;

· tomsik68 opened on Dec 28, 2019

Per-tool grouping configuration

enhancement

Status: Open.

#25 In staticafi/mamato;

· tomsik68 opened on Oct 16, 2019

diagram: do not show the long description on mouse hover

enhancement

Status: Open.

#23 In staticafi/mamato;

· tomsik68 opened on Jul 29, 2019

grouping: allow regular expressions in classifications

enhancement

Status: Open.

#21 In staticafi/mamato;

· tomsik68 opened on Jul 1, 2019

results view: show only categories for which there are some results

enhancement

Status: Open.

#18 In staticafi/mamato;

· mchalupa opened on Nov 28, 2018

Merge multiple outputs into one zip file

Status: Open.

#16 In staticafi/mamato;

· mchalupa opened on Nov 4, 2018

Add more filtering options

enhancement

Status: Open.

#11 In staticafi/mamato;

· mchalupa opened on May 4, 2018

MySQL connection dies after some time

Status: Open.

#10 In staticafi/mamato;

· tomsik68 opened on Apr 12, 2018

Rename classes and tables so that it match benchexec

Status: Open.

#4 In staticafi/mamato;

· mchalupa opened on Feb 18, 2018