aboutsummaryrefslogtreecommitdiffstats
path: root/Tests
Commit message (Expand)AuthorAge
* New configuration language parser WIPLibravatar Kristóf Marussy2020-06-23
* Measurements framework fixesLibravatar Kristóf Marussy2020-06-23
* Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
|\
| * smarter fitness for satelliteLibravatar Oszkar Semerath2020-05-19
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
|\|
| * taxation config updateLibravatar Oszkar Semerath2020-05-19
* | Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
|\|
| * Add most of the measurementsLibravatar ArenBabikian2020-05-18
| * update measurements setup. make archives.Libravatar ArenBabikian2020-05-17
| * 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
* | 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 19:23:56 +0000