yowasp-yosys 0.55.0.0.post944__py3-none-any.whl → 0.55.0.3.post946.dev0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- yowasp_yosys/__init__.py +4 -8
- yowasp_yosys/share/python3/sby_status.py +2 -2
- yowasp_yosys/yosys.wasm +0 -0
- {yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/METADATA +2 -2
- {yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/RECORD +8 -8
- {yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/WHEEL +0 -0
- {yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/entry_points.txt +0 -0
- {yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/top_level.txt +0 -0
yowasp_yosys/__init__.py
CHANGED
|
@@ -1,10 +1,6 @@
|
|
|
1
1
|
import sys
|
|
2
|
+
import importlib.resources
|
|
2
3
|
import yowasp_runtime
|
|
3
|
-
try:
|
|
4
|
-
from importlib import resources as importlib_resources
|
|
5
|
-
importlib_resources.files
|
|
6
|
-
except (ImportError, AttributeError):
|
|
7
|
-
import importlib_resources
|
|
8
4
|
|
|
9
5
|
|
|
10
6
|
def run_yosys(argv):
|
|
@@ -17,7 +13,7 @@ def _run_yosys_argv():
|
|
|
17
13
|
|
|
18
14
|
|
|
19
15
|
def _run_yosys_smtbmc_argv():
|
|
20
|
-
prefix =
|
|
16
|
+
prefix = importlib.resources.files(__package__)
|
|
21
17
|
sys.path[0:0] = [str(prefix / "share" / "python3")]
|
|
22
18
|
smtbmc_py = prefix / "smtbmc.py"
|
|
23
19
|
with open(smtbmc_py) as f:
|
|
@@ -26,7 +22,7 @@ def _run_yosys_smtbmc_argv():
|
|
|
26
22
|
|
|
27
23
|
|
|
28
24
|
def _run_yosys_witness_argv():
|
|
29
|
-
prefix =
|
|
25
|
+
prefix = importlib.resources.files(__package__)
|
|
30
26
|
sys.path[0:0] = [str(prefix / "share" / "python3")]
|
|
31
27
|
witness_py = prefix / "witness.py"
|
|
32
28
|
with open(witness_py) as f:
|
|
@@ -35,7 +31,7 @@ def _run_yosys_witness_argv():
|
|
|
35
31
|
|
|
36
32
|
|
|
37
33
|
def _run_sby_argv():
|
|
38
|
-
prefix =
|
|
34
|
+
prefix = importlib.resources.files(__package__)
|
|
39
35
|
sys.path[0:0] = [str(prefix / "share" / "python3")]
|
|
40
36
|
sby_py = prefix / "sby.py"
|
|
41
37
|
with open(sby_py) as f:
|
|
@@ -68,8 +68,8 @@ class SbyStatusDb:
|
|
|
68
68
|
|
|
69
69
|
self.db = sqlite3.connect(path, isolation_level=None, timeout=timeout)
|
|
70
70
|
self.db.row_factory = sqlite3.Row
|
|
71
|
-
self.db.execute("PRAGMA journal_mode=WAL")
|
|
72
|
-
self.db.execute("PRAGMA synchronous=0")
|
|
71
|
+
self.db.execute("PRAGMA journal_mode=WAL")
|
|
72
|
+
self.db.execute("PRAGMA synchronous=0")
|
|
73
73
|
|
|
74
74
|
if setup:
|
|
75
75
|
self._setup()
|
yowasp_yosys/yosys.wasm
CHANGED
|
Binary file
|
{yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/METADATA
RENAMED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: yowasp-yosys
|
|
3
|
-
Version: 0.55.0.
|
|
3
|
+
Version: 0.55.0.3.post946.dev0
|
|
4
4
|
Summary: Yosys Open SYnthesis Suite
|
|
5
5
|
Author-email: Catherine <whitequark@whitequark.org>
|
|
6
6
|
License-Expression: ISC
|
|
7
7
|
Project-URL: Homepage, https://yowasp.org/
|
|
8
8
|
Project-URL: Source Code, https://github.com/YoWASP/yosys
|
|
9
9
|
Project-URL: Bug Tracker, https://github.com/YoWASP/yosys/issues
|
|
10
|
+
Requires-Python: ~=3.9
|
|
10
11
|
Description-Content-Type: text/markdown
|
|
11
|
-
Requires-Dist: importlib_resources; python_version < "3.9"
|
|
12
12
|
Requires-Dist: yowasp-runtime~=1.12
|
|
13
13
|
Requires-Dist: click
|
|
14
14
|
|
{yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/RECORD
RENAMED
|
@@ -1,8 +1,8 @@
|
|
|
1
|
-
yowasp_yosys/__init__.py,sha256=
|
|
1
|
+
yowasp_yosys/__init__.py,sha256=cxu6bMlZ6zRpCzKp2wdFs7LNt5-btnJD6ghvdkDs6Y0,1189
|
|
2
2
|
yowasp_yosys/sby.py,sha256=at4UB7rmju4xhmFP6b31T7duU2Hx5aSOgGUiExKz7Xc,18496
|
|
3
3
|
yowasp_yosys/smtbmc.py,sha256=yiI93tHys5c8aXfCdk2dNtw2mwukRXqeT8YGx5Th8eg,74231
|
|
4
4
|
yowasp_yosys/witness.py,sha256=m3iV2Nydm0p4G79VRaaX3lGul-nGnuxeKnx20MCJgi0,17279
|
|
5
|
-
yowasp_yosys/yosys.wasm,sha256=
|
|
5
|
+
yowasp_yosys/yosys.wasm,sha256=mEjGrO-tlBCmbdg36VM0B6tIhglkwmSaUMZIlsTsWTQ,30837978
|
|
6
6
|
yowasp_yosys/share/abc9_map.v,sha256=uWDqMpBQTeeadH1BlHVwkCy2StKF892xbgBgMKLK5-w,923
|
|
7
7
|
yowasp_yosys/share/abc9_model.v,sha256=IfMyEGOEUBdZyiVule0wMhrVYVYQpmSIcxygbgtHItI,653
|
|
8
8
|
yowasp_yosys/share/abc9_unmap.v,sha256=w107Y3iJjMU6D_6_aYLf2NziXTnAhpa5_CFAwaYO1iU,638
|
|
@@ -272,7 +272,7 @@ yowasp_yosys/share/python3/sby_mode_cover.py,sha256=JHt1NDaocK-j0kkGuJf4om47mMJx
|
|
|
272
272
|
yowasp_yosys/share/python3/sby_mode_live.py,sha256=jpINzeD4tEZDhsVORbfg3tIXZbA5z-bGr-L2HHi83K0,1491
|
|
273
273
|
yowasp_yosys/share/python3/sby_mode_prove.py,sha256=igQAoaxEfO6SSXNm8PeIYV1qWLC9os96V1m7FHAJVKo,1941
|
|
274
274
|
yowasp_yosys/share/python3/sby_sim.py,sha256=HWSLhMOv1RrNXVrmgsibBTf3lHUHUNaAhfnBF2Wx9Bc,4403
|
|
275
|
-
yowasp_yosys/share/python3/sby_status.py,sha256=
|
|
275
|
+
yowasp_yosys/share/python3/sby_status.py,sha256=g__ivZ0bHmqrJLG_zx0LcFOe3E5O5yV34HhG9uvZo4Q,10946
|
|
276
276
|
yowasp_yosys/share/python3/smtio.py,sha256=iaKRFczPE2ml5MpEpvJPcKY9KF_bwyUDuYtOh8v0VGo,48785
|
|
277
277
|
yowasp_yosys/share/python3/ywio.py,sha256=F3V-lAn7GNAlDh8oO3VtLJbQd3LwJZyrq3qjZVW_A_4,12442
|
|
278
278
|
yowasp_yosys/share/quicklogic/common/cells_sim.v,sha256=XjVURrz_kgf2n32Mq9KKUXAbmKJsazqS87PiznC75Ew,366
|
|
@@ -335,8 +335,8 @@ yowasp_yosys/share/xilinx/xc5v_dsp_map.v,sha256=I4lg0RQ54fBBba_7NNvUgwS4tQ1yLIsU
|
|
|
335
335
|
yowasp_yosys/share/xilinx/xc6s_dsp_map.v,sha256=gTxHocB-Dn5G4BplWgri_tLhT6DIO2S0X-yu4iBKYyk,562
|
|
336
336
|
yowasp_yosys/share/xilinx/xc7_dsp_map.v,sha256=zrzreQi7mElrAMtrayxtiO_Bw00S6zsjSjSVcjmJPH0,884
|
|
337
337
|
yowasp_yosys/share/xilinx/xcu_dsp_map.v,sha256=gzCgl1emrHGcigVmU0nP0pW7dlhQ01SaWwXzHHcqt-o,882
|
|
338
|
-
yowasp_yosys-0.55.0.
|
|
339
|
-
yowasp_yosys-0.55.0.
|
|
340
|
-
yowasp_yosys-0.55.0.
|
|
341
|
-
yowasp_yosys-0.55.0.
|
|
342
|
-
yowasp_yosys-0.55.0.
|
|
338
|
+
yowasp_yosys-0.55.0.3.post946.dev0.dist-info/METADATA,sha256=OwyXx9hRoGapYRspmRxroS5tgtgcHQtUrIF5csA8BCM,2527
|
|
339
|
+
yowasp_yosys-0.55.0.3.post946.dev0.dist-info/WHEEL,sha256=lTU6B6eIfYoiQJTZNc-fyaR6BpL6ehTzU3xGYxn2n8k,91
|
|
340
|
+
yowasp_yosys-0.55.0.3.post946.dev0.dist-info/entry_points.txt,sha256=p_9sIVi2ZqsqgYYo14PywYkwHYTa76fMEq3LxweXJpc,220
|
|
341
|
+
yowasp_yosys-0.55.0.3.post946.dev0.dist-info/top_level.txt,sha256=_yiNT8kLYkcD1TEuUCzQ_MkON1c3xuIRV59zXds4zd4,13
|
|
342
|
+
yowasp_yosys-0.55.0.3.post946.dev0.dist-info/RECORD,,
|
{yowasp_yosys-0.55.0.0.post944.dist-info → yowasp_yosys-0.55.0.3.post946.dev0.dist-info}/WHEEL
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|