aboutsummaryrefslogtreecommitdiffstats
path: root/Framework
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: Implement Vampire measurement codeLibravatar ArenBabikian2019-10-07
| |
| * Add gitignore, commit everythingLibravatar ArenBabikian2019-03-20
| |
* | VAMPIRE: Rebase on MasterLibravatar ArenBabikian2020-06-07
| |
* | VAMPIRE: Implement Vampire measurement codeLibravatar ArenBabikian2020-06-07
| |
* | Add gitignore, commit everythingLibravatar ArenBabikian2020-06-07
| |
* | Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
| |
* | Setting delimier in every printing mode to ','Libravatar Oszkar Semerath2020-05-17
| |
* | separtor ; -> \tLibravatar Oszkar Semerath2020-05-14
| |
* | Use String to create RealExprLibravatar anqili4262020-05-13
| |
* | removed unnecesary printingLibravatar Oszkar Semerath2020-05-12
| |
* | logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
| |
* | precise time measurements for the numeric solverLibravatar Oszkar Semerath2020-05-12
| |
* | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-11
|\ \
| * | Fixed bug in setting constant typesLibravatar anqili4262020-05-11
| | |
* | | Bigliteral serialization in xmi transformation fixedLibravatar Oszkar Semerath2020-05-11
|/ /
* | Added support for real numbersLibravatar anqili4262020-05-10
| |
* | closing numerical solverLibravatar Oszkar Semerath2020-05-10
| |
* | Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
| |
* | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
| |
* | viatra parsing fixesLibravatar Oszkar Semerath2020-05-07
| |
* | Adjust classpath for Z3 in viatra2logicLibravatar ArenBabikian2020-05-06
| |
* | Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
| |
* | Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-26
|\ \
| * | Added FakeIntegerElementLibravatar anqili4262020-04-26
| | |
* | | Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-25
|\| |
| * | Added new testLibravatar anqili4262020-04-22
| | |
| * | Added measurementsLibravatar anqili4262020-04-15
| | |
| * | Added test methods with running time measurementLibravatar anqili4262020-04-15
| | |
| * | Added logic to get a solutionLibravatar anqili4262020-04-15
| | |
| * | Updated logic that creates a numeric problem using matchesLibravatar anqili4262020-04-08
| | |
| * | Added logic to create a numeric problem instance with pattern matchesLibravatar anqili4262020-04-07
| | |
| * | Added logic to form numeric problem templatesLibravatar anqili4262020-03-31
| | |
| * | Added call to form numeric problem templatesLibravatar anqili4262020-03-31
| | |
* | | variable mapping trace is created after mappingLibravatar Oszkar Semerath2020-04-17
| | |
* | | Variable trace added to Viatra2Logic mappingLibravatar Oszkar Semerath2020-04-17
| | |
* | | check constraint is a special evalLibravatar Oszkar Semerath2020-04-15
|/ /
* | Bug fixed in transitive closure expression builderLibravatar Oszkar Semerath2019-08-30
| |
* | parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
| |
* | aggregated partial substitution + builderLibravatar Oszkar Semerath2019-07-09
| |
* | Inverse references works if opposite reference is pruned away.Libravatar OszkarSemerath2019-06-01
| |
* | fixed manifestLibravatar OszkarSemerath2019-05-05
| |
* | Removed unwanted OCL dependencyLibravatar OszkarSemerath2019-05-05
| |
* | Added aggregate expressions to logic language on the model levelLibravatar OszkarSemerath2019-05-04
|/
* ParseUtil hijacked original vql parser and caused errors - fix by kris7tLibravatar OszkarSemerath2019-03-19
| | | https://github.com/kris7t
* Removed unnecessary loggingLibravatar OszkarSemerath2019-02-17
|
* Fixed xmi generation with attributes. Added better error messages.Libravatar OszkarSemerath2018-11-07
|
* Logic structure builder fix for string buildingLibravatar OszkarSemerath2018-11-07
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 08:19:51 +0000