Merge pull request #55 from ahmedirfan1983/master
authorClifford Wolf <clifford@clifford.at>
Sat, 4 Apr 2015 07:35:21 +0000 (09:35 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 4 Apr 2015 07:35:21 +0000 (09:35 +0200)
commit3b6ebb62fc49ad5b691019d2fd441d7e72bddb50
treee5f9f6756660eef4826ef6ff6ed52b1be6aa6754
parent4b4490761949e738dee54bdfc52e080e0a5c9067
parent13e2e71ebefa584ab4800eac9eecc81f323ca6c1
Merge pull request #55 from ahmedirfan1983/master

added appnote and impr in btor