aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver
Commit message (Expand)AuthorAge
* Numeric solver dreal hardcoding -> configV4transformationLibravatar OszkarSemerath2021-07-30
* fixed bigdecimal <-> double casting errorLibravatar oszkarsemerath2021-05-03
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
* merge models20 measurementsLibravatar Aren Babikian2021-01-05
|\
| * add models20 measuement setup from VMLibravatar Aren Babikian2021-01-05
* | Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
|/
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Implement Coin-OR CBC polyhedron saturation operatorLibravatar Kristóf Marussy2019-07-19
| * Polyhedron abstraction with Z3 for cardinality propagationLibravatar Kristóf Marussy2019-07-14
| * [Stochastic] Fault tree transformation langaugeLibravatar Kristóf Marussy2019-02-19
|/
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* Debug for SMT scopesLibravatar OszkarSemerath2018-05-05
* containment mapping fixLibravatar OszkarSemerath2018-05-05
* Removed unused projectsLibravatar OszkarSemerath2018-03-24
* Rebooting Z3 solver Containment vs Inheritance still has a bugLibravatar OszkarSemerath2018-03-07
* SMT support for primitive typesLibravatar OszkarSemerath2017-08-16
* SMT solver implementation of multiple model generationLibravatar OszkarSemerath2017-07-02
* Added generated Xtext artefactsLibravatar OszkarSemerath2017-06-10
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-04-28 17:29:25 +0000