- Feb 10, 2020
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
Kill the state in such a case.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Feb 07, 2020
-
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
Just use a virtual method and override it in child classes.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
In this case, we want to terminate the path, not the whole exploration. In this case, we had to do that by catching exceptions. It is worth considering returning the exceptions... (since we return polymorphic types anyway...)
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Feb 06, 2020
-
-
Marek Chalupa authored
In LLVM, we still cannot parse all the initializers, but at least something for now.
-
Marek Chalupa authored
For that we need patched llvmlite, but if the code does not contain PHI nodes, it will work the same.
-
Marek Chalupa authored
Parse and dump the program. For debugging.
-
- Feb 05, 2020
-
-
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
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
Good for debugging.
-