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
/
Framework
Commit message (
Expand
)
Author
Age
*
Simple working version. Still diversity issue
Aren Babikian
2021-01-24
*
Almost done implementing collision correctly
Aren Babikian
2021-01-22
*
Major MM update + Refactor VQL + post-meeting approach change
Aren Babikian
2021-01-21
*
almost finish crossscen VQL + implement ITE handling + prelim results
Aren Babikian
2021-01-20
*
add Actor+CollisionExists constrs & adjust dreal parser & measurements
Aren Babikian
2021-01-19
*
add vsconfig flag to allow running dreal locally
Aren Babikian
2021-01-19
*
add some actor-related queries, solve minor Z3 issue
Aren Babikian
2021-01-17
*
complete queries for lane structure
Aren Babikian
2021-01-17
*
complete change of real representation BigDecimal->Double
Aren Babikian
2021-01-14
*
remove local-docker file transfer
Aren Babikian
2021-01-09
*
fix dup decl bug + adjust famTree case study
Aren Babikian
2021-01-07
*
crlf fix
Aren Babikian
2021-01-06
*
prepping measurement setup w/ dreal
Aren Babikian
2021-01-06
*
Add config flag for selecting numeric solver. Integ with Z3
Aren Babikian
2021-01-06
*
implement getOneSolution with Dreal Integration
Aren Babikian
2021-01-06
*
implement isSatisfiable with Dreal integration
Aren Babikian
2021-01-06
*
add numericProblemSolver supertype
Aren Babikian
2021-01-06
*
prep for refactoring Numeric Probelm Solvers
Aren Babikian
2021-01-06
*
implement setup for dreal calls
Aren Babikian
2021-01-06
*
Fix VQL validator breakage after Execute Application Configuration
Kristóf Marussy
2020-12-02
*
Merge branch 'master' of github.com:viatra/VIATRA-Generator
Kristóf Marussy
2020-11-26
|
\
|
*
NumericProblemSolver is initialized only if it is necessary
Oszkar Semerath
2020-11-13
*
|
Fix Z3 dependency
Kristóf Marussy
2020-11-26
|
/
*
Merge branch 'kris'
Kristóf Marussy
2020-06-25
|
\
|
*
Merge remote-tracking branch 'origin/master' into kris
Kristóf Marussy
2019-08-30
|
|
\
|
*
|
Dump required Xbase version down to 2.17
Kristóf Marussy
2019-08-01
|
*
|
Merge remote-tracking branch 'origin/master' into kris
Kristóf Marussy
2019-08-01
|
|
\
\
|
*
\
\
Merge remote-tracking branch 'origin/master' into kris
Kristóf Marussy
2019-06-08
|
|
\
\
\
|
*
\
\
\
Merge remote-tracking branch 'origin/master' into kris
Kristóf Marussy
2019-05-06
|
|
\
\
\
\
|
*
\
\
\
\
Merge remote-tracking branch 'origin/master' into kris
Kristóf Marussy
2019-05-04
|
|
\
\
\
\
\
|
*
\
\
\
\
\
Merge remote-tracking branch 'origin/master' into kris
Kristóf Marussy
2019-04-16
|
|
\
\
\
\
\
\
|
*
|
|
|
|
|
|
Infrastructure for objective functions
Kristóf Marussy
2019-04-07
|
*
|
|
|
|
|
|
Two-valued fault tree analyzer WIP
Kristóf Marussy
2019-02-19
|
*
|
|
|
|
|
|
Build with Eclipse 2018.12, generated files change
Kristóf Marussy
2019-02-19
*
|
|
|
|
|
|
|
Fix attribute export to xmi
Kristóf Marussy
2020-05-20
*
|
|
|
|
|
|
|
Setting delimier in every printing mode to ','
Oszkar Semerath
2020-05-17
*
|
|
|
|
|
|
|
separtor ; -> \t
Oszkar Semerath
2020-05-14
*
|
|
|
|
|
|
|
Use String to create RealExpr
anqili426
2020-05-13
*
|
|
|
|
|
|
|
removed unnecesary printing
Oszkar Semerath
2020-05-12
*
|
|
|
|
|
|
|
logging detailed measurement data for the numerical solver
Oszkar Semerath
2020-05-12
*
|
|
|
|
|
|
|
precise time measurements for the numeric solver
Oszkar Semerath
2020-05-12
*
|
|
|
|
|
|
|
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
Oszkar Semerath
2020-05-11
|
\
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
|
Fixed bug in setting constant types
anqili426
2020-05-11
*
|
|
|
|
|
|
|
|
Bigliteral serialization in xmi transformation fixed
Oszkar Semerath
2020-05-11
|
/
/
/
/
/
/
/
/
*
|
|
|
|
|
|
|
Added support for real numbers
anqili426
2020-05-10
*
|
|
|
|
|
|
|
closing numerical solver
Oszkar Semerath
2020-05-10
*
|
|
|
|
|
|
|
Numeric Solver integration to exploration
Oszkar Semerath
2020-05-09
*
|
|
|
|
|
|
|
Rebuild with Eclipse 2020-03
Kristóf Marussy
2020-05-07
*
|
|
|
|
|
|
|
viatra parsing fixes
Oszkar Semerath
2020-05-07
*
|
|
|
|
|
|
|
Adjust classpath for Z3 in viatra2logic
ArenBabikian
2020-05-06
[next]