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

	Commit message (Collapse)	Author	Age
*	fix(language): unambigous reference serialization	Kristóf Marussy	2023-12-24
\|
*	feat: solution serializer	Kristóf Marussy	2023-12-24
\|
*	feat(langauge): validate exists and equals	Kristóf Marussy	2023-11-19
\|
*	feat(language): arity validation	Kristóf Marussy	2023-11-19
\|
*	feat(language): opposite reference validation	Kristóf Marussy	2023-11-17
\|
*	refactor(language): opposite content assist	Kristóf Marussy	2023-11-17
\| \| \| \|	Only show references that may plausibly appear in an opposite declaration.
*	feat(language-ide): content assist filtering	Kristóf Marussy	2023-11-17
\|
*	feat(language): validate unique names	Kristóf Marussy	2023-11-17
\|
*	feat(langugage): detect ambiguous references	Kristóf Marussy	2023-11-17
\|
*	build: prepare for Maven publication	Kristóf Marussy	2023-11-17
\|
*	chore(build): replce deprecated Gradle API use	Kristóf Marussy	2023-08-31
\|
*	refactor: rename invalidNumberOfContainers	Kristóf Marussy	2023-08-29
\| \| \| \| \|	Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers.
*	refactor(frontent): improve graph drawing	Kristóf Marussy	2023-08-26
\|
*	feat: basic semantics mapping and visualization	Kristóf Marussy	2023-08-17
\|
*	refactor(language): invalid multiplicity trace	Kristóf Marussy	2023-08-15
\| \| \| \| \|	Also simplifies attributes and flags for now, as we don't translate them to abstractions.
*	build: improve Xtext project isolation	Kristóf Marussy	2023-04-26
\| \| \| \| \| \|	* Avoid writing generated source files directly into sibling projects. * Full project isolation cannot be enabled yet, because the frontend plugin still requires cross-projects task dependencies for Node.js installation.
*	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.
*	build: organize build scripts into packages	Kristóf Marussy	2023-04-09
\| \| \| \| \| \| \|	Also take advantage of precompiled Kotlin scripts to write build scripts in a more straightforward manner through generated accessors. Might increase memory usage of Gradle.
*	build: convert Gradle scripts to Kotlin	Kristóf Marussy	2023-04-08
\| \| \| \| \| \| \|	Improves IDE support build scripts in IntelliJ. There is no Eclipse IDE support, but Eclipse didn't have support for Groovy either, so there is no degradation of functionality.
*	fix(frontend): content assist error recovery	Kristóf Marussy	2022-12-09
\|
*	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: 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
\|
*	fix: test and lint failures	Kristóf Marussy	2022-10-04
\|
*	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
\|
*	fix(language): rule parsing test	Kristóf Marussy	2022-08-12
\| \| \| \|	This was left unchanged after refactoring the operators in the language.
*	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: fix testFixtures classpath in eclipse	Kristóf Marussy	2022-07-28
\|
*	chore: bump dependencies	Kristóf Marussy	2022-07-27
\|
*	build: move modules into subproject directory	Kristóf Marussy	2021-12-12