projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7ad1791 d944487)
Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor
authorAhmed Irfan <irfan@levert.(none)>
Fri, 3 Apr 2015 14:34:05 +0000 (16:34 +0200)
committerAhmed Irfan <irfan@levert.(none)>
Fri, 3 Apr 2015 14:34:05 +0000 (16:34 +0200)

Trivial merge