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: DNF query builder	Kristóf Marussy	2022-11-05
\|
*	refactor(language): disable rule parsing	Kristóf Marussy	2022-10-04
\| \| \| \|	Rules have too complex semantics to implement in the first prototype.
*	feat(language): problem desugaring	Kristóf Marussy	2022-09-19
\|
*	refactor(language): clarify containment hierarchy	Kristóf Marussy	2022-09-14
\|
*	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
*	refactor: simplify language project	Kristóf Marussy	2022-07-29
\| \| \| \| \| \|	* Move all utilities for language-model to language, since they do not make sense on their own * Convert xtend code into java
*	build: clean up buildSrc scripts	Kristóf Marussy	2022-07-29
\|
*	build: move modules into subproject directory	Kristóf Marussy	2021-12-12