diff options
author | lianah <lianahady@gmail.com> | 2013-04-12 16:15:30 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-04-30 15:54:24 -0400 |
commit | 6a86536bd25fc7ffa305f25990cf37b8c6566c52 (patch) | |
tree | 197b931f8f391a21eebbf097fd0f4b5adeb53c09 /Makefile | |
parent | e4f5359675972341858fe167f454ed5da4d8c115 (diff) |
finished implementing bv to bool lifting and added --bv-to-bool option
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions