- Apr 20, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
That is what we want to do and we'll also need it in new starting ind. sets.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
yiled only those whose model is not included in the other relations.
-
Marek Chalupa authored
We break them into a disjunction which must be taken in account properly.
-
- Apr 19, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
Those are useful as shown by the test that we will add in the next commit.
-
- Apr 18, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
By replacing equalities in clauses of path condition.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Apr 17, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
But we still extend only edge by edge.
-
Marek Chalupa authored
But still use it as edge, to catch bugs.
-
Marek Chalupa authored
-
Marek Chalupa authored
The class will represent a sequence of edges so that we can execute BSE over path seqments instead of single edges.
-
- Apr 16, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-