aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
Commit message (Expand)AuthorAge
* code for paperRealistic-Generation-SURELibravatar 20001LastOrder2020-11-15
* fix merging issueLibravatar 20001LastOrder2020-11-04
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Must unit propagationLibravatar Kristóf Marussy2020-08-28
* MoDeS3 unit propagation WIPLibravatar Kristóf Marussy2020-08-06
* Fix time measurementLibravatar Kristóf Marussy2020-07-29
* Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-07-16
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* Fix event storm on EMF transaction finishLibravatar Kristóf Marussy2020-07-08
* Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* Disable unrepairable match scoping for nowLibravatar Kristóf Marussy2020-06-30
* Fix scope + numerical solver interactionLibravatar Kristóf Marussy2020-06-28
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
* New configuration language parser WIPLibravatar Kristóf Marussy2020-06-23
* Config language WIPLibravatar Kristóf Marussy2020-05-19
* Synthetic tokens for solver languageLibravatar Kristóf Marussy2020-05-08