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

	Commit message (Collapse)	Author	Age
*	feat(language): numeric expressions	Kristóf Marussy	2022-11-22
\|
*	refactor: DNF atoms	Kristóf Marussy	2022-11-05
\| \| \| \| \| \|	Restore count != capability. Still needs semantics and tests for count atoms over partial models.
*	refactor(language): disable rule parsing	Kristóf Marussy	2022-10-04
\| \| \| \|	Rules have too complex semantics to implement in the first prototype.
*	refactor(language): clarify containment hierarchy	Kristóf Marussy	2022-09-14
\|
*	fix(frontend): Lezer bracket matching	Kristóf Marussy	2022-09-06
\|
*	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
*	feat(language): add support for count operator	Kristóf Marussy	2022-08-10
\|
*	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
*	build: separate module for frontend	Kristóf Marussy	2021-12-14
	This allows us to simplify the webpack configuration and the gradle build scripts.