aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.run
Commit message (Expand)AuthorAge
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Must unit propagationLibravatar Kristóf Marussy2020-08-28
* Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
* MeasurementScriptRunner fixLibravatar Kristóf Marussy2019-10-29
* FAM metamodel loader experimentsLibravatar Kristóf Marussy2019-08-30
* Measurements WIPLibravatar Kristóf Marussy2019-08-22
* Measurements WIPLibravatar Kristóf Marussy2019-08-15
* Measurements WIPLibravatar Kristóf Marussy2019-08-14
* Fix enum literal support for FAMLibravatar Kristóf Marussy2019-08-02
* Trying to run generator in measurement environmentLibravatar Kristóf Marussy2019-08-01
* Ensure that experiment runner code compilesLibravatar Kristóf Marussy2019-08-01
* Removed PQuery from API, IQuerySpecification is used insteadLibravatar OszkarSemerath2018-01-23
* Test and measurement runnersLibravatar OszkarSemerath2017-10-27
* RunnersLibravatar OszkarSemerath2017-10-17
* measurement and mutant coverageLibravatar OszkarSemerath2017-10-16
* Research paper measurement configuration updatesLibravatar OszkarSemerath2017-09-27
* Alloy ExamplesLibravatar OszkarSemerath2017-08-20
* Bugfixing typo in generated queriesLibravatar OszkarSemerath2017-08-16
* runners with new type scopesLibravatar OszkarSemerath2017-08-16
* The test runners now ignore every folder beginning with "output*"Libravatar OszkarSemerath2017-07-12
* Corrected the configuration in the test runners.Libravatar OszkarSemerath2017-07-12
* Pattern coverage measuring program.Libravatar OszkarSemerath2017-07-05
* Example configuration for running measurements.Libravatar OszkarSemerath2017-07-05
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
* Initial commit, migrating from SVNLibravatar OszkarSemerath2017-06-10