aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* [Stochastic] Remove fault tree support for nowLibravatar Kristóf Marussy2019-08-01
|
* Counting scope propagator (simpler than BasicTypeHierarchy)Libravatar Kristóf Marussy2019-08-01
|
* Configurability and better statistics for measurementsLibravatar Kristóf Marussy2019-08-01
|
* Build Cbc wrapper under Ubuntu 18.04Libravatar Kristóf Marussy2019-08-01
|
* Polyhedron scope propagator for non-containment referencesLibravatar Kristóf Marussy2019-07-30
|
* Allow infiite upper scope bound in PolyhedronScopePropagatorLibravatar Kristóf Marussy2019-07-29
|
* Fix CBC timeoutLibravatar Kristóf Marussy2019-07-29
|
* Make CbcPolyhedronSolver more robustLibravatar Kristóf Marussy2019-07-29
|
* Parse rational numbers in Z3PolyhedronSolverLibravatar Kristóf Marussy2019-07-25
|
* Make polyhedron solvers more robustLibravatar Kristóf Marussy2019-07-25
|
* Containment root constraint propagatorLibravatar Kristóf Marussy2019-07-24
|
* Cardinality propagator WIPLibravatar Kristóf Marussy2019-07-24
|
* Implement Coin-OR CBC polyhedron saturation operatorLibravatar Kristóf Marussy2019-07-19
|
* Transitive closure of type hierarchy in ScopePropagatorLibravatar Kristóf Marussy2019-07-14
| | | | | This does not mappter for propagateAllScopeConstraints(), but propagateAdditionToType gets more exact this way.
* Polyhedron abstraction with Z3 for cardinality propagationLibravatar Kristóf Marussy2019-07-14
|
* Try fix statecode bugLibravatar Kristóf Marussy2019-06-15
| | | | Modified graph width calculation to not depend on order of nodes
* Bump MDEOptimizer versionLibravatar Kristóf Marussy2019-06-09
| | | | https://github.com/mde-optimiser/mde_optimiser/issues/49
* Simplify satellite metamodel furtherLibravatar Kristóf Marussy2019-06-09
|
* Trying to simplify Satellite case studyLibravatar Kristóf Marussy2019-06-08
|
* Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-06-08
|\
| * Default state coder range set to Width, as it should beLibravatar OszkarSemerath2019-06-01
| |
| * Inverse references works if opposite reference is pruned away.Libravatar OszkarSemerath2019-06-01
| |
* | MDEOptimiser tuning for CPSLibravatar Kristóf Marussy2019-05-25
| |
* | MDEOptimiser implementation of CPS benchmarkLibravatar Kristóf Marussy2019-05-22
| |
* | VIATRA DSE and COIN-OR CBC implementations of CPS case studyLibravatar Kristóf Marussy2019-05-21
| |
* | Interval hull aggregation operatorLibravatar Kristóf Marussy2019-05-18
| |
* | Model generator for CPS case studyLibravatar Kristóf Marussy2019-05-17
| | | | | | | | Added extra constraint for redundancy in CPS deployments
* | Formalize CPS case study for optimizationLibravatar Kristóf Marussy2019-05-15
| |
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-13
|\|
| * Fix for symmetric activation codes on symmetric modelsLibravatar OszkarSemerath2019-05-13
| |
* | Interval power and aggregator fixLibravatar Kristóf Marussy2019-05-10
| |
* | More aggregation operatorsLibravatar Kristóf Marussy2019-05-10
| |
* | Neutral element for sum is [0, 0]Libravatar Kristóf Marussy2019-05-10
| |
* | Interval aggregation operatorsLibravatar Kristóf Marussy2019-05-09
| |
* | Fix interval joinLibravatar Kristóf Marussy2019-05-09
| |
* | Interval comparisonLibravatar Kristóf Marussy2019-05-09
| |
* | Implement interval arithmetic without exponentiationLibravatar Kristóf Marussy2019-05-08
| |
* | Interval arithmetic WIPLibravatar Kristóf Marussy2019-05-08
| |
* | Interval arithmetic WIPLibravatar Kristóf Marussy2019-05-08
| |
* | Do not use derived features in satellite case study vqlLibravatar Kristóf Marussy2019-05-07
| |
* | Revert "Try to restructure satellite case study"Libravatar Kristóf Marussy2019-05-07
| | | | | | | | This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6.
* | Try to restructure satellite case studyLibravatar Kristóf Marussy2019-05-07
| |
* | Trying to implement spacecraft case studyLibravatar Kristóf Marussy2019-05-06
| |
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-06
|\|
| * fixed manifestLibravatar OszkarSemerath2019-05-05
| |
| * Removed unwanted OCL dependencyLibravatar OszkarSemerath2019-05-05
| |
* | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-04
|\|
| * typo in launch config nameLibravatar OszkarSemerath2019-05-04
| |
| * removed unused test caseLibravatar OszkarSemerath2019-05-04
| |
| * Added aggregate expressions to logic language on the model levelLibravatar OszkarSemerath2019-05-04
| |
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 00:52:18 +0000