- Apr 21, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
We must match together only inputs, not all nondets.
-
Marek Chalupa authored
Every subclass just will call _copy_to that copies the new attributes and the old attributes are copied in super()._copy_to.
-
Marek Chalupa authored
-
Marek Chalupa authored
Always do eval, we did that internally too.
-
Marek Chalupa authored
It reveals a bug in BSE.
-
- Apr 20, 2021
-
-
Marek Chalupa authored
Call is_sat() from state, not from the solver. Otherwise we'll get no try_hard.
-
Marek Chalupa authored
-
Marek Chalupa authored
This was an artifact of past times.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
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
-