aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit
Commit message (Expand)AuthorAge
* 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-06-26 20:49:30 +0000