summaryrefslogtreecommitdiff
path: root/Source/VCExpr/VCExprAST.cs
diff options
context:
space:
mode:
authorGravatar Valentin Wüstholz <wuestholz@gmail.com>2016-03-09 19:18:15 -0600
committerGravatar Valentin Wüstholz <wuestholz@gmail.com>2016-03-09 19:37:25 -0600
commit8ed5dab22d8377924ee6282b83c1b1f8aa8f3573 (patch)
tree8065119c09552703a6ea9634eb22f6b5a6951734 /Source/VCExpr/VCExprAST.cs
parent63c4b7642cd4566a39906b2d73c47b4ebe9f7c1c (diff)
Improve support for identifying unnecessary assumes.
Diffstat (limited to 'Source/VCExpr/VCExprAST.cs')
0 files changed, 0 insertions, 0 deletions