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

	Commit message (Collapse)	Author	Age
*	fix: upper and lower scopes	Kristóf Marussy	2023-11-19
\| \| \| \| \| \| \| \| \|	Make sure the scope bound guides the best-first search and is always obeyed even if it can't be fully represented using the scoped partial model abstraction. For representable bounds (classes and unary predicate that are always fully knwon to be false or true in the initial model) this leads to duplicated computations.
*	fix: scope upper bounds	Kristóf Marussy	2023-11-17
\|
*	fix: avoid GLOP error message on stderr	Kristóf Marussy	2023-09-11
\|
*	feat: cancellation token for ModelStore	Kristóf Marussy	2023-09-11
\|
*	feat: integrate DSE with partial interpretation	Kristóf Marussy	2023-09-09
\|
*	feat: declarative DSE rules and model refinement	Kristóf Marussy	2023-09-07
\|
*	feat: scope propagator in language	Kristóf Marussy	2023-09-03
\|
*	feat: type scope propagator	Kristóf Marussy	2023-09-03