aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver
Commit message (Expand)AuthorAge
* Fixes in string scope and string interpretation for AlloyLibravatar OszkarSemerath2018-11-07
* Alloy support for string literalsLibravatar OszkarSemerath2018-09-14
* Cleared metafilesLibravatar OszkarSemerath2018-05-12
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* 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
* Instruction to install alloy addedLibravatar OszkarSemerath2017-06-10
* Added generated artefacts for the alloy parserLibravatar OszkarSemerath2017-06-10
* Added generated Xtext artefactsLibravatar OszkarSemerath2017-06-10
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 11:59:02 +0000