luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
27
 Projects Packages Public Activity Starred Repositories
luke synced and deleted reference refs/tags/nella/fix-6089 at luke/yosys from mirror 2026-08-11 18:01:10 +02:00
luke synced and deleted reference refs/tags/refs/pull/6105/merge at luke/yosys from mirror 2026-08-11 18:01:10 +02:00
luke synced commits to refs/heads/emil/opt_clean-no-unused_bits at luke/yosys from mirror 2026-08-11 18:01:10 +02:00
luke synced new reference refs/heads/emil/opt_clean-no-unused_bits to luke/yosys from mirror 2026-08-11 18:01:10 +02:00
luke synced commits to refs/heads/lofty/abc-refactor-10 at luke/yosys from mirror 2026-08-11 18:01:10 +02:00
1dce7895e0 read_xaiger2: remove
luke synced commits to refs/heads/lofty/abc-refactor-9 at luke/yosys from mirror 2026-08-11 18:01:10 +02:00
488ba22092 synth: remove classic ABC mapping for LUTs
1b30713ac5 synth_microchip: remove classic ABC mapping
46328c6810 synth_lattice: remove classic ABC mapping
be75fc6dbe synth_intel: remove classic ABC mapping
b7a38652ea synth_greenpak4: remove classic ABC mapping
Compare 16 commits »
luke synced commits to refs/heads/main at luke/nextpnr from mirror 2026-08-11 18:01:03 +02:00
930fef448e static: Allow a custom delay prediction function
df871def22 xilinx: Small tweak to delay prediction
a435792828 nexus: Disconnect CCU2 CIN when it's a don't care
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/1768/merge at luke/nextpnr from mirror 2026-08-11 18:01:03 +02:00
c179a75bce Merge c39f26e93a9e3d92dcc0191b145b6013ec29a57c into 930fef448efda3401606b1fb2cd2b3de7b7eaf24
930fef448e static: Allow a custom delay prediction function
df871def22 xilinx: Small tweak to delay prediction
a435792828 nexus: Disconnect CCU2 CIN when it's a don't care
Compare 4 commits »
luke synced commits to refs/heads/master at luke/xschem from mirror 2026-08-11 18:00:57 +02:00
ecdac027f5 change graph border from WIRELAYER to SYMLAYER (better colorscheme consistency)
luke synced commits to refs/heads/refs/pull/8081/head at luke/verilator from mirror 2026-08-11 17:51:41 +02:00
3f762b9c75 Apply 'make format' [ci skip]
ef11b086c8 VPI + interface references
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8081/merge at luke/verilator from mirror 2026-08-11 17:51:41 +02:00
1488e4b493 Merge 3f762b9c7583687430b3eda3c78a64b29a0d3ac6 into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
3f762b9c75 Apply 'make format' [ci skip]
ef11b086c8 VPI + interface references
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/8074/merge at luke/verilator from mirror 2026-08-11 17:51:40 +02:00
8a78874c32 Merge aa38c16915ee03d66fc08df92acbd10c9481e5b3 into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8077/head at luke/verilator from mirror 2026-08-11 17:51:40 +02:00
c5b89fba0d Added explicit AstAssocSel write access
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
5d888d2ac0 Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8077/merge at luke/verilator from mirror 2026-08-11 17:51:40 +02:00
0403509143 Merge c5b89fba0d395ca165164891d19dd18b41dd923b into 945ea27fecf171faf197abaa22b07bab4b02c92a
c5b89fba0d Added explicit AstAssocSel write access
945ea27fec Fix undefined symbol solver error (#8080)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8079/merge at luke/verilator from mirror 2026-08-11 17:51:40 +02:00
597b590281 Merge 749aa4b2ce3f48d089b1c0a32eee1056fbd8b275 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8080/head at luke/verilator from mirror 2026-08-11 17:51:40 +02:00
cc4dde6531 [#102415] Fix of undefined symbol solver error
luke synced commits to refs/heads/refs/pull/8059/merge at luke/verilator from mirror 2026-08-11 17:51:39 +02:00
d7b4017c0b Merge 989c70bbdaeb8210f9c19cd8deb5b7085628a77f into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8066/merge at luke/verilator from mirror 2026-08-11 17:51:39 +02:00
6fe0bb6ac4 Merge 111af4c8fdcdd7136e1d67ab1dd114a090449ab2 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8069/merge at luke/verilator from mirror 2026-08-11 17:51:39 +02:00
f244269223 Merge 00f11a26f526252c71fbe6afa12dbb3e0ccb6b21 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8071/merge at luke/verilator from mirror 2026-08-11 17:51:39 +02:00
4f21b0ae9b Merge ae0462832517961fb7d9abccb5e7cb644b6e414c into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 4 commits »