d1m0
|
9e3f4e9195
|
Cleanup for PR #123 (#129)
* Fix bextend semantics; Change smtlib.py to use z3 python bindings for query building instead of raw strings
* Forgot the mypy stubs for z3
|
2017-07-31 16:02:27 -07:00 |
|
Dimo
|
9767654dd7
|
Add semantics for several more iadd with carry; Add xform_correct() and doc cleanup
|
2017-07-28 10:47:08 -07:00 |
|
Dimo
|
e346bd50c8
|
Add primitive bvult, bvzeroext; Add semantics for bextend, icmp (partial - only for <) iadd_cout
|
2017-07-28 10:47:08 -07:00 |
|
Dimo
|
9258283e14
|
Documentation nits; Sematnics syntax cleanup
|
2017-07-24 14:08:44 -07:00 |
|
Dimo
|
40c86d58b9
|
Add insturction semantics. Add semantics for vsplit,vconcat,iadd. Add initial tests
|
2017-07-24 14:08:44 -07:00 |
|