projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ed750f0)
Update README
authorAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Apr 2015 15:11:45 +0000 (17:11 +0200)
committerAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Apr 2015 15:11:45 +0000 (17:11 +0200)
corrected url

backends/btor/README patch | blob | history

diff --git a/backends/btor/README b/backends/btor/README
index 4c78c5aa4fec8965805041aa98b3201920c31ac2..fcfe1482c22e71ef161f7c383a8205c2dc69c6ae 100644 (file)
--- a/backends/btor/README
+++ b/backends/btor/README
@@ -3,7 +3,7 @@ This is the Yosys BTOR backend.
 It is developed by Ahmed Irfan <irfan@fbk.eu> - Fondazione Bruno Kessler, Trento, Italy
 
 Master git repository for the BTOR backend:
-https://github.com/ahmedirfan1983/yosys/tree/btor
+https://github.com/ahmedirfan1983/yosys
 
 
 [[CITE]] BTOR: Bit-Precise Modelling of Word-Level Problems for Model Checking