aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
Commit message (Collapse)AuthorAge
* VAMPIRE: last commitLibravatar ArenBabikian2020-06-07
|
* mid-measurement pushLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: Implement Vampire measurement codeLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: close #22, improve test structure for #39, .vql file troubleLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: #39 Reorganise tests, working yakindu test, need debuggingLibravatar ArenBabikian2020-06-07
|
* 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