Issues

• manage: untagging runs creates empty tag

  bug
  staticafi/mamato#32 · Filter by author tomsik68 opened on Oct 5, 2020

• results: add a way to display result files from benchexec

  enhancement
  staticafi/mamato#31 · Filter by author tomsik68 opened on Apr 22, 2020

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

  bug
  staticafi/mamato#28 · Filter by author tomsik68 opened on Dec 28, 2019

• Per-tool grouping configuration

  enhancement
  staticafi/mamato#25 · Filter by author tomsik68 opened on Oct 16, 2019

• diagram: do not show the long description on mouse hover

  enhancement
  staticafi/mamato#23 · Filter by author tomsik68 opened on Jul 29, 2019

• grouping: allow regular expressions in classifications

  enhancement
  staticafi/mamato#21 · Filter by author tomsik68 opened on Jul 1, 2019

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

  enhancement
  staticafi/mamato#18 · Filter by author mchalupa opened on Nov 28, 2018

• Merge multiple outputs into one zip file

  staticafi/mamato#16 · Filter by author mchalupa opened on Nov 4, 2018

• Add more filtering options

  enhancement
  staticafi/mamato#11 · Filter by author mchalupa opened on May 4, 2018

• MySQL connection dies after some time

  staticafi/mamato#10 · Filter by author tomsik68 opened on Apr 12, 2018

• Rename classes and tables so that it match benchexec

  staticafi/mamato#4 · Filter by author mchalupa opened on Feb 18, 2018