aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore
Commit message (Expand)AuthorAge
* rebase dreal-integ on models20-measurementsLibravatar Aren Babikian2021-01-06
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Synthetic tokens for solver languageLibravatar Kristóf Marussy2020-05-08