aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/java/tools
Commit message (Expand)AuthorAge
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12
* fix(web): not dot display spurious occurrencesLibravatar Kristóf Marussy2021-10-31
* fix(web): fix push message race conditionLibravatar 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
* chore(web): bump Jetty versionLibravatar Kristóf Marussy2021-10-07
* chore: change package nameLibravatar Kristóf Marussy2021-10-05