| commit | 0286ff23b9b13cae2132e66113768e1865083cb2 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 18 Feb 2014 11:43:05 +0000 (18 12:43 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 24 Mar 2014 16:32:11 +0000 (24 17:32 +0100) | ||
| tree | a2b4ace86ab3db4b0b85737b3ebe9e93cdf21c40 | treesnapshot (tar.gz zip) |
| parent | 19842fb6cd0b1c289a428c30166b89574a3ea93e | commitdiff |
extract out pet_expr_is_assume
We will be able to reuse it in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We will be able to reuse it in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| expr.c | diffblobblamehistory | |
| expr.h | diffblobblamehistory | |
| scop.c | diffblobblamehistory |