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
\|
*	chore: fix Java 17 Sonar warnings	Kristóf Marussy	2021-10-02
\| \| \| \| \|	Had to disable code coverage measurement in the Quality Gate, we should switch it on again once we have a complete test suite.
*	perf(web): split off CodeMirror chunks	Kristóf Marussy	2021-10-02
\| \| \| \|	Also optimizes statis asset caching.
*	Refactor ServerLauncher	Kristóf Marussy	2021-09-20
\|
*	Allow launching server from Eclipse	Kristóf Marussy	2021-09-19
\|
*	Allow running ServerLauncher from Eclipse	Kristóf Marussy	2021-09-19
\|
*	Refactoring based on Sonar reports	Kristóf Marussy	2021-07-29
\|
*	Fix typo in environmental variable name	Kristóf Marussy	2021-07-05
\|
*	Add hot module replacement for development	Kristóf Marussy	2021-06-29
\|
*	Generate all files on build	Kristóf Marussy	2021-06-29
\|
*	Fix running outside of Eclipse	Kristóf Marussy	2021-06-27
\|
*	Simplify project layout	Kristóf Marussy	2021-06-27