- Apr 13, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Apr 12, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
500ms per one call, we'll make it configurable later.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Apr 09, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Apr 08, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
So that the tests will not run indefinitely.
-
Marek Chalupa authored
-
Marek Chalupa authored
We must unify the variables in path conditions.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
We must pop on all paths from the safe solver. We did not pop when we failed getting the decomposed literal.
-
Marek Chalupa authored
Fix the case when the diff is negative.
-
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
So that we got the literal with right variables.
-
- Apr 07, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Apr 06, 2021
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Apr 01, 2021
-
-
Marek Chalupa authored
We just return the new value with different type as the python int is signed. Also, assert that the given value is int.
-
- Mar 26, 2021
-
-
Marek Chalupa authored
-