refinery - Mirror of https://github.com/graphs4value/refinery

	Commit message (Collapse)	Author	Age
*	build: move modules into subproject directory	Kristóf Marussy	2021-12-12
\|
*	fix(web): not dot display spurious occurrences	Kristóf Marussy	2021-10-31
\| \| \| \| \| \|	Only return find occurrences results for NamedElement instances, as other objects cannot be referenced by name and thus cannot have any references at all.
*	fix(web): fix push message race condition	Kristóf Marussy	2021-10-31
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	In some resource-constrained environments (e.g., my VPS with 2 vCPUs), it was possible for validation and highlighting precomputation to be finished before the server responded to a deltaText updating completion request (updating completion take longer than a normal update, because they also have to compute the completions). Therefore, the client received push messages about a stateId it didn't know about yet. To fix this, we delay any push messages originating during servicing a call to be sent after the call is serviced. Thus the client first receives the updating completion response with the new stateId, followed by the push messages relating to that stateId.
*	feat(web): application-level pings	Kristóf Marussy	2021-10-31
\|
*	feat(web): add xtext websocket client	Kristóf Marussy	2021-10-31
\|
*	test(web): more websocket integration tests	Kristóf Marussy	2021-10-31
\|
*	test(web): websockets fixes and tests	Kristóf Marussy	2021-10-31
\|
*	feat(web): push precomputed service results	Kristóf Marussy	2021-10-31
\|
*	feat(web): batched xtext websocket prototype	Kristóf Marussy	2021-10-31
\|
*	feat(web): batch operations for websocket protocol	Kristóf Marussy	2021-10-31
\|
*	feat(web): better websocket logging	Kristóf Marussy	2021-10-31
\|
*	feat(web): add websocket server	Kristóf Marussy	2021-10-31
\|
*	chore(web): bump Jetty version	Kristóf Marussy	2021-10-07
\| \| \| \| \| \| \|	Requred vendoring org.eclipse.xtext.web.servlet as tools.refinery.language.web.xtext due to the javax -> jakarta package name change: https://www.eclipse.org/lists/jetty-announce/msg00149.html
*	chore: change package name	Kristóf Marussy	2021-10-05