Commit message (Expand) | Author | Age | |
---|---|---|---|
* | build: move modules into subproject directory | 2021-12-12 | |
* | fix(web): not dot display spurious occurrences | 2021-10-31 | |
* | fix(web): fix push message race condition | 2021-10-31 | |
* | feat(web): application-level pings | 2021-10-31 | |
* | feat(web): add xtext websocket client | 2021-10-31 | |
* | test(web): more websocket integration tests | 2021-10-31 | |
* | test(web): websockets fixes and tests | 2021-10-31 | |
* | feat(web): push precomputed service results | 2021-10-31 | |
* | feat(web): batched xtext websocket prototype | 2021-10-31 | |
* | feat(web): batch operations for websocket protocol | 2021-10-31 | |
* | feat(web): better websocket logging | 2021-10-31 | |
* | feat(web): add websocket server | 2021-10-31 | |
* | chore(web): bump Jetty version | 2021-10-07 | |
* | chore: change package name | 2021-10-05 |