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
Branch
Commit message
Author
Age
master
changed dot visualization to svg to make it compatible with batik 1.14
OszkarSemerath
2 years
web-demo
Merge remote-tracking branch 'origin/web-demo'
Kristóf Marussy
3 years
statecoding_new
initial commit for new state coding
20000LastOrder
3 years
V4transformation
Numeric solver dreal hardcoding -> config
OszkarSemerath
3 years
dreal-integration
CrossingScenario case study is ready for server
Aren Babikian
3 years
models20-measurements
add readme and diversity measurements
Aren Babikian
3 years
Realistic-Generation-SURE
code for paper
20001LastOrder
3 years
Vampire-New
This branch is ready to be merged into master
ArenBabikian
4 years
Attribute-Solver
Get a different solution
anqili426
4 years
RealisticMetrics
REALMET: forgot to add .
ArenBabikian
5 years
[...]
Age
Commit message
Author
2022-04-01
changed dot visualization to svg to make it compatible with batik 1.14
HEAD
master
OszkarSemerath
2022-04-01
made Z3 optional dependency if there are no numbers
OszkarSemerath
2022-04-01
Numeric solver fixes
OszkarSemerath
2021-07-30
Numeric solver dreal hardcoding -> config
V4transformation
OszkarSemerath
2021-07-29
Config updated and createSharedVersionedMapStores service
OszkarSemerath
2021-07-29
Diffcursor fixes & continuous hash provider compare service.
Oszkar Semerath
2021-07-28
Adding timeout to tests
Oszkar Semerath
2021-07-28
Updated cursor interface, removed inefficient iterator interface.
Oszkar Semerath
2021-07-26
MutableNode hash calcultion simplified
Oszkar Semerath
2021-07-26
ShiftDepth argument check
Oszkar Semerath
[...]
Clone
https://git.marussy.com/VIATRA-Generator
ssh://gitolite@marussy.com/VIATRA-Generator.git