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

	Commit message (Collapse)	Author	Age
*	feat(frontend): save in URL fragment	Kristóf Marussy	2023-09-26
\|
*	fix: example Statechart specification	Kristóf Marussy	2023-09-13
\| \| \| \|	The default multiplicity is [0..1].
*	feat: connect model generator to UI	Kristóf Marussy	2023-09-12
\|
*	chore: prefer Prolog-style comments	Kristóf Marussy	2023-09-03
\|
*	feat(frontend): implement grid view	Kristóf Marussy	2023-08-31
\|
*	feat: predicate semantics	Kristóf Marussy	2023-08-18
\|
*	fix: opposite translation error reporting	Kristóf Marussy	2023-08-17
\|
*	chore(deps): bump dependencies	Kristóf Marussy	2023-08-15
\|
*	chore: add copyright headers	Kristóf Marussy	2023-04-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
*	feat(frontend): add links to top bar	Kristóf Marussy	2022-12-21
\|
*	fix(frontend): mobx 6.7.0 typing	Kristóf Marussy	2022-11-22
\| \| \| \| \| \| \|	Also bumps some dependencies and updates tsconfig.json The added workarounds should be remove once https://github.com/mobxjs/mobx/issues/3582 is resolved.
*	refactor(language): simplify syntax	Kristóf Marussy	2022-11-22
\|
*	refactor: separate primitive types from nodes	Kristóf Marussy	2022-11-22
\|
*	feat(language): numeric expressions	Kristóf Marussy	2022-11-22
\|
*	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)
*	refactor(language): disable rule parsing	Kristóf Marussy	2022-10-04
\| \| \| \|	Rules have too complex semantics to implement in the first prototype.
*	feat(frontend): check for updates periodically	Kristóf Marussy	2022-09-08
\|
*	feat(frontend): show connection status	Kristóf Marussy	2022-09-06
\|
*	refactor(frontend): more readable indentation	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): add eslint-plugin-mobx	Kristóf Marussy	2022-08-27
\|
*	refactor(frontend): improve code splitting	Kristóf Marussy	2022-08-21
\|
*	feat(frontend): overlay window controls	Kristóf Marussy	2022-08-21
\| \| \| \| \|	Might need manual intervention in browsers, e.g. https://docs.microsoft.com/en-us/microsoft-edge/progressive-web-apps-chromium/how-to/window-controls-overlay#enable-the-window-controls-overlay-api-in-microsoft-edge
*	refactor(frontend): inline CSS and minify HTML	Kristóf Marussy	2022-08-20
\| \| \| \| \| \|	Optimize first page loading time. We only include variable and woff2 fonts, as they are widely supported.
*	feat(frontend): add PWA manifest	Kristóf Marussy	2022-08-20
\|
*	refactor(frontend): move from Webpack to Vite	Kristóf Marussy	2022-08-12
\| \| \| \|	Also overhaulds the building and linting for frontend assets.
*	feat(language): modal parameter types	Kristóf Marussy	2022-08-11
\|
*	refactor(language): simplify count notation	Kristóf Marussy	2022-08-10
\| \| \| \|	Also change refinement operator based on feedback from colleagues
*	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.