aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
Commit message (Expand)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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-05 16:07:14 +0000