• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/7764/head at luke/verilator from mirror 2026-06-15 20:37:39 +02:00
e51961469c Use COVERIGN to replace UNSUPPORTED
luke synced commits to refs/heads/refs/pull/7765/head at luke/verilator from mirror 2026-06-15 20:37:39 +02:00
6ed3f7835d Apply review feedback to AGENTS files
luke synced and deleted reference refs/tags/refs/pull/7761/merge at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
luke synced and deleted reference refs/tags/refs/pull/7764/merge at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
luke synced and deleted reference refs/tags/refs/pull/7765/merge at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
0233e5044c Tests: Restore Antmicro copyright on test files accidentally overwritten (#7786)
709c444df3 Internals: Add AGENTS files to guide AI contributions (#7562) (#7765)
077558a9b0 Support cover sequence statement (#7764)
969a775ae5 Support assertion control system tasks in classes and interfaces (#7761)
a07a980b73 Internals: Do not overload AstVar::isPrimaryIO() for sampled value vars
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7313/merge at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
ac831447eb Merge 2d4073999afa5ba962e4174fbece628565844ec7 into 0233e5044cb42dc53d7d9c58d6230bdd344f6830
0233e5044c Tests: Restore Antmicro copyright on test files accidentally overwritten (#7786)
709c444df3 Internals: Add AGENTS files to guide AI contributions (#7562) (#7765)
077558a9b0 Support cover sequence statement (#7764)
969a775ae5 Support assertion control system tasks in classes and interfaces (#7761)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/7755/head at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
7c0ce7f154 Fix DFG misoptimizing bound checks
luke synced commits to refs/heads/refs/pull/7755/merge at luke/verilator from mirror 2026-06-15 20:37:38 +02:00
910016f8b8 Merge 7c0ce7f1549bced7377bc08aed3ab98b0a868620 into 969a775ae503a89fe867f87e6d57c326f2792c0b
969a775ae5 Support assertion control system tasks in classes and interfaces (#7761)
7c0ce7f154 Fix DFG misoptimizing bound checks
a07a980b73 Internals: Do not overload AstVar::isPrimaryIO() for sampled value vars
Compare 4 commits »
luke synced commits to refs/heads/develop at luke/sbt from mirror 2026-06-15 20:37:15 +02:00
c33b795c78 [2.x] ci: Update version and ivy tests (#9342)
29f2c8648f [2.x] ci: Update mimaPreviousArtifacts (#9341)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/5952/merge at luke/yosys from mirror 2026-06-15 12:47:21 +02:00
e25521378d Merge 601cd7ba5fef5e66b12f5578e57a061b7738a1ee into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5953/merge at luke/yosys from mirror 2026-06-15 12:47:21 +02:00
bfa6b06551 Merge 83a82457349afe5567bc5da2ece0f6366e879321 into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5856/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
6adb674a1f Merge 77b63be4d238e87b9a377051c15f90ee2e7615e4 into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5880/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
64c8250b39 Merge 13ab5d4a674bde777d6188704cd5a096fd7060db into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5886/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
4323ae99be Merge 7d3e56523bf93fb3c63fc19de843278f38e43012 into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5887/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
c1f5fc3827 Merge 38c2806636e06ad65bbd11c3a61e3c96a7c8f8ef into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
b79c7c008d simplify.cc: Fix crash when identifier matches module
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5904/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
65a8595222 Merge 8efecef3f993cae483ba0e7058f178c795d74cd9 into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5920/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
8b5be8c512 Merge 46f9f887f7d0736eda64d61cef56f082bd5936e7 into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/5939/merge at luke/yosys from mirror 2026-06-15 12:47:20 +02:00
2f1e5f68a0 Merge 556a19c611f212b351dbb825514682f284eec31e into 8869ce61dca7f81b22e0b8155d5acf69dcb60291
8869ce61dc Merge pull request #5955 from YosysHQ/krys/mod_name
05805e8b93 Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
a423226ec9 Merge pull request #5956 from YosysHQ/log_compat
80011b16b2 Add constant note.
Compare 29 commits »
luke synced and deleted reference refs/tags/refs/pull/5938/merge at luke/yosys from mirror 2026-06-15 12:47:19 +02:00