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.
*	fix: test and lint failures	Kristóf Marussy	2022-10-04
\|
*	feat(language): problem desugaring	Kristóf Marussy	2022-09-19
\|
*	fix(language): rule parsing test	Kristóf Marussy	2022-08-12
\| \| \| \|	This was left unchanged after refactoring the operators in the language.
*	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