aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner
Commit message (Expand)AuthorAge
* Merge branch 'Vampire-New' into Vampire-NewLibravatar ArenBabikian2020-06-07
|\
| * 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
* | 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
* Documentation level for AlloyLibravatar OszkarSemerath2018-02-24
* Random seed added to Alloy configLibravatar OszkarSemerath2017-10-27
* 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-54-g00ecf (git 2.45.2) at 2024-07-01 08:27:29 +0000