aboutsummaryrefslogtreecommitdiffstats
path: root/Application
Commit message (Collapse)AuthorAge
* This branch is ready to be merged into masterVampire-NewLibravatar ArenBabikian2020-06-14
|
* Merge branch 'Vampire-New' into Vampire-NewLibravatar ArenBabikian2020-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 MasterLibravatar ArenBabikian2020-06-06
| |
| * VAMPIRE: last commitLibravatar ArenBabikian2020-02-03
| |
| * VAMPIRE: Further Post-submission updatesLibravatar ArenBabikian2019-11-24
| |
| * VAMPIRE: Implement wf constraint handlingLibravatar ArenBabikian2019-09-08
| |
| * Pre-realisticBranchCreation CommitLibravatar ArenBabikian2019-05-12
| |
| * VAMPIRE: add to #40. I am tiredLibravatar ArenBabikian2019-04-24
| |
| * VAMPIRE: close #22, improve test structure for #39, .vql file troubleLibravatar ArenBabikian2019-04-15
| |
| * VAMPIRE: #39 Reorganise tests, working yakindu test, need debuggingLibravatar ArenBabikian2019-04-11
| |
| * Revert previous commit. Everyone is happy.Libravatar ArenBabikian2019-04-04
| |
| * Closes #34, adds code to test cases where minScope>maxScope.Libravatar ArenBabikian2019-04-04
| |
| * Add to containment, add notObject case.Libravatar ArenBabikian2019-03-21
| |
| * Add gitignore, commit everythingLibravatar ArenBabikian2019-03-20
| |
* | VAMPIRE: Rebase on MasterLibravatar ArenBabikian2020-06-07
| |
* | VAMPIRE: last commitLibravatar ArenBabikian2020-06-07
| |
* | VAMPIRE: Further Post-submission updatesLibravatar ArenBabikian2020-06-07
| |
* | VAMPIRE: Implement wf constraint handlingLibravatar ArenBabikian2020-06-07
| |
* | Add gitignore, commit everythingLibravatar ArenBabikian2020-06-07
| |
* | Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
| |
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
|\ \
| * | option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
| | |
* | | Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
|\| |
| * | TransformationExecutionTime + weights can be controlled from configLibravatar Oszkar Semerath2020-05-17
| | |
| * | setting delimier (third attempt)Libravatar Oszkar Semerath2020-05-17
| | |
| * | fixes for the measurementLibravatar Oszkar Semerath2020-05-14
| | |
| * | memory cleaning message between tasksLibravatar Oszkar Semerath2020-05-12
| | |
| * | memory cleaning for measurementsLibravatar Oszkar Semerath2020-05-12
| | |
* | | Config language WIPLibravatar Kristóf Marussy2020-05-19
|/ /
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-10
|\ \
| * | postprocessing time ns->msLibravatar Oszkar Semerath2020-05-10
| | |
* | | Synthetic tokens for solver languageLibravatar Kristóf Marussy2020-05-08
| | |
* | | Update solver language grammarLibravatar Kristóf Marussy2020-05-08
|/ / | | | | | | First version, still needs TokenSource and Linker to work.
* | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
| |
* | PS language updateLibravatar Oszkar Semerath2020-05-06
| |
* | color updateLibravatar Oszkar Semerath2020-05-06
| |
* | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-04-28
|\ \
| * | Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
| | |
* | | initial commitLibravatar Oszkar Semerath2020-04-28
|/ /
* | (lipstick)Libravatar Oszkar Semerath2020-04-15
| |
* | typo in launch config nameLibravatar OszkarSemerath2019-05-04
|/
* Created new module to load referred patterns. hacked metamodel linking.Libravatar OszkarSemerath2019-02-17
|
* Colorcalculator support for datatypesLibravatar OszkarSemerath2018-11-07
|
* Start application run configLibravatar OszkarSemerath2018-10-10
|
* Updated progress monitor for huge amount instance generation processesLibravatar OszkarSemerath2018-09-14
|
* Scope in partial model initialised by the given model scopeLibravatar OszkarSemerath2018-09-14
|
* Diversity support for Solver configLibravatar OszkarSemerath2018-09-14
|
* Models are not visualized if the documentation level is above NORMALLibravatar OszkarSemerath2018-08-28
|
* Separated the loading and executing of a script.Libravatar OszkarSemerath2018-08-28
|
* Config supports "diversity-range" parameterLibravatar OszkarSemerath2018-08-27
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 07:57:51 +0000