index
:
VIATRA-Generator
Attribute-Solver
Realistic-Generation-SURE
RealisticMetrics
Scope-PS-Refactor
V4transformation
Vampire-ArenB
Vampire-New
cardinality-counter
dreal-integration
hypergraphs
master
models20-measurements
smartgridgenerator
statecoding_new
web-demo
Mirror of https://github.com/viatra/VIATRA-Generator
Contributors to the VIATRA Generator project
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Domains
/
github-graph
/
src-gen
/
queries
Mode
Name
Size
-rw-r--r--
.CheckAction.java._trace
7387
log
stats
plain
blame
-rw-r--r--
.CheckUserAction.java._trace
9454
log
stats
plain
blame
-rw-r--r--
.Committer.java._trace
8959
log
stats
plain
blame
-rw-r--r--
.ConsecutiveClosesWithoutReopen.java._trace
6301
log
stats
plain
blame
-rw-r--r--
.ConsecutiveReopensWithoutClose.java._trace
3964
log
stats
plain
blame
-rw-r--r--
.ConsecutiveSubWithoutUnSub.java._trace
6225
log
stats
plain
blame
-rw-r--r--
.ConsecutiveUnSubWithoutSub.java._trace
6225
log
stats
plain
blame
-rw-r--r--
.EventUser.java._trace
6198
log
stats
plain
blame
-rw-r--r--
.IsClose.java._trace
5542
log
stats
plain
blame
-rw-r--r--
.IsReopen.java._trace
5542
log
stats
plain
blame
-rw-r--r--
.IsSubscribe.java._trace
7402
log
stats
plain
blame
-rw-r--r--
.IsUnSubscribe.java._trace
7402
log
stats
plain
blame
-rw-r--r--
.NoCommitter.java._trace
3947
log
stats
plain
blame
-rw-r--r--
.NoUser.java._trace
3947
log
stats
plain
blame
-rw-r--r--
.gitignore
244
log
stats
plain
blame
-rw-r--r--
CheckAction.java
33292
log
stats
plain
blame
-rw-r--r--
CheckUserAction.java
39608
log
stats
plain
blame
-rw-r--r--
Committer.java
27308
log
stats
plain
blame
-rw-r--r--
ConsecutiveClosesWithoutReopen.java
23165
log
stats
plain
blame
-rw-r--r--
ConsecutiveReopensWithoutClose.java
22434
log
stats
plain
blame
-rw-r--r--
ConsecutiveSubWithoutUnSub.java
29607
log
stats
plain
blame
-rw-r--r--
ConsecutiveUnSubWithoutSub.java
29613
log
stats
plain
blame
-rw-r--r--
EventUser.java
26800
log
stats
plain
blame
-rw-r--r--
IsClose.java
28115
log
stats
plain
blame
-rw-r--r--
IsReopen.java
28181
log
stats
plain
blame
-rw-r--r--
IsSubscribe.java
34351
log
stats
plain
blame
-rw-r--r--
IsUnSubscribe.java
34479
log
stats
plain
blame
-rw-r--r--
NoCommitter.java
19862
log
stats
plain
blame
-rw-r--r--
NoUser.java
19712
log
stats
plain
blame