aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin
Commit message (Collapse)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
First version, still needs TokenSource and Linker to work.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 11:10:16 +0000