aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
* Merge pull request #8 from kris7t/cm6Libravatar Kristóf Marussy2021-10-31
|\
| * chore: bump dependency versionsLibravatar Kristóf Marussy2021-10-31
| * fix(web): not dot display spurious occurrencesLibravatar Kristóf Marussy2021-10-31
| * fix(web): fix push message race conditionLibravatar Kristóf Marussy2021-10-31
| * chore(web): refactor xtext clientLibravatar Kristóf Marussy2021-10-31
| * fix(web): undo/redo button accessibility issueLibravatar Kristóf Marussy2021-10-31
| * feat(web): client support for transformation rulesLibravatar Kristóf Marussy2021-10-31
| * fix(web): fix server-side content assist filteringLibravatar Kristóf Marussy2021-10-31
| * feat(web): find occurrences when idleLibravatar Kristóf Marussy2021-10-31
| * feat(web): use 4 space for indentationLibravatar Kristóf Marussy2021-10-31
| * feat(web): semantic highlightingLibravatar Kristóf Marussy2021-10-31
| * feat(web): show error count on generate buttonLibravatar Kristóf Marussy2021-10-31
| * fix(web): make lint panel readableLibravatar Kristóf Marussy2021-10-31
| * feat(web): use theme colors in error markersLibravatar Kristóf Marussy2021-10-31
| * chore(web): refactor UpdateServiceLibravatar Kristóf Marussy2021-10-31
| * chore(web): move logger to utils/Libravatar Kristóf Marussy2021-10-31
| * feat(web): server-side content assist filteringLibravatar Kristóf Marussy2021-10-31
| * chore(web): refactor xtext clientLibravatar Kristóf Marussy2021-10-31
| * feat(web): add xtext content assistLibravatar Kristóf Marussy2021-10-31
| * chore(web): refactor PendingTaskLibravatar Kristóf Marussy2021-10-31
| * chore(web): simplify websocket state machineLibravatar Kristóf Marussy2021-10-31
| * chore(web): refactor websocket state machineLibravatar Kristóf Marussy2021-10-31
| * feat(web): show lint status on lint buttonLibravatar Kristóf Marussy2021-10-31
| * feat(web): disconnect background tabs onlyLibravatar Kristóf Marussy2021-10-31
| * fix(web): only try to read properties of objectsLibravatar Kristóf Marussy2021-10-31
| * feat(web): application-level pingsLibravatar Kristóf Marussy2021-10-31
| * feat(web): add xtext websocket clientLibravatar Kristóf Marussy2021-10-31
| * test(web): more websocket integration testsLibravatar Kristóf Marussy2021-10-31
| * test(web): websockets fixes and testsLibravatar Kristóf Marussy2021-10-31
| * feat(web): push precomputed service resultsLibravatar Kristóf Marussy2021-10-31
| * feat(web): batched xtext websocket prototypeLibravatar Kristóf Marussy2021-10-31
| * feat(web): batch operations for websocket protocolLibravatar Kristóf Marussy2021-10-31
| * feat(web): better websocket loggingLibravatar Kristóf Marussy2021-10-31
| * feat(web): add websocket serverLibravatar Kristóf Marussy2021-10-31
| * feat(web): simplify contextual parsingLibravatar Kristóf Marussy2021-10-31
| * fix(web): a11y issue reported by LighthouseLibravatar Kristóf Marussy2021-10-31
| * chore(web): remove CodeMirror 5 MWE2 integrationLibravatar Kristóf Marussy2021-10-31
| * feat(web): experiment with Lezer parserLibravatar Kristóf Marussy2021-10-31
| * feat(web): add CodeMirror 6 editorLibravatar Kristóf Marussy2021-10-31
|/
* Merge pull request #7 from golej-marci/language-to-storeLibravatar Kristóf Marussy2021-10-25
|\
| * Test for the case study added.Libravatar Márton Golej2021-10-25
* | Merge pull request #6 from OszkarSemerath/mainLibravatar Kristóf Marussy2021-10-25
|\ \
| * | Improved sonar reportLibravatar OszkarSemerath2021-10-25
|/ /
* | Merge pull request #5 from OszkarSemerath/mainLibravatar Kristóf Marussy2021-10-25
|\ \
| * | Removed unnecessary quantified variablesLibravatar OszkarSemerath2021-10-25
| * | Query transaction testing first exampleLibravatar OszkarSemerath2021-10-25
| * | Simple test added for all kinds of query constraintsLibravatar OszkarSemerath2021-10-25
| * | another undeterministic variable exportLibravatar OszkarSemerath2021-10-25
| * | Small fixes in query transformation and view equivalence checkingLibravatar OszkarSemerath2021-10-25
| * | Existentially quantified variable testLibravatar OszkarSemerath2021-10-24