aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/plugin.xml
Commit message (Expand)AuthorAge
* add vsconfig flag to allow running dreal locallyLibravatar Aren Babikian2021-01-19
* crlf fixLibravatar Aren Babikian2021-01-06
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10