Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Begin vql implementation + fix enums bug | Aren Babikian | 2021-01-15 |
| | |||
* | 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 |