• Joined on 2021-05-24
riscv synced commits to refs/pull/4765/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
155ac2a4bb Merge 8148ebd1ad395ebd6949e36daac3f5f86a03c9d6 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4763/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
fc52ccb02b Merge 33d5138673fe3d1aa9ea0f929c208064874373f4 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4742/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
be088b17b3 Merge 96c526d1ba57a465f970347ad30109c7d4c6e823 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4735/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
aca89c477e Merge df72f301412aa69fc321f51c50f311d58d894dba into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4730/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
771a297aa7 Merge e649c1a8e1eebb4acb34af55c7e1b2f4fdeadaf9 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4721/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
04a087ece5 Merge 3ae9ca7c2ba8cca30df6829aee4d4e3d4fb24c7a into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4691/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
cb23a7e80c Merge 94215584e9bbc648c7c6184a4239d3be7df65db3 into 4b3c03dabcae29882dc66de475a0947c2ed435cd
4b3c03dabc Bump version
18b616578a pyosys: catch boost::python::error_already_set
5b6baa3ef1 Merge pull request #4744 from YosysHQ/emil/clockgate-liberty
53a4ec375b Merge pull request #4762 from georgerennie/george/fix_read_ilang_test
Compare 31 commits »
riscv synced commits to refs/pull/4589/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
b690348ccb Merge c1228fec236c82c9cd46b194c9af062143da19c4 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4524/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
65c24647aa Merge e0285101c2c7ffaf2b968ace6f100c57dd6f84bb into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4437/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
fd32b58502 Merge 260cc42c2f635bafcff3e5aa574528759db52096 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4320/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
da47bda9af Merge 884f40df11f1feb56d41f69fea773ffede768803 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4252/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
d736c66dc3 Merge 36c244aeda859731fefa5dd62659e7d2f7f5ebf4 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4125/merge at riscv/yosys from mirror 2024-11-25 09:24:22 -06:00
60cab78960 Merge 6f7f71fe038cc95df77b5efbe978ce1af5e2997e into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/4089/merge at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00
de487a24b2 Merge 9cd4b4e72d8934d7c087878446cf48da6abe972c into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/3538/merge at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00
9e48df6b4b Merge d67989f9ad3f45da2a18b3706fdc04460f726a14 into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/3460/merge at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00
621bb91f16 Merge 42e4610e3a7bdad57e41e4592cb5d161a3a2ff5b into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to refs/pull/3351/merge at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00
e462338f17 Merge d1eb2e518d49b77ffbdff1931ce94a084df7404f into 29e8812bab3499da1868794568cfc2fe6b1ed1ee
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 5 commits »
riscv synced commits to main at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00
29e8812bab Merge pull request #4724 from YosysHQ/micko/blackbox_verific
9512ec4bbc Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assert
d6bd521487 verific : VHDL assert DFF initial value set on Verific library patch side
df391f5816 verific: fix blackbox regression and add test case
Compare 4 commits »
riscv synced and deleted reference refs/tags/refs/pull/4764/merge at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00
riscv synced and deleted reference refs/tags/refs/pull/4724/merge at riscv/yosys from mirror 2024-11-25 09:24:21 -06:00