diff options
author | jadep <jade.philipoom@gmail.com> | 2017-03-02 11:19:18 -0500 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2017-03-02 11:19:18 -0500 |
commit | 255ce6372b3d3a6ca40e8dbddbf955047232a8e6 (patch) | |
tree | 152c1d8afaf0a2007137d95a4c5c6e1b07f8c51e /crypto-defects.md | |
parent | 5e8748b7e0e6efa5ece841f26079ec33010b6de9 (diff) |
make assert_preconditions way more sane; use vm_decide to kill most subgoals
Diffstat (limited to 'crypto-defects.md')
0 files changed, 0 insertions, 0 deletions