• Joined on 2024-06-02
luke synced and deleted reference refs/tags/refs/pull/6102/merge at luke/yosys from mirror 2026-08-11 01:41:01 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-08-11 01:41:01 +02:00
ff5817c34d Merge pull request #6102 from donn/homebrew_off
f5f930e186 cmake: use homebrew from PATH
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/5583/merge at luke/yosys from mirror 2026-08-11 01:41:01 +02:00
4ec79a770b Merge 9f908d674994edb4b9ff92a8186747100c162cb0 into fd6367405eb50b252496087e3f12cfc1c06509a4
fd6367405e Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8
d1357f171f fix handling of multiple modules
0f2bcb94b7 Merge pull request #6096 from YosysHQ/nella/opt-muxtree-fix-self-conflict
9c144d59aa Fix OOB read.
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/5939/merge at luke/yosys from mirror 2026-08-11 01:41:01 +02:00
613a8132dc Merge 556a19c611f212b351dbb825514682f284eec31e into fd6367405eb50b252496087e3f12cfc1c06509a4
fd6367405e Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8
d1357f171f fix handling of multiple modules
0f2bcb94b7 Merge pull request #6096 from YosysHQ/nella/opt-muxtree-fix-self-conflict
9c144d59aa Fix OOB read.
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/6037/merge at luke/yosys from mirror 2026-08-11 01:41:01 +02:00
678df7d0e2 Merge bac16eb1c4d58d63969575b7f5e5176dad8f2f1b into fd6367405eb50b252496087e3f12cfc1c06509a4
fd6367405e Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8
d1357f171f fix handling of multiple modules
0f2bcb94b7 Merge pull request #6096 from YosysHQ/nella/opt-muxtree-fix-self-conflict
9c144d59aa Fix OOB read.
Compare 49 commits »
luke synced commits to refs/heads/refs/pull/6102/head at luke/yosys from mirror 2026-08-11 01:41:01 +02:00
f5f930e186 cmake: use homebrew from PATH
luke synced commits to refs/heads/master at luke/xschem from mirror 2026-08-11 01:40:57 +02:00
8869a957cc fix wrong expression for access_cond in waves_callback()
luke synced commits to refs/heads/refs/pull/8074/head at luke/verilator from mirror 2026-08-11 01:31:11 +02:00
aa38c16915 Fix abort operator crashes in NFA assertion lowering
4950583fbc Narrow unsupported checks to measured defects, drop the shape-based abort rule
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8074/merge at luke/verilator from mirror 2026-08-11 01:31:11 +02:00
dced3a203d Merge aa38c16915ee03d66fc08df92acbd10c9481e5b3 into 490bd3896275705304a5da9e9a42e58b3036b3a2
aa38c16915 Fix abort operator crashes in NFA assertion lowering
4950583fbc Narrow unsupported checks to measured defects, drop the shape-based abort rule
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8079/head at luke/verilator from mirror 2026-08-11 01:31:11 +02:00
749aa4b2ce Add trailing newline
8457efebb6 Fix white space error
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8079/merge at luke/verilator from mirror 2026-08-11 01:31:11 +02:00
b150de7e1e Merge 749aa4b2ce3f48d089b1c0a32eee1056fbd8b275 into 490bd3896275705304a5da9e9a42e58b3036b3a2
749aa4b2ce Add trailing newline
8457efebb6 Fix white space error
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/7991/merge at luke/verilator from mirror 2026-08-11 01:31:10 +02:00
55117b6427 Merge dc45ebb225293bbe3d92012a05dcb0476702de03 into 490bd3896275705304a5da9e9a42e58b3036b3a2
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)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/8025/merge at luke/verilator from mirror 2026-08-11 01:31:10 +02:00
ebd10a49e7 Merge d240c49b267bf110accb367cb3bb1470ab8819fe into 490bd3896275705304a5da9e9a42e58b3036b3a2
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)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/8066/head at luke/verilator from mirror 2026-08-11 01:31:10 +02:00
111af4c8fd Restore t_constraint_size_with_cls_arr; reach 100% line coverage
luke synced commits to refs/heads/refs/pull/8066/merge at luke/verilator from mirror 2026-08-11 01:31:10 +02:00
a03158e6fc Merge 111af4c8fdcdd7136e1d67ab1dd114a090449ab2 into 490bd3896275705304a5da9e9a42e58b3036b3a2
111af4c8fd Restore t_constraint_size_with_cls_arr; reach 100% line coverage
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8069/merge at luke/verilator from mirror 2026-08-11 01:31:10 +02:00
3472529991 Merge 00f11a26f526252c71fbe6afa12dbb3e0ccb6b21 into 490bd3896275705304a5da9e9a42e58b3036b3a2
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)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7193/merge at luke/verilator from mirror 2026-08-11 01:31:09 +02:00
274f1776c3 Merge 613fa4d2ea265b0ee8a6e5e91813287601dfa8bb into 490bd3896275705304a5da9e9a42e58b3036b3a2
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)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7861/merge at luke/verilator from mirror 2026-08-11 01:31:09 +02:00
e106f7d8c5 Merge c794f0486452ba6e82d713bdd9afef30a108301f into 490bd3896275705304a5da9e9a42e58b3036b3a2
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)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/7966/merge at luke/verilator from mirror 2026-08-11 01:31:09 +02:00
ce971f5eac Merge 59e2edbbd37291c63528e66aecd582709a017f4e into 490bd3896275705304a5da9e9a42e58b3036b3a2
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)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/594/merge at luke/openFPGALoader from mirror 2026-08-10 17:31:31 +02:00
a0fe259e2f Merge b6df4b8699028d9b311504b3398ac7b601781875 into e20a34400e633b844e1e1ef159e646370990c2df
e20a34400e Merge pull request #701 from pkuzmin/fix-xilinx-spiflash-mcs-prog
93a78aaa44 Fix for programming mcs file to unknown SPI flash memory model.
Compare 3 commits »