luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
27
 Projects Packages Public Activity Starred Repositories
luke synced commits to refs/heads/emil/opt_dff-cleanup at luke/yosys from mirror 2026-08-13 02:25:12 +02:00
luke synced new reference refs/heads/emil/opt_dff-cleanup to luke/yosys from mirror 2026-08-13 02:25:12 +02:00
luke synced commits to refs/heads/mmicko/log_rewrite at luke/yosys from mirror 2026-08-13 02:25:12 +02:00
8913d401ab log: use chrono and construct LogMessage
luke synced commits to refs/heads/nick/fix-6085 at luke/yosys from mirror 2026-08-13 02:25:12 +02:00
luke synced new reference refs/heads/nick/fix-6085 to luke/yosys from mirror 2026-08-13 02:25:12 +02:00
luke synced commits to refs/heads/refs/pull/4930/merge at luke/yosys from mirror 2026-08-13 02:25:12 +02:00
7c51288155 Merge 913ac04764dfdeebc9f965e4cae889098062faf6 into edbc62a44ebf40b6d17739f24411ea61caadf175
edbc62a44e Merge pull request #6107 from YosysHQ/emil/opt_clean-no-unused_bits
7011770a1b Merge pull request #6112 from YosysHQ/mmicko/update_abc
ce574abb7c Merge pull request #6111 from YosysHQ/mmicko/update_svelab
d276eda227 Update ABC as per 2026-08-12
Compare 23 commits »
luke synced commits to refs/heads/refs/pull/8074/head at luke/verilator from mirror 2026-08-13 02:15:24 +02:00
2a5a5eeb26 Add abort coverage tests and dedup same-tick reject counting
luke synced commits to refs/heads/refs/pull/8074/merge at luke/verilator from mirror 2026-08-13 02:15:24 +02:00
5896c20161 Merge 2a5a5eeb26280ac8b94a61e5fd1551795dd3143c into 73bcf5e0dbd7721ec63fc707891ffd14dbbc0080
2a5a5eeb26 Add abort coverage tests and dedup same-tick reject counting
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8076/merge at luke/verilator from mirror 2026-08-13 02:15:24 +02:00
d12a5d14a3 Merge eabc30e5f4ffb72c01dec9a04f6350de431822fc into 098f375e9de31b341aafbe755e7d3ffb4324206c
098f375e9d Apply 'make format' [ci skip]
44fe96b2da Add +verilator+assert+lock to ignore RTL assert control statements (#8086)
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/8079/merge at luke/verilator from mirror 2026-08-13 02:15:24 +02:00
0cf4d9fda7 Merge 749aa4b2ce3f48d089b1c0a32eee1056fbd8b275 into 73bcf5e0dbd7721ec63fc707891ffd14dbbc0080
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8081/merge at luke/verilator from mirror 2026-08-13 02:15:24 +02:00
9e14ea9a4e Merge 3a19be823d454f6b638c2dd08fb37b31eae8ae50 into 44fe96b2da73e6ea9cd45e7ac00bb616efbcb85a
44fe96b2da Add +verilator+assert+lock to ignore RTL assert control statements (#8086)
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/8086/head at luke/verilator from mirror 2026-08-13 02:15:24 +02:00
bcabd148c9 Verilator Asserts: Added way to ignore RTL /off/control flags
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
0b51926fff Commentary: Changes update
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/7193/merge at luke/verilator from mirror 2026-08-13 02:15:23 +02:00
fd3a2c935e Merge 615df7ca90d03c2cb91f89006f30d38ea184685f into 0ebb92da266190096fe27d60f7286e7a432886d4
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7748/merge at luke/verilator from mirror 2026-08-13 02:15:23 +02:00
d5c7b1af57 Merge cc95a1df17bd8f54a4ed9fac5f63c55aee818ef4 into 0ebb92da266190096fe27d60f7286e7a432886d4
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7982/merge at luke/verilator from mirror 2026-08-13 02:15:23 +02:00
40574b20e3 Merge aa47ff244806d2e8efeeeb254bb73b76340ea263 into 098f375e9de31b341aafbe755e7d3ffb4324206c
098f375e9d Apply 'make format' [ci skip]
44fe96b2da Add +verilator+assert+lock to ignore RTL assert control statements (#8086)
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/7991/merge at luke/verilator from mirror 2026-08-13 02:15:23 +02:00
af16dfcc26 Merge dc45ebb225293bbe3d92012a05dcb0476702de03 into 0ebb92da266190096fe27d60f7286e7a432886d4
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/8042/head at luke/verilator from mirror 2026-08-13 02:15:23 +02:00
615e393c8b Add Unigen2 constrained randomization algorithm
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
0b51926fff Commentary: Changes update
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/8042/merge at luke/verilator from mirror 2026-08-13 02:15:23 +02:00
2b04317bc4 Merge 615e393c8b1df55a1852c68e579ed962eea622be into 0ebb92da266190096fe27d60f7286e7a432886d4
615e393c8b Add Unigen2 constrained randomization algorithm
0ebb92da26 Fix hierarchical class scope resolution (#8094)
73bcf5e0db Fix NFA range ring outgoing bit selection (#8061 repair) (#8092)
e962efca12 Fix untyped dtype error on sampling functions with property arguments (#8060)
Compare 5 commits »
luke synced and deleted reference refs/tags/refs/pull/8086/merge at luke/verilator from mirror 2026-08-13 02:15:22 +02:00
luke synced and deleted reference refs/tags/refs/pull/8092/merge at luke/verilator from mirror 2026-08-13 02:15:22 +02:00