aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy
Commit message (Collapse)AuthorAge
* 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: post-submission pushLibravatar ArenBabikian2019-10-25
| |
* | VAMPIRE: post-submission pushLibravatar ArenBabikian2020-06-07
| |
* | Alloy type mapping fixLibravatar Oszkar Semerath2020-04-15
| |
* | handler refactorLibravatar Oszkar Semerath2019-10-01
| |
* | Alloy upper multiplicity under-approximation with keyword bug fixLibravatar Oszkar Semerath2019-09-02
| | | | | | candidate 1
* | Type Interpretation for Alloy with Inheritance+Horizontal mappingLibravatar Oszkar Semerath2019-08-30
| |
* | scopes added to alloyLibravatar Oszkar Semerath2019-08-30
| |
* | Alloy RunCommand int scope fix candidateLibravatar Oszkar Semerath2019-08-27
|/
* Fixes in string scope and string interpretation for AlloyLibravatar OszkarSemerath2018-11-07
|
* Alloy support for string literalsLibravatar OszkarSemerath2018-09-14
|
* Alloy file writer configurationLibravatar OszkarSemerath2018-05-05
|
* Alloy solver report progress and does not call solver if cancelledLibravatar OszkarSemerath2018-03-03
|
* Alloy solver use the als file for logging onlyLibravatar OszkarSemerath2018-02-25
| | | And not for parsing
* Documentation level for AlloyLibravatar OszkarSemerath2018-02-24
|
* Random seed added to Alloy configLibravatar OszkarSemerath2017-10-27
| | | | This adds <random> number of lines to the specification to prevemt alloy to give the same solution.
* By default, Alloy uses filtered type ORM mappingLibravatar OszkarSemerath2017-10-13
|
* :lipstick:Libravatar OszkarSemerath2017-10-13
|
* Refactoring of Alloy type mapping and interpretation.Libravatar OszkarSemerath2017-10-13
|
* Transitive closure support for relation definitions in AlloyLibravatar OszkarSemerath2017-09-27
|
* simple typemapper for alloyLibravatar OszkarSemerath2017-08-21
|
* Adding transitive closure to the logic languageLibravatar OszkarSemerath2017-08-16
|
* Alloy mapping of integer scopesLibravatar OszkarSemerath2017-08-16
|
* Adding multiple model generation support for the alloy solver.Libravatar OszkarSemerath2017-07-05
|
* Alloy implementation of multiple model generationLibravatar OszkarSemerath2017-07-02
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-18 03:09:02 +0000