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

	Commit message (Collapse)	Author	Age
...
\| \| *	Added test for StateEquivalenceChecker Unknown outcome.	OszkarSemerath	2023-08-08
\| \| \|
\| \| *	Unused condition simplified.	OszkarSemerath	2023-08-08
\| \| \|
\| \| *	SuppressWarnings for using deterministic random in hash code generation.	OszkarSemerath	2023-08-08
\| \| \|
\| \| *	ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵	OszkarSemerath	2023-08-08
\| \| \| \| \| \| \| \| \| \| \| \|	different indices.
\| \| *	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
\| \| \|
\| \| *	Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl.	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
\| \| \|
\| * \|	Merge remote-tracking branch 'graphs4value/main' into design-space-exploration	Attila Ficsor	2023-08-08
\| \|\\|
\| \| *	Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵	OszkarSemerath	2023-08-05
\| \| \| \| \| \| \| \| \| \| \| \|	cached.
\| * \|	Refactor search strategy to improve readability	Attila Ficsor	2023-08-08
\| \| \|
\| * \|	Improve performance of best first earch	Attila Ficsor	2023-08-08
\| \| \|
\| * \|	Reduce complexity of Depth first search	Attila Ficsor	2023-08-08
\| \| \|
\| * \|	Remove visualization from DSE tests	Attila Ficsor	2023-08-07
\| \| \|
\| * \|	Disable tests	Attila Ficsor	2023-08-07
\| \| \|
\| * \|	Add dummy objective with random fitness	Attila Ficsor	2023-08-07
\| \| \|
\| * \|	Update visualizer builder	Attila Ficsor	2023-08-07
\| \| \|
\| * \|	Clean up design space exploration	Attila Ficsor	2023-08-07
\| \| \|
\| * \|	Update exploration strategies	Attila Ficsor	2023-08-07
\| \|/ \| \| \| \| \| \| \| \|	- Fix best first search algorithm - Improve efficiency of exploration adapter
\| *	Merge branch 'graphs4value:main' into datastructure	Oszkár Semeráth	2023-08-04
\| \|\
\| \| *	Add missing copyright headers	nagilooh	2023-08-04
\| \| \|
\| \| *	Update test cases for new Version implementation	nagilooh	2023-08-03
\| \| \|
\| \| *	Improve visualization	nagilooh	2023-08-03
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	-Display values from all relevant interpretations -Support TruthValue -Add tabular formatting -Add colors
\| \| *	Move DSE to new subproject	nagilooh	2023-08-02
\| \| \|
\| \| *	Merge remote-tracking branch 'origin/main' into design-space-exploration	nagilooh	2023-08-02
\| \| \|\
\| \| * \|	Update CRA test case	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Remove objective levels	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Change Set to LinkedHashSet, remove unused methods	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Update visualization	nagilooh	2023-08-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Replace guru.nidi:graphviz-java with DOT based solution - Draws the design space as well as the model states - Design space nodes link to visualization of the sate
\| \| * \|	Add trivial test cases for DSE Strategies	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Add seed option for random	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Add visualization using DOT language	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Add new test files	nagilooh	2023-08-02
\| \| \| \|
\| \| * \|	Fix issue with storing trajectory	nagilooh	2023-07-26
\| \| \| \|
\| \| * \|	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
\| \| * \|	Add best first strategy	nagilooh	2023-07-26
\| \| \| \|
\| \| * \|	Add Design space exploration and DFS strategy	nagilooh	2023-07-26
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Transformation rules - Design Space Exploration adapter - Depth First Strategy
\| * \| \|	Intermediate commit with Lazy NeighbourhoodCalculator and ↵	OszkarSemerath	2023-08-03
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	StateEquivalenceChecker prototypes
\| * \| \|	Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.	OszkarSemerath	2023-07-29
\| \| \|/ \| \|/\| \| \| \| \| \| \|	No tests yet.
\| * \|	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
\| *	Enabled QueryTransactionTest	OszkarSemerath	2023-07-24
\| \|
\| *	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
\| \| \|
\| * \|	Improved tuple hash calculation	OszkarSemerath	2023-07-21
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- by special handling of unary and binary relations - introducing murmur32Scramble
\| * \|	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.
\| * \|	Initialization bugs with empty DeltaDiffCursor fixed	OszkarSemerath	2023-02-20
\| \| \|