add preliminary support for __assume()
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 6 Dec 2007 15:24:44 +0000 (15:24 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 6 Dec 2007 15:24:44 +0000 (15:24 +0000)
commitbe2e3b8126faf869a608db4d91c57f25a532f55b
tree9b8d4e2cf725e181deaff51d39665fbd9792ccfc
parentfc2543100970ec65d80f1c3a1c46c49115519e4e
add preliminary support for __assume()

[r18626]
ast.c
ast_t.h