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

	Commit message (Collapse)	Author	Age
*	Merge branch 'Vampire-New' into Vampire-New	ArenBabikian	2020-06-07
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/ContentInNotLive.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/DirectSupertype.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/LoopInInheritence.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/NonSymmetricOpposite.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Opposite.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/OppositeDifferentClass.java Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeScopeMapping.xtend Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/Entry.java Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/Synchronization.java Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/EntryImpl.java Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/SynchronizationImpl.java
\| *	VAMPIRE: Rebase on Master	ArenBabikian	2020-06-06
\| \|
\| *	VAMPIRE: last commit	ArenBabikian	2020-02-03
\| \|
\| *	mid-measurement push	ArenBabikian	2019-10-21
\| \|
\| *	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2019-10-07
\| \|
\| *	VAMPIRE: fix model generation	ArenBabikian	2019-09-11
\| \|
\| *	VAMPIRE: Implement wf constraint handling	ArenBabikian	2019-09-08
\| \|
\| *	VAMPIRE: close #22, improve test structure for #39, .vql file trouble	ArenBabikian	2019-04-15
\| \|
\| *	VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging	ArenBabikian	2019-04-11
\| \|
\| *	Implement containment circularity avoidance #20	ArenBabikian	2019-04-05
\| \|
\| *	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2019-04-04
\| \|
\| *	Add gitignore, commit everything	ArenBabikian	2019-03-20
\| \|
* \|	VAMPIRE: Rebase on Master	ArenBabikian	2020-06-07
\| \|
* \|	VAMPIRE: last commit	ArenBabikian	2020-06-07
\| \|
* \|	mid-measurement push	ArenBabikian	2020-06-07
\| \|
* \|	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2020-06-07
\| \|
* \|	VAMPIRE: fix model generation	ArenBabikian	2020-06-07
\| \|
* \|	VAMPIRE: Implement wf constraint handling	ArenBabikian	2020-06-07
\| \|
* \|	VAMPIRE: close #22, improve test structure for #39, .vql file trouble	ArenBabikian	2020-06-07
\| \|
* \|	VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging	ArenBabikian	2020-06-07
\| \|
* \|	Implement containment circularity avoidance #20	ArenBabikian	2020-06-07
\| \|
* \|	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2020-06-07
\| \|
* \|	Add gitignore, commit everything	ArenBabikian	2020-06-07
\| \|
* \|	Merge remote-tracking branch 'upstream/master'	Kristóf Marussy	2020-05-19
\|\ \
\| * \|	Satelite case study update for Models-Attribute paper	Oszkar Semerath	2020-05-11
\|/ /
* \|	Add satellite case study	Kristóf Marussy	2020-05-10
\| \|
* \|	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\|/
*	Query parser update to current Viatra milestone	OszkarSemerath	2018-05-18
\|
*	added gitignore to generated outputs	OszkarSemerath	2018-05-12
\|
*	Project update	OszkarSemerath	2018-05-12
\|
*	VSConfig update	OszkarSemerath	2018-05-12
\|
*	Example updated	OszkarSemerath	2018-05-12
\|
*	Removed unused projects	OszkarSemerath	2018-03-24
\|
*	example projects added	OszkarSemerath	2018-03-24
\|
*	Added a set of mutated queries to yakindu	OszkarSemerath	2017-10-27
\|
*	Alloy Examples	OszkarSemerath	2017-08-20
\|
*	Added progress and basic statstic report to the yakindu model	OszkarSemerath	2017-07-05
\| \| \|	translator.
*	Bug with outgoing transitions in yakindu example.	OszkarSemerath	2017-07-05
\|
*	Model translator and sanitiser from original yakindu files to simplified	OszkarSemerath	2017-06-21
\| \| \| \| \|	metamodel. Added a sample Main function.
*	generated code for the newly added types	OszkarSemerath	2017-06-21
\|
*	Added missing types: exit state, final state and choice	OszkarSemerath	2017-06-21
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10