• Joined on 2024-06-02
luke synced commits to refs/pull/3665/merge at luke/yosys from mirror 2026-03-03 17:36:42 +01:00
0651cdebaf Merge 0b1f45097ab0cb20461902a42439a089ee7c5744 into 1d3f9b79052d3330a0c2f2e8f27cfd13b7e01af4
1d3f9b7905 Merge pull request #5687 from YosysHQ/nella/pdr-doc
687a36af38 Merge pull request #5711 from YosysHQ/gowin_warning
7f1f247c56 gowin: remove spurious warning
2dd71c3ba2 Merge pull request #5709 from YosysHQ/update_abc
Compare 208 commits »
luke synced commits to refs/pull/4004/merge at luke/yosys from mirror 2026-03-03 17:36:42 +01:00
235666d7fa Merge aa86e6355e3b351400fe7cae12fba4e82238f7a5 into 1d3f9b79052d3330a0c2f2e8f27cfd13b7e01af4
1d3f9b7905 Merge pull request #5687 from YosysHQ/nella/pdr-doc
687a36af38 Merge pull request #5711 from YosysHQ/gowin_warning
7f1f247c56 gowin: remove spurious warning
2dd71c3ba2 Merge pull request #5709 from YosysHQ/update_abc
Compare 51 commits »
luke synced and deleted reference refs/tags/refs/pull/5714/merge at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
luke synced commits to emil/dffsr-sr-correct-dfflibmap at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
luke synced new reference emil/dffsr-sr-correct-dfflibmap to luke/yosys from mirror 2026-03-03 17:36:41 +01:00
luke synced commits to release/v0.63 at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
luke synced new reference release/v0.63 to luke/yosys from mirror 2026-03-03 17:36:41 +01:00
luke synced commits to emil/dffsr-sr-priority-undef at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
126492742b read_liberty: fix for msvc
5b4603c54f dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate
22916aaab1 read_liberty: model clear_preset_variable correctly
024408004a dfflibmap: allow formal dffsr mapping tests with clk2fflogic
6f74c54c02 async2sync: $dffsr has undef output on S&R
Compare 36 commits »
luke synced commits to main at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
04113eb95d Merge pull request #5714 from likeamahoney/auto-proc-vars
e9442194f2 support automatic lifetime qualifier on procedural variables
Compare 2 commits »
luke synced commits to refs/pull/2331/merge at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
f3e793337a Merge df390a1ceb08c871bd1651edc5bd962c20802355 into 1d3f9b79052d3330a0c2f2e8f27cfd13b7e01af4
1d3f9b7905 Merge pull request #5687 from YosysHQ/nella/pdr-doc
687a36af38 Merge pull request #5711 from YosysHQ/gowin_warning
7f1f247c56 gowin: remove spurious warning
2dd71c3ba2 Merge pull request #5709 from YosysHQ/update_abc
Compare 183 commits »
luke synced commits to refs/pull/2477/merge at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
f559ded12a Merge 349fc479cb275de1f02de9e42ce8bd1114c18752 into 1d3f9b79052d3330a0c2f2e8f27cfd13b7e01af4
1d3f9b7905 Merge pull request #5687 from YosysHQ/nella/pdr-doc
687a36af38 Merge pull request #5711 from YosysHQ/gowin_warning
7f1f247c56 gowin: remove spurious warning
2dd71c3ba2 Merge pull request #5709 from YosysHQ/update_abc
Compare 208 commits »
luke synced commits to refs/pull/3118/merge at luke/yosys from mirror 2026-03-03 17:36:41 +01:00
db713bc3f9 Merge d3a79afce2a2987729d065101a4a1a008abfd9f0 into 1d3f9b79052d3330a0c2f2e8f27cfd13b7e01af4
1d3f9b7905 Merge pull request #5687 from YosysHQ/nella/pdr-doc
687a36af38 Merge pull request #5711 from YosysHQ/gowin_warning
7f1f247c56 gowin: remove spurious warning
2dd71c3ba2 Merge pull request #5709 from YosysHQ/update_abc
Compare 207 commits »
luke synced commits to refs/pull/7176/merge at luke/verilator from mirror 2026-03-03 17:36:36 +01:00
270c73d825 Merge 27d3c20afb5cf83a67bcee39b0b783b82282e23e into f232449252713ea9c28482ef5b298e6068923370
f232449252 Commentary: Changes update
ce4d35aa85 Verilog format
5821d0697c Fix interface localparam dependencies and arbitrary nesting (#6936) (#7128)
ed84f3adb2 Support constraints on fixed-size array of class object members (#7170) (#7183)
Compare 7 commits »
luke synced commits to refs/pull/7179/merge at luke/verilator from mirror 2026-03-03 17:36:36 +01:00
24542eff1f Merge 4f00396ea6fba7687f136d517ba081cfc226e068 into f232449252713ea9c28482ef5b298e6068923370
f232449252 Commentary: Changes update
ce4d35aa85 Verilog format
5821d0697c Fix interface localparam dependencies and arbitrary nesting (#6936) (#7128)
ed84f3adb2 Support constraints on fixed-size array of class object members (#7170) (#7183)
Compare 7 commits »
luke synced commits to refs/pull/7134/head at luke/verilator from mirror 2026-03-03 17:36:35 +01:00
d006744f59 Merge branch 'master' into fix-sv-interface-inout
be7827488f Fix t_tri_hier_ref_unsup test output.
f232449252 Commentary: Changes update
ce4d35aa85 Verilog format
5821d0697c Fix interface localparam dependencies and arbitrary nesting (#6936) (#7128)
Compare 27 commits »
luke synced commits to refs/pull/7134/merge at luke/verilator from mirror 2026-03-03 17:36:35 +01:00
df278b7008 Merge d006744f594e0f4843d6cac4d24a656cff4bb26a into f232449252713ea9c28482ef5b298e6068923370
d006744f59 Merge branch 'master' into fix-sv-interface-inout
be7827488f Fix t_tri_hier_ref_unsup test output.
f232449252 Commentary: Changes update
ce4d35aa85 Verilog format
Compare 7 commits »
luke synced commits to refs/pull/7168/head at luke/verilator from mirror 2026-03-03 17:36:35 +01:00
a05be6ac82 rm the warning message
d7557ca355 format and check it in ci
def08100d8 Fix constraint if/else regression from bare-var wrapping
472160683f Refactor disable soft to match by variable name per IEEE spec
492eddd8b0 Support disable soft constraint
Compare 7 commits »
luke synced commits to refs/pull/7048/merge at luke/verilator from mirror 2026-03-03 17:36:34 +01:00
6e36360d51 Merge a3081fc664683eea8077e699e92a6b33b948af02 into f232449252713ea9c28482ef5b298e6068923370
a3081fc664 Add case with struct not requiring change
fc87aae963 Remove unnecessary condition
264e55f17e Format test
fe267d2367 Fix adding struct fields
Compare 148 commits »
luke synced and deleted reference refs/tags/refs/pull/7128/merge at luke/verilator from mirror 2026-03-03 17:36:33 +01:00
luke synced and deleted reference refs/tags/refs/pull/7168/merge at luke/verilator from mirror 2026-03-03 17:36:33 +01:00