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/refs/pull/7763/merge at luke/verilator from mirror 2026-06-17 00:26:21 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-06-17 00:26:21 +02:00
a534a1d1bc Fix parameter pollution when using class parameters (#7711) (#7763)
792008514b Fix randomization of dynamic arrs of objects (#7790)
bec45125bd Fix cover property of an implication counting vacuous matches (#7789)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6996/merge at luke/verilator from mirror 2026-06-17 00:26:21 +02:00
79c37169a6 Merge 6302862c0868c04b044bc12a9bdce1586d570ac2 into a534a1d1bca737f3b0397b931650cea28648b61b
a534a1d1bc Fix parameter pollution when using class parameters (#7711) (#7763)
792008514b Fix randomization of dynamic arrs of objects (#7790)
bec45125bd Fix cover property of an implication counting vacuous matches (#7789)
38fd99b37b Fix out-of-bounds read value for 2-state types (#7785)
Compare 171 commits »
luke synced commits to refs/heads/refs/pull/7754/merge at luke/verilator from mirror 2026-06-17 00:26:21 +02:00
cc90a095e5 Merge 475648ad1044bf65e559a975ae42a70dace1fba6 into a534a1d1bca737f3b0397b931650cea28648b61b
a534a1d1bc Fix parameter pollution when using class parameters (#7711) (#7763)
792008514b Fix randomization of dynamic arrs of objects (#7790)
bec45125bd Fix cover property of an implication counting vacuous matches (#7789)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/663/merge at luke/openFPGALoader from mirror 2026-06-17 00:25:52 +02:00
6e340b4c2d Merge 9777b029083fb476110f764abbb4cbce13b8091f into 07db236e09ae82b47dd474f18b2e2adc63e14d6a
07db236e09 Merge pull request #681 from enjoy-digital/issi-is25wp256
828b970759 spiFlashdb: add ISSI IS25WP256 and Quad Enable for IS25LP/WP256
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/676/head at luke/openFPGALoader from mirror 2026-06-17 00:25:52 +02:00
6d4c07eeb2 Add support for alibaba cloud xcku3p card
luke synced commits to refs/heads/refs/pull/676/merge at luke/openFPGALoader from mirror 2026-06-17 00:25:52 +02:00
4441834d6e Merge 6d4c07eeb2e9a186bf6d32f6f865efcaf933cfeb into 07db236e09ae82b47dd474f18b2e2adc63e14d6a
6d4c07eeb2 Add support for alibaba cloud xcku3p card
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/680/merge at luke/openFPGALoader from mirror 2026-06-17 00:25:52 +02:00
a504778eb1 Merge 027f699f57bbd0934353dbb68ac6ceedf91d8d78 into 07db236e09ae82b47dd474f18b2e2adc63e14d6a
07db236e09 Merge pull request #681 from enjoy-digital/issi-is25wp256
828b970759 spiFlashdb: add ISSI IS25WP256 and Quad Enable for IS25LP/WP256
Compare 3 commits »
luke synced commits to refs/heads/dev at luke/IHP-AnalogAcademy from mirror 2026-06-16 16:26:42 +02:00
01f26b8ba0 push new schematic for OTA
luke synced and deleted reference refs/tags/improve_test at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
luke synced and deleted reference refs/tags/update_abc at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
luke synced and deleted reference refs/tags/refs/pull/5959/merge at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
luke synced and deleted reference refs/tags/refs/pull/5962/merge at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
e2903c4a5c Merge pull request #5959 from YosysHQ/improve_test
211fa48ce5 Merge pull request #5962 from YosysHQ/update_abc
3af45e7d04 Some more explanations
0584587f9a Make compilation like by abc scripts
83ee00d312 Update ABC as per 2026-06-15
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/5842/merge at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
6b45d01037 Merge 68df0be7d2ef7b3a0dd54abe469b81b9494a48e1 into f33cc39a0cf47d3110520b533807ab5027f06e7e
f33cc39a0c Merge pull request #5958 from YosysHQ/emil/opt_muxtree-single-driver
48c1e1a724 tests: remove hana test with multiple drivers
6032b064e2 opt_muxtree: optimize for single driver, error on multiple drivers
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/5904/merge at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
ecf6a30094 Merge 8efecef3f993cae483ba0e7058f178c795d74cd9 into e2903c4a5c4ce6c486bec9e1db813d0e02123e7e
e2903c4a5c Merge pull request #5959 from YosysHQ/improve_test
211fa48ce5 Merge pull request #5962 from YosysHQ/update_abc
3af45e7d04 Some more explanations
0584587f9a Make compilation like by abc scripts
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/5959/head at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
3af45e7d04 Some more explanations
luke synced commits to refs/heads/refs/pull/5961/merge at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
a3969aa592 Merge 7d942b98930893496d7f441a67962cb0d89e6d95 into e2903c4a5c4ce6c486bec9e1db813d0e02123e7e
e2903c4a5c Merge pull request #5959 from YosysHQ/improve_test
211fa48ce5 Merge pull request #5962 from YosysHQ/update_abc
3af45e7d04 Some more explanations
0584587f9a Make compilation like by abc scripts
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5962/head at luke/yosys from mirror 2026-06-16 16:26:17 +02:00
0584587f9a Make compilation like by abc scripts
luke synced commits to refs/heads/refs/pull/111/merge at luke/magic from mirror 2026-06-16 16:26:13 +02:00
a266f103e0 Merge fb85e97b9233cff352d964823173c18527c714aa into 381714e2d5debf2ded71c5a6b6604e6b936422cf
381714e2d5 Modified behavior with regard to substrate shield types being inside
d44aeaa1d1 Incremented the version to go along with, and to test, the merge
a7f2a38d32 Accept release tags without v prefix in the WASM npm publish gate.
a38fa29dac Added a check for exts_globSubstratePlane == -1 in ExtBasic.c,
Compare 47 commits »