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

	Commit message (Collapse)	Author	Age
*	chore: upgrade to Eclipse 2023-12	Kristóf Marussy	2023-12-08
\| \| \| \| \| \| \|	Updates references to Eclipse in documentation (but IntelliJ is the preferred editor now). Also fixes incompatibilities with the Eclipse compiler.
*	feat: cancellation token for ModelStore	Kristóf Marussy	2023-09-11
\|
*	Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵	Kristóf Marussy	2023-09-05
\|\ \| \| \| \| \| \|	partial-interpretation
\| *	Added test for StateEquivalenceChecker Unknown outcome.	OszkarSemerath	2023-08-08
\| \|
\| *	Added two build tests for custom coding and equivalence checking algorithms.	OszkarSemerath	2023-08-08
\| \|
\| *	Test cases for Equivalence accuracy measurements	OszkarSemerath	2023-08-08
\| \|
\| *	Tests + small changes for AbstractNeighbourhoodCalculator and ↵	OszkarSemerath	2023-08-07
\| \| \| \| \| \| \| \|	StateEquivalenceCheckerImpl
\| *	StateCoderBuilder improvement with individuals, and customizable calculators.	OszkarSemerath	2023-08-07
\| \|
\| *	Intermediate commit with Lazy NeighbourhoodCalculator and ↵	OszkarSemerath	2023-08-03
\| \| \| \| \| \| \| \|	StateEquivalenceChecker prototypes
\| *	Versioned.commit + Versioned.restore uses Version instead of long.	OszkarSemerath	2023-07-26
\| \| \| \| \| \| \| \|	When a Version is collected by gc, the store lets the state get collected by gc as well.
\| *	Refactoring packages related to VersionedMapDeltaImpl + ↵	OszkarSemerath	2023-07-24
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder
\| *	Added missing copyright headers.	OszkarSemerath	2023-07-24
\| \|
\| *	Merge branch 'graphs4value:main' into datastructure	Oszkár Semeráth	2023-07-24
\| \|\
\| * \|	decreasing steps in fast fuzz tests	OszkarSemerath	2023-07-21
\| \| \|
\| * \|	VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated.	OszkarSemerath	2023-07-21
\| \| \| \| \| \| \| \| \| \| \| \|	VersionedMapStoreBuilder.java is removed.
\| * \|	Fixing long-standing bug with state based diff cursor.	OszkarSemerath	2023-07-18
\| \| \| \| \| \| \| \| \| \| \| \|	By implementing an InOrderMapCursor cursor, and a MapDiffCursor that synchronize two cursors.
\| * \|	Additional tests for delta restoration	OszkarSemerath	2023-02-16
\| \| \|
\| * \|	Fuzz test environment is parametrized by VersionedMapStoreBuilder configurations	OszkarSemerath	2023-02-14
\| \| \|
\| * \|	Test environment cannot rely upon the order of elements in a map since ↵	OszkarSemerath	2023-02-14
\| \| \| \| \| \| \| \| \| \| \| \|	VersionedMapDelta appeared.
\| * \|	Moved test parametrization to FuzzTestCollections.java	OszkarSemerath	2023-02-10
\| \| \|
\| * \|	Fixing warning caused by an "unused parameter" which is used by an annotation	OszkarSemerath	2023-02-05
\| \| \|
\| * \|	Formatting fuzz tests + improving code qualitz	OszkarSemerath	2023-02-05
\| \| \|
\| * \|	Extending map tests with null as default value.	OszkarSemerath	2023-02-05
\| \| \|
* \| \|	feat: concrete count in partial models	Kristóf Marussy	2023-07-25
\| \|/ \|/\|
* \|	refactor: clean up Symbol constructor	Kristóf Marussy	2023-06-18
\| \| \| \| \| \| \| \|	Shorthad syntax for the most commonly used symbol types.
* \|	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.
* \|	refactor: split query and partial from store	Kristóf Marussy	2023-02-20
\| \| \| \| \| \| \| \| \| \| \| \|	Allows more complicated dependency hiearchies (e.g., use store-query-viatra for testing store-partial) and better separation of test fixtures.
* \|	feat: type inference for class hierarchies	Kristóf Marussy	2023-02-20
\| \|
* \|	refactor: Atom -> Literal naming convention	Kristóf Marussy	2023-02-09
\|/
*	feat: track uncommitted Model changes	Kristóf Marussy	2023-02-02
\|
*	refactor: Model store and query API	Kristóf Marussy	2023-01-29
\| \| \| \|	Use Adapters to simplify API usage.
*	refactor(store): compare VersionedMap instances	Kristóf Marussy	2022-12-21
\| \| \| \| \| \| \|	The Java hashCode and equals API is inappropriate here, because an AnyVersionedMap is mutable. Added new methods to hash and compare AnyVersionedMap instances by their contents and marked the built-in Java methods as deprecated.
*	refactor(store): simplify return types	Kristóf Marussy	2022-12-13
\| \| \| \| \| \|	Prefers sealed non-generic interfaces over wildcard types to avoid confusion about method return types, especially in collections (see SonarQube rule java:S1452).
*	feat: add cardinality interval abstraction	Kristóf Marussy	2022-12-09
\|
*	feat(language): numeric expressions	Kristóf Marussy	2022-11-22
\|
*	feat(store): DataRepresentation reflective type	Kristóf Marussy	2022-11-10
\|
*	refactor: DNF atoms	Kristóf Marussy	2022-11-05
\| \| \| \| \| \|	Restore count != capability. Still needs semantics and tests for count atoms over partial models.
*	refactor: tuples in QueryableModel	Kristóf Marussy	2022-10-03
\|
*	refactor: move viatra into a separate subproject	Kristóf Marussy	2022-10-03
\|
*	build: move modules into subproject directory	Kristóf Marussy	2021-12-12