Fully implemented __assume()
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 6 Dec 2007 17:05:18 +0000 (17:05 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 6 Dec 2007 17:05:18 +0000 (17:05 +0000)
commit18d0f77a30506e71e804751d4e987749c9bcb068
tree80cd38ba5c43ef25079cad73b05db96646a1d9c5
parentbe2e3b8126faf869a608db4d91c57f25a532f55b
Fully implemented __assume()

[r18627]
ast2firm.c
ast_t.h
parser.c