aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
| | | * | | | | | | | | | | Extract component fault tree modelLibravatar Kristóf Marussy2019-02-19
| | | | | | | | | | | | | |
| | | * | | | | | | | | | | [Stochastic] Fault tree transformation langaugeLibravatar Kristóf Marussy2019-02-19
| | | | | | | | | | | | | |
| | | * | | | | | | | | | | Generated files changeLibravatar Kristóf Marussy2019-02-19
| | | | | | | | | | | | | |
| | | * | | | | | | | | | | Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
| | | | | | | | | | | | | |
| | * | | | | | | | | | | | New configuration language parser WIPLibravatar Kristóf Marussy2020-06-23
| | | | | | | | | | | | | |
| | * | | | | | | | | | | | Measurements framework fixesLibravatar Kristóf Marussy2020-06-23
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | add realistic solverLibravatar 20001LastOrder2020-11-03
| |/ / / / / / / / / / / /
| * | | | | | | | | | | | Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
| | | | | | | | | | | | |
| * | | | | | | | | | | | Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
| | | | | | | | | | | | |
| * | | | | | | | | | | | FIx Boolean export to gmlLibravatar Kristóf Marussy2020-05-20
| | | | | | | | | | | | |
| * | | | | | | | | | | | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-20
| |\ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| | |\ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | Add new state coderLibravatar Kristóf Marussy2020-05-19
| | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | Config language WIPLibravatar Kristóf Marussy2020-05-19
| | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | adding numbers to gml visualizationLibravatar Oszkar Semerath2020-05-20
| | |_|_|_|/ / / / / / / / / / / / | |/| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | smarter fitness for satelliteLibravatar Oszkar Semerath2020-05-19
| | |_|_|/ / / / / / / / / / / / | |/| | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | taxation config updateLibravatar Oszkar Semerath2020-05-19
| | |_|/ / / / / / / / / / / / | |/| | | | | | | | | | | | |
| * | | | | | | | | | | | | | option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
| | |/ / / / / / / / / / / / | |/| | | | | | | | | | | |
| * | | | | | | | | | | | | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-19
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | Add most of the measurementsLibravatar ArenBabikian2020-05-18
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | intermediateConsistencyCheck controls the maySatisfiable onlyLibravatar Oszkar Semerath2020-05-19
| |/ / / / / / / / / / / / /
| * | | | | | | | | | | | | removed every occurence of check expressionsLibravatar Oszkar Semerath2020-05-18
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-17
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | update measurements setup. make archives.Libravatar ArenBabikian2020-05-17
| | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | Adjust Taxation model.Libravatar ArenBabikian2020-05-17
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | TransformationExecutionTime + weights can be controlled from configLibravatar Oszkar Semerath2020-05-17
| |/ / / / / / / / / / / / /
| * | | | | | | | | | | | | detailed runtimes + counting defined objects onlyLibravatar Oszkar Semerath2020-05-17
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Setting delimier in every printing mode to ','Libravatar Oszkar Semerath2020-05-17
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | setting delimier (third attempt)Libravatar Oszkar Semerath2020-05-17
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | separtor ; -> \tLibravatar Oszkar Semerath2020-05-14
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-14
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | Adjust Pledge, handling of many households.Libravatar ArenBabikian2020-05-14
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | fixes for the measurementLibravatar Oszkar Semerath2020-05-14
| |/ / / / / / / / / / / / /
| * | | | | | | | | | | | | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-14
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | Adjust case study master file. Add some measurementsLibravatar ArenBabikian2020-05-13
| | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | Use String to create RealExprLibravatar anqili4262020-05-13
| | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | Add measurements, generate new jar that allows upper limit (w/o viz)Libravatar ArenBabikian2020-05-13
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | removeOne for object scopeLibravatar Oszkar Semerath2020-05-14
| |/ / / / / / / / / / / / /
| * | | | | | | | | | | | | upper limit is softLibravatar Oszkar Semerath2020-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
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | memory cleaning message between tasksLibravatar Oszkar Semerath2020-05-12
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | memory cleaning for measurementsLibravatar Oszkar Semerath2020-05-12
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | removed unnecesary printingLibravatar Oszkar Semerath2020-05-12
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | removed unnecessary printingLibravatar Oszkar Semerath2020-05-12
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | precise time measurements for the numeric solverLibravatar Oszkar Semerath2020-05-12
| | | | | | | | | | | | | |