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

	Commit message (Collapse)	Author	Age
*	docs: add Docusaurus website	Kristóf Marussy	2024-04-08
\| \| \| \|	Also refactor Yarn buildscripts.
*	refactor: move terms and DNF into logic subproject	Kristóf Marussy	2024-04-07
\|
*	feat: subproject for z3 integration	Kristóf Marussy	2024-04-07
\|
*	build: package Z3 solver native libraries	Kristóf Marussy	2024-04-07
\|
*	feat: command line model generator	Kristóf Marussy	2023-12-24
\|
*	feat: model generator facade	Kristóf Marussy	2023-11-03
\|
*	chore: remove VIATRA branding	Kristóf Marussy	2023-09-16
\| \| \| \| \| \| \| \|	Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with Eclipse Foundation trademarks. Uses refering to a specific (historical) version of VIATRA were kept to avoid ambiguity.
*	refactor: rename store-dse-visualization	Kristóf Marussy	2023-09-05
\|
*	Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵	Kristóf Marussy	2023-09-05
\|\ \| \| \| \| \| \|	partial-interpretation
\| *	Move DSE to new subproject	nagilooh	2023-08-02
\| \|
\| *	Add visualization adapter	nagilooh	2023-07-26
\| \| \| \| \| \| \| \|	Uses Graphviz to create a visualization of the models and can save them to disk as an image or various textual representations
* \|	feat: type scope propagator	Kristóf Marussy	2023-09-03
\| \|
* \|	refactor: merge VIATRA subprojects	Kristóf Marussy	2023-08-19
\| \| \| \| \| \| \| \| \| \|	Since we remove EMF dependencies, there is no point to maintaining a base index separate from the rest of the runtime.
* \|	refactor: remove unused VIATRA code	Kristóf Marussy	2023-08-19
\| \| \| \| \| \| \| \|	We don't need Eclipse platform support, table-based scopes, and EMF support.
* \|	chore: import VIATRA source	Kristóf Marussy	2023-08-19
\|/ \| \| \| \|	Make our modifications more maintainable by editing the source code directly instead of using reflection.
*	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: 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.