6 Commits

Author SHA1 Message Date
Karl Kroening
5f4bfd1fb3 Robustly handle string escaping 2017-07-12 00:33:43 -06:00
Davide Depau
efc0104ae4 escape "[]=;:," characters in filter arguments to avoid early termination 2017-07-10 22:15:52 +02:00
Davide Depau
086613bb09 convert assertions to if+raise 2017-06-30 15:54:09 +02:00
Karl Kroening
f1e6212765 Clean up hashing 2017-06-17 00:14:18 -06:00
Karl Kroening
cd3d3715b8 Support python3 2017-06-13 19:37:14 -06:00
Karl Kroening
696e52a989 #1: split operators into modules 2017-05-27 15:43:22 -10:00