Commit message (Expand) | Author | Age | |
---|---|---|---|
* | removed every occurence of check expressions | Oszkar Semerath | 2020-05-18 |
* | advanced goal heuristics for missing containment and non-cont. edges | Oszkar Semerath | 2020-05-12 |
* | temporally removed check expressions for real values | Oszkar Semerath | 2020-05-11 |
* | Instead of Bigdecimals doubleValue are used in check | Oszkar Semerath | 2020-05-11 |
* | multiple object additions fixes | Oszkar Semerath | 2020-05-07 |
* | UP rule precondition provider | Oszkar Semerath | 2020-04-30 |
* | check expressions are mapped to WF constraints | Oszkar Semerath | 2020-04-17 |
* | restructured pattern generation | Oszkar Semerath | 2020-04-14 |