projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4b44907 13e2e71)
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)
added appnote and impr in btor


Trivial merge