initial AST sketch
added example unit test
renamed testUM
added skeleton of evaluation function
proof-of-concept source transformation
Merge branch 'master' of https://code.google.com/p/pythonjeeves
added Python Z3 binding library
rough implementation of AST, with specialization for int and bool
Merge branch 'master' of https://code.google.com/p/pythonjeeves
renamed ast to fast
uninteresting tests
eval tests
ite
added solver skeletons
made tabspacing consistent in AST.py
some updates using macropy
more fleshed out sketches of different parts
Merge branch 'master' of https://code.google.com/p/pythonjeeves
transformer
started writing Jeeves confidentiality tests