Horst Schirmeier ebbf35c509 Merge branch 'tools-report-unknown-parameters'

2014-10-01 13:58:57 +02:00

..

BasicPruner.cc

Database: more flexible get_variants()

2014-07-03 15:42:25 +02:00

BasicPruner.hpp

prune-trace: list available pruners

2014-08-28 13:58:46 +02:00

CMakeLists.txt

prune-trace: added "sampling with fault expansion"

2014-07-03 15:42:25 +02:00

FESamplingPruner.cc

prune-trace: added "sampling with fault expansion"

2014-07-03 15:42:25 +02:00

FESamplingPruner.hpp

prune-trace: list available pruners

2014-08-28 13:58:46 +02:00

main.cc

Merge branch 'tools-report-unknown-parameters'

2014-10-01 13:58:57 +02:00

Pruner.cc

prune-trace: preserve existing data

2014-08-28 11:57:40 +02:00

Pruner.hpp

prune-trace: list available pruners

2014-08-28 13:58:46 +02:00