aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
Commit message (Expand)AuthorAge
* Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
* Measurements WIPLibravatar Kristóf Marussy2019-08-14
* Bug with outgoing transitions in yakindu example.Libravatar OszkarSemerath2017-07-05
* 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-24 06:12:28 +0000