aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
Commit message (Expand)AuthorAge
* mid-measurement pushLibravatar ArenBabikian2019-10-21
* VAMPIRE: Implement Vampire measurement codeLibravatar ArenBabikian2019-10-07
* VAMPIRE: close #22, improve test structure for #39, .vql file troubleLibravatar ArenBabikian2019-04-15
* VAMPIRE: #39 Reorganise tests, working yakindu test, need debuggingLibravatar ArenBabikian2019-04-11
* Add gitignore, commit everythingLibravatar ArenBabikian2019-03-20
* 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-06-28 17:26:25 +0000