VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

	Commit message (Collapse)	Author	Age
*	changed dot visualization to svg to make it compatible with batik 1.14HEAD master	OszkarSemerath	2022-04-01
\|
*	made Z3 optional dependency if there are no numbers	OszkarSemerath	2022-04-01
\|
*	Numeric solver fixes	OszkarSemerath	2022-04-01
\|
*	Numeric solver dreal hardcoding -> configV4transformation	OszkarSemerath	2021-07-30
\|
*	Config updated and createSharedVersionedMapStores service	OszkarSemerath	2021-07-29
\|
*	Diffcursor fixes & continuous hash provider compare service.	Oszkar Semerath	2021-07-29
\|
*	Adding timeout to tests	Oszkar Semerath	2021-07-28
\|
*	Updated cursor interface, removed inefficient iterator interface.	Oszkar Semerath	2021-07-28
\|
*	MutableNode hash calcultion simplified	Oszkar Semerath	2021-07-26
\|
*	ShiftDepth argument check	Oszkar Semerath	2021-07-26
\|
*	Small renaming and refactoring	Oszkar Semerath	2021-07-26
\|
*	Smoketest refactor splitting fast and slow smoke tests	Oszkar Semerath	2021-07-26
\|
*	better progress logging in smoke tests	Oszkar Semerath	2021-07-26
\|
*	Added configuration options and fixed some bugs	Oszkar Semerath	2021-07-26
\|
*	VersionedMap interface updates: diffcursors and synchronization	Oszkar Semerath	2021-07-26
\|
*	Smoke test error message update	Oszkar Semerath	2021-07-26
\|
*	Diffcursor, first implementation	Oszkar Semerath	2021-07-26
\|
*	Commit -> restore test	Oszkar Semerath	2021-07-25
\|
*	Removed equals from hash provider, as nodes are compared without it.	Oszkar Semerath	2021-07-25
\|
*	Comparation tests between commiting and non-commiting maps.	Oszkar Semerath	2021-07-25
\|
*	hash code fix and test environment reorganization	Oszkar Semerath	2021-07-25
\|
*	parametric testing and permutaters	Oszkar Semerath	2021-07-17
\|
*	Caching immutable nodes	Oszkar Semerath	2021-07-17
\|
*	Merging immutable nodes during commits.	Oszkar Semerath	2021-07-15
\|
*	hashcode fix	Oszkar Semerath	2021-07-14
\|
*	npe fix 2	Oszkar Semerath	2021-07-14
\|
*	npe fix	Oszkar Semerath	2021-07-14
\|
*	Merged nodes in cache	Oszkar Semerath	2021-07-14
\|
*	Tests and iterators	Oszkar Semerath	2021-07-07
\|
*	no separate node iterators	Oszkar Semerath	2021-07-06
\|
*	Import fix	Oszkar Semerath	2021-07-06
\|
*	VersionedMapStore first implementation, tests reinterpreted	Oszkar Semerath	2021-07-06
\|
*	Test environment update	Oszkar Semerath	2021-07-05
\|
*	iterator fix	Oszkar Semerath	2021-07-05
\|
*	First version of Cursor, Iterator and getSize()	Oszkar Semerath	2021-07-04
\|
*	First version of the versioned hashmap	Oszkar Semerath	2021-07-02
\|
*	fixed bigdecimal <-> double casting error	oszkarsemerath	2021-05-03
\|
*	CrossingScenario case study is ready for serverdreal-integration	Aren Babikian	2021-02-16
\|
*	add dreal-timeout flag	Aren Babikian	2021-02-16
\|
*	Ready for strategies case study	Aren Babikian	2021-02-16
\|
*	fix dreal call on solved problem imprecision issue	Aren Babikian	2021-02-15
\|
*	finished first impl that works sometimes (issue w/ SAT in Dreal rerun)	Aren Babikian	2021-02-14
\|
*	Add strategy flag + implement alost working crossingScenarioStrategy	Aren Babikian	2021-02-14
\|
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	Remove dreal	Aren Babikian	2021-02-06
\|
*	fix previous commit	Aren Babikian	2021-02-03
\|
*	add dreal build	Aren Babikian	2021-02-03
\|
*	Fix bug for ignored-attributes + better logic problem creation	Aren Babikian	2021-01-24
\|
*	Issue where blocker is not between source and target	Aren Babikian	2021-01-22
\|
*	implement ignored attribute values as a config option	Aren Babikian	2021-01-22
\|