Fixed names and links

diff --git a/COPYING b/COPYING
index 33b1062b732fc6efc84866d2a319809b3f2ceb01..eba1da22eb50fca103909fe4488beb8c16c8adca 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -1,6 +1,6 @@
 SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 
-Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above

diff --git a/README.md b/README.md
index a12779de2d2e2e590e662fd148de687d60dc7478..aedb98fc00bab08319453ae88c3d7bc5b5cc4e7a 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,5 +1,3 @@
-SymbiYosys (sby) is a front-end driver program for [Yosys](http://www.clifford.at/yosys)-based formal hardware verification flows. See [http://symbiyosys.readthedocs.io/](http://symbiyosys.readthedocs.io/) for documentation on how to use SymbiYosys.
+SymbiYosys (sby) is a front-end driver program for [Yosys](https://yosyshq.net/yosys/)-based formal hardware verification flows. See [https://yosyshq.readthedocs.io/projects/sby/](https://yosyshq.readthedocs.io/projects/sby/) for documentation on how to use SymbiYosys.
 
-Many example designs using SymbiYosys have been published on the [ZipCPU blog](http://zipcpu.com).  Please consider browsing the [formal verification page](http://zipcpu.com/formal/formal.html) of the [ZipCPU blog](http://zipcpu.com) for examples and commentary.
-
-SymbiYosys (sby) itself is licensed under the ISC license, note that the solvers and other components used by SymbiYosys come with their own license terms. There is some more details in the ["Selecting the right engine" section of the documentation](https://symbiyosys.readthedocs.io/en/latest/quickstart.html#selecting-the-right-engine).
+SymbiYosys (sby) itself is licensed under the ISC license, note that the solvers and other components used by SymbiYosys come with their own license terms. There is some more details in the ["Selecting the right engine" section of the documentation](https://yosyshq.readthedocs.io/projects/sby/en/latest/quickstart.html#selecting-the-right-engine).

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 666d4191ad8f4c87c2ffe30f3df73ba59f9afd47..dadf50732c69f30b9c06f4ae18fc2bac77df451d 100644 (file)
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -15,7 +15,7 @@ highlight_language = 'systemverilog'
 
 html_theme_options = {
     'extra_nav_links' : { 
-        'YosysHQ Docs' : 'https://yosyshq-docs.readthedocs.io' ,
+        'YosysHQ Docs' : 'https://yosyshq.readthedocs.io' ,
         'YosysHQ Website' : 'https://www.yosyshq.com',
     },
 #   'logo' : 'logo.png',

diff --git a/docs/source/install.rst b/docs/source/install.rst
index 076b8a8b7c0d7098d02ee4e3f61b5fb3f9c05aa8..273b166d2e2f8d2622da7c75843733a924427cd9 100644 (file)
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -21,7 +21,7 @@ Installing prerequisites (this command is for Ubuntu 16.04):
 Yosys, Yosys-SMTBMC and ABC
 ---------------------------
 
-http://www.clifford.at/yosys/
+https://yosyshq.net/yosys/
 
 https://people.eecs.berkeley.edu/~alanmi/abc/
 

diff --git a/docs/source/license.rst b/docs/source/license.rst
index 843fe2a977bf6b49fd6155f70d199661c97cd0a2..e102ae1874ebd1bd0ac9c7fffb1a3493b4fb4304 100644 (file)
--- a/docs/source/license.rst
+++ b/docs/source/license.rst
@@ -8,7 +8,7 @@ SymbiYosys (sby) itself is licensed under the ISC license:
 
    SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
    
-   Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+   Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
    
    Permission to use, copy, modify, and/or distribute this software for any
    purpose with or without fee is hereby granted, provided that the above

diff --git a/extern/picorv32.v b/extern/picorv32.v
index 6364cbe799da463bb0906ced3fdf17bb3ea93c75..cfc7ce0627a1bba4912ee1276858fe7b48bfb0df 100644 (file)
--- a/extern/picorv32.v
+++ b/extern/picorv32.v
@@ -1,7 +1,7 @@
 /*
  *  PicoRV32 -- A Small RISC-V (RV32I) Processor Core
  *
- *  Copyright (C) 2015  Clifford Wolf <clifford@clifford.at>
+ *  Copyright (C) 2015  Claire Xenia Wolf <claire@yosyshq.com>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index 90c84552ca21b6cda4156b8666ee5d706cb4b076..a939a2cdee44627f618bb85086e47c7291f016d1 100644 (file)
--- a/sbysrc/sby.py
+++ b/sbysrc/sby.py
@@ -2,7 +2,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index dbc05d323c3bc7631ca82ad4f06fe97b82beeb92..979be6f66b25dbb12c573796b1331f18600886ae 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_engine_abc.py b/sbysrc/sby_engine_abc.py
index 919cc359f98a11900ddf59f3064acf97b2b99e9f..e024a439b967dbfe8952a5cbd7599ec4d65afacc 100644 (file)
--- a/sbysrc/sby_engine_abc.py
+++ b/sbysrc/sby_engine_abc.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_engine_aiger.py b/sbysrc/sby_engine_aiger.py
index 7a9510dc25bf274196e7d2eef455933d34bc04ba..ffb8f5279d91faf1a7efa491a82cb3db381c7bb7 100644 (file)
--- a/sbysrc/sby_engine_aiger.py
+++ b/sbysrc/sby_engine_aiger.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index ac56cd9d94bd54605b6fbeb57d0ed2c5882e48eb..5763410af08aa4e72259130685e206799480caab 100644 (file)
--- a/sbysrc/sby_engine_btor.py
+++ b/sbysrc/sby_engine_btor.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index c21a3f7f8f9416cea99743becbbce63f46f5730b..2ad853f7ee027888ab5b3fc9d2827b4aaca857ca 100644 (file)
--- a/sbysrc/sby_engine_smtbmc.py
+++ b/sbysrc/sby_engine_smtbmc.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_mode_bmc.py b/sbysrc/sby_mode_bmc.py
index eed3f4afd4946e7066eda1248d9da41787cba335..eff0a5c5ccea4b436f2b849b3b6a7fcbe04fa694 100644 (file)
--- a/sbysrc/sby_mode_bmc.py
+++ b/sbysrc/sby_mode_bmc.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_mode_cover.py b/sbysrc/sby_mode_cover.py
index a07837082b9f086d7e4d2edc256db036456228bd..da3c1ad83d2c4f4c54bfc6528407e062667fd25e 100644 (file)
--- a/sbysrc/sby_mode_cover.py
+++ b/sbysrc/sby_mode_cover.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_mode_live.py b/sbysrc/sby_mode_live.py
index c58f5626b91a2bc5578950d90a1e835f6f5ae01a..26cca22c6cd52a0dea713b140023f4403806f410 100644 (file)
--- a/sbysrc/sby_mode_live.py
+++ b/sbysrc/sby_mode_live.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/sbysrc/sby_mode_prove.py b/sbysrc/sby_mode_prove.py
index 6591e0df7af1b924cd47df0cbaa497e953b0d9be..e8fbd20fa7d86209a6540b9e806cc156c3bc5881 100644 (file)
--- a/sbysrc/sby_mode_prove.py
+++ b/sbysrc/sby_mode_prove.py
@@ -1,7 +1,7 @@
 #
 # SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
 #
-# Copyright (C) 2016  Clifford Wolf <clifford@clifford.at>
+# Copyright (C) 2016  Claire Xenia Wolf <claire@yosyshq.com>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above