aboutsummaryrefslogtreecommitdiffstats
path: root/Tests
Commit message (Collapse)AuthorAge
* Adjust Taxation model.Libravatar ArenBabikian2020-05-17
|
* Adjust Pledge, handling of many households.Libravatar ArenBabikian2020-05-14
|
* Adjust case study master file. Add some measurementsLibravatar ArenBabikian2020-05-13
|
* 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
|
* 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
|/ | | | First version, still needs TokenSource and Linker to work.
* 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
| | | Those folders are used for generated models.
* 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.2) at 2024-07-03 16:33:37 +0000