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
/
Tests
/
MODELS2020-CaseStudies
/
case.study.pledge.run
Mode
Name
Size
-rw-r--r--
.classpath
470
log
stats
plain
blame
-rw-r--r--
.gitignore
120
log
stats
plain
blame
-rw-r--r--
.project
1679
log
stats
plain
blame
d---------
.settings
168
log
stats
plain
d---------
META-INF
39
log
stats
plain
-rw-r--r--
MODELS2020Plots-temp.ipynb
26930
log
stats
plain
blame
-rw-r--r--
MODELS2020Plots.ipynb
226713
log
stats
plain
blame
-rw-r--r--
RunGeneratorConfig.jar
78169348
log
stats
plain
blame
-rw-r--r--
build.properties
132
log
stats
plain
blame
d---------
config
509
log
stats
plain
d---------
inputs
654
log
stats
plain
d---------
ocl
39
log
stats
plain
d---------
plots
51
log
stats
plain
-rw-r--r--
plugin.xml
48
log
stats
plain
blame
d---------
queries
418
log
stats
plain
-rw-r--r--
readme-vm.md
12241
log
stats
plain
blame
-rwxr-xr-x
run.sh
490
log
stats
plain
blame
-rwxr-xr-x
runCrossScenario.sh
2007
log
stats
plain
blame
-rwxr-xr-x
runCrossScenarioStrategy.sh
1243
log
stats
plain
blame
-rwxr-xr-x
runFamilyTree.sh
907
log
stats
plain
blame
-rwxr-xr-x
runFamilyTree_exact.sh
834
log
stats
plain
blame
-rwxr-xr-x
runSatellite.sh
897
log
stats
plain
blame
-rwxr-xr-x
runTaxation.sh
948
log
stats
plain
blame
-rwxr-xr-x
runTest.sh
296
log
stats
plain
blame
-rwxr-xr-x
runTestCrossScenario.sh
727
log
stats
plain
blame
d---------
src
/
run
30
log
stats
plain