aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin
Commit message (Expand)AuthorAge
* code for paperRealistic-Generation-SURELibravatar 20001LastOrder2020-11-15
* fix merging issueLibravatar 20001LastOrder2020-11-04
* merge with current master, comment numerical solver related loggingLibravatar 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
* Update solver language grammarLibravatar Kristóf Marussy2020-05-08