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

	Commit message (Collapse)	Author	Age
*	refactor(frontend): improve HMR experience	Kristóf Marussy	2022-11-05
\| \| \| \| \| \| \| \|	Use a HMR acceptor as in https://github.com/vitejs/vite/issues/10227#issuecomment-1256969751 Also updates frontend tooling to the latest version (yarn now support typescript 4.8.4)
*	chore: fix some warnings	Kristóf Marussy	2022-10-03
\|
*	feat(frontend): check for updates periodically	Kristóf Marussy	2022-09-08
\|
*	feat(frontend): handle page hide events	Kristóf Marussy	2022-09-06
\| \| \| \| \| \| \| \|	Integrate better with the page lifecycle state machine, see https://developer.chrome.com/blog/page-lifecycle-api/ Also makes disconnected notifications less noisy, since they may occur more frequently now (due to a frozen page being resumed).
*	feat(frontend): show connection status	Kristóf Marussy	2022-09-06
\|
*	feat(frontend): XState statecharts	Kristóf Marussy	2022-09-06
\| \| \| \| \| \| \|	Expressing logic in statecharts for complex stateful behaviours should improve maintainability We use @xstate/cli to statically analyze statcharts before typechecking
*	refactor(frontend): custom mutex implementation	Kristóf Marussy	2022-08-26
\| \| \| \|	Lets us track priorities of tasks without cancellation.
*	refactor(frontend): simplify UpdateService further	Kristóf Marussy	2022-08-26
\|
*	refactor(frontend): extract xtextStateId tracking	Kristóf Marussy	2022-08-25
\|
*	fix(frontend): UpdateService synchronization	Kristóf Marussy	2022-08-25
\| \| \| \|	Also bumps frontend dependencies
*	refactor(frontend): xtext update improvements	Kristóf Marussy	2022-08-25
\|
*	refactor(frontend): move from Webpack to Vite	Kristóf Marussy	2022-08-12
\| \| \| \|	Also overhaulds the building and linting for frontend assets.
*	refactor: direct predicates	Kristóf Marussy	2022-08-01
\| \| \| \| \| \|	* Remove the direct keyword because it can be inferred * Use may/must/current instead of value literals * Transformation rule changes
*	chore: bump dependencies	Kristóf Marussy	2022-07-27
\|
*	build: separate module for frontend	Kristóf Marussy	2021-12-14
	This allows us to simplify the webpack configuration and the gradle build scripts.