diff options
author | Valentin Wüstholz <wuestholz@users.noreply.github.com> | 2015-12-01 18:48:40 -0600 |
---|---|---|
committer | Valentin Wüstholz <wuestholz@users.noreply.github.com> | 2015-12-01 18:48:40 -0600 |
commit | e172da3b4ac7f8d352d366d81f1c7c3184426033 (patch) | |
tree | 264437a4a5491b97aa425dae1e911a4c773f346c /Source/VCGeneration/ConditionGeneration.cs | |
parent | fe8de9444fb6ce90216a9b8268d8a13daa9a9f2a (diff) | |
parent | 75b5befa9f82f6fd54817d9cec20522af1a797a6 (diff) |
Merge pull request #27 from boogie-org/update_recommended_Z3_version
Update recommended z3 version
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
0 files changed, 0 insertions, 0 deletions