aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
Commit message (Expand)AuthorAge
* crlf fixLibravatar Aren Babikian2021-01-06
* Must unit propagationLibravatar Kristóf Marussy2020-08-28
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| * Ensure that experiment runner code compilesLibravatar Kristóf Marussy2019-08-01
| * Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
* | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
|/
* Added a set of mutated queries to yakinduLibravatar OszkarSemerath2017-10-27
* Bug with outgoing transitions in yakindu example.Libravatar OszkarSemerath2017-07-05
* generated code for the newly added typesLibravatar OszkarSemerath2017-06-21
* Added missing types: exit state, final state and choiceLibravatar OszkarSemerath2017-06-21
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 05:00:26 +0000