aboutsummaryrefslogtreecommitdiffstats
path: root/Tests
Commit message (Expand)AuthorAge
...
| * | Add measurements, generate new jar that allows upper limit (w/o viz)Libravatar ArenBabikian2020-05-13
| * | Adjust measurement setup. TaxationWithRoot support. JAR creationLibravatar ArenBabikian2020-05-13
| * | Adjust FamilyTree MM. Add new Taxation MM with possible Multiple RootsLibravatar ArenBabikian2020-05-13
| * | reformulating (potentially inconsistent) inv49Libravatar Oszkar Semerath2020-05-12
| * | Add Satellite Case Study to testing frameworkLibravatar ArenBabikian2020-05-11
| * | Fine Tune PLEDGE Case Study Project and Main MethodLibravatar ArenBabikian2020-05-11
| * | Remove derived features from the PLEDGE MMLibravatar ArenBabikian2020-05-11
| * | Fix PLEDGE Case Study FileLibravatar ArenBabikian2020-05-10
* | | Config language WIPLibravatar Kristóf Marussy2020-05-19
|/ /
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-10
|\ \
| * | Adjust PLEDEG Java Case Study fileLibravatar ArenBabikian2020-05-09
| * | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-09
| |\ \
| | * | Finish UML2GML visualization (formerly UML2TGF)Libravatar ArenBabikian2020-05-09
| | * | Implement UML Instance 2 GML visualization mappingLibravatar ArenBabikian2020-05-09
| * | | case study fixLibravatar Oszkar Semerath2020-05-09
| |/ /
| * | Adjust FamilyTree Case StudyLibravatar ArenBabikian2020-05-08
* | | Update solver language grammarLibravatar Kristóf Marussy2020-05-08
|/ /
* | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* | Adjustments to FamilyTree and Pledge Case studiesLibravatar ArenBabikian2020-05-06
* | Rename pledge case study fileLibravatar ArenBabikian2020-04-28
* | Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
* | rename Pledge Case Studies and add familyTree case studyLibravatar ArenBabikian2020-04-27
* | Add PLEDGE case study filesLibravatar ArenBabikian2020-04-26
|/
* ViatraSolver as defaultLibravatar OszkarSemerath2018-11-07
* Ecore gen testLibravatar OszkarSemerath2018-11-07
* Example standalone runsLibravatar OszkarSemerath2018-10-08
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-28 17:18:56 +0000