• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/7909/head at luke/verilator from mirror 2026-07-22 22:44:23 +02:00
df005d1be3 [#99211] Fix scheduler lost trigger - virtualization
3afb00af48 [#99211] Fix scheduler lost trigger - optimized
8113f1df7a Fix randomization of unreferenced rand members of unpacked structs (#7910) (#7911)
b34f685f70 Fix dist constraint on a frozen variable failing randomization (#7878)
f22676eea9 Fix solve-before dropping all soft constraints in randomize() (#7963)
Compare 30 commits »
luke synced commits to refs/heads/refs/pull/694/head at luke/openFPGALoader from mirror 2026-07-22 22:44:13 +02:00
717c92eb9c Update docs for JTAG-SMT4
luke synced commits to refs/heads/refs/pull/694/merge at luke/openFPGALoader from mirror 2026-07-22 22:44:13 +02:00
42cdab9025 Merge 717c92eb9cfc354e8c4edfde1fa25642676802c9 into c8452092f9a31b1bfe8f2e09beadf2d0cc51e3f2
717c92eb9c Update docs for JTAG-SMT4
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/6036/merge at luke/yosys from mirror 2026-07-22 14:44:31 +02:00
895c0a9c4c Merge 64d483442f96ff5c7c191c17daed4ec1ae74d997 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6037/merge at luke/yosys from mirror 2026-07-22 14:44:31 +02:00
5d03a4cd19 Merge bac16eb1c4d58d63969575b7f5e5176dad8f2f1b into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 38 commits »
luke synced commits to refs/heads/refs/pull/6055/merge at luke/yosys from mirror 2026-07-22 14:44:31 +02:00
be2b8d5f38 Merge 975f68af2ef205403298d140c984ebc92639ca21 into f9023e92b4e5a17858e50adcd122907f45f1cb7f
f9023e92b4 Merge pull request #6059 from drewbabel/fix-xilinx-srl-fdre-enable
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
3006280d70 xilinx_srl: keep the clock enable on FDRE shift registers
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/5619/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
8a9eb53394 Merge eb5a9cc96a4521cf47b9203a55862a78f44a6e65 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 47 commits »
luke synced commits to refs/heads/refs/pull/5705/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
e863ec2d06 Merge ba8a0f5adf9a5f78826edbef7e3851429d185515 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 63 commits »
luke synced commits to refs/heads/refs/pull/5716/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
60990b05c3 Merge 76d286ebe47162ff2acd7b9e4da436230eacf550 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5729/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
0f5fd6e285 Merge ec54c36850e45b8eeb9b611ed35fd05f628bc542 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 83 commits »
luke synced commits to refs/heads/refs/pull/5730/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
361cbae50b Merge 3d6d9c5d4f6fff1d6c132857aadeb0f5a387a2ea into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 83 commits »
luke synced commits to refs/heads/refs/pull/5736/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
6b39eabf3c Merge 7b88b316019305bdb1c247bdf4b9294d454c8943 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 47 commits »
luke synced commits to refs/heads/refs/pull/5738/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
7970704d15 Merge 841a29496d25d99e2b92bdb3dcdafefdf898e786 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5904/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
a4e197d0c0 Merge 8efecef3f993cae483ba0e7058f178c795d74cd9 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5939/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
d1375f5fb5 Merge 556a19c611f212b351dbb825514682f284eec31e into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5961/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
ba0386666b Merge 7d942b98930893496d7f441a67962cb0d89e6d95 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6004/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
7a416df6aa Merge 8a9ae31d34a588f8928367e9feeedd3bc4ac3a34 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
e2c27aaafa Merge pull request #6042 from YosysHQ/krys/symfpu
cfd80cb48e Update constids to fix leaks
Compare 38 commits »
luke synced commits to refs/heads/refs/pull/6030/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
ddd1612ed9 Merge 3f8433b52d7ff1942c9d0009337fce65b833f7e4 into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6033/merge at luke/yosys from mirror 2026-07-22 14:44:30 +02:00
f19e9f404c Merge 3540d700a3f391a5ff555f1bf6629e73ea85af0f into f9023e92b4e5a17858e50adcd122907f45f1cb7f
f9023e92b4 Merge pull request #6059 from drewbabel/fix-xilinx-srl-fdre-enable
3006280d70 xilinx_srl: keep the clock enable on FDRE shift registers
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5554/merge at luke/yosys from mirror 2026-07-22 14:44:29 +02:00
2c71378d94 Merge 64e4624d5cd85ca7872b7266d16cda1520a0ebac into b914a7802e09762f2eed2a37e4aa772e456129c7
b914a7802e Merge pull request #5782 from YosysHQ/lofty/abc-refactor-1
45e1de36b4 abc: remove -fast (again)
Compare 3 commits »