robert e354fb5652 added recording of memconfig, memspec. Tests use the memconfig in a trace for the timing

2014-04-13 11:01:21 +02:00

..

createTraceDB.sql

changed simulation manager

2014-04-10 01:06:04 +02:00

metrics.py

added par_bs

2014-04-10 00:04:38 +02:00

sampleStlGeneration.py

all constraints implemented

2014-03-30 12:52:12 +02:00

stlGenerator.py

new metrics

2014-04-02 23:13:02 +02:00

tests.py

added recording of memconfig, memspec. Tests use the memconfig in a trace for the timing

2014-04-13 11:01:21 +02:00