aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver
Commit message (Expand)AuthorAge
* Alloy cardinality fixesLibravatar Kristóf Marussy2019-10-29
* Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-10-29
|\
| * handler refactorLibravatar Oszkar Semerath2019-10-01
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-09-02
|\|
| * Alloy upper multiplicity under-approximation with keyword bug fixLibravatar Oszkar Semerath2019-09-02
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-31
|\|
| * Type Interpretation for Alloy with Inheritance+Horizontal mappingLibravatar Oszkar Semerath2019-08-30
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-30
|\|
| * scopes added to alloyLibravatar Oszkar Semerath2019-08-30
| * Whitespacing in manifest updatedLibravatar Oszkar Semerath2019-08-30
| * Alloy RunCommand int scope fix candidateLibravatar Oszkar Semerath2019-08-27
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-01
|\|
| * Updated link to AlloyLibravatar Oszkar Semerath2019-06-25
* | Infrastructure for objective functionsLibravatar Kristóf Marussy2019-04-07
* | [Stochastic] Fault tree transformation langaugeLibravatar Kristóf Marussy2019-02-19
* | Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
|/
* 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-07-05 08:27:11 +0000