Forty-Bot

Note that you will need cocotb/cocotb#3323 in order to access arrays. There's no upstream support for now, so you will need to run things like ``` export LD_LIBRARY_PATH=$(dirname $(cocotb-config --lib-name-path...

Hey just want to note that I ran into this issue. A naïve `coccigrep -l $(git ls-files)` failed with no output. Switching to something like `coccigrep -l $(git grep -l...

Did you use ghidra to generate the pseudocode? If so, do you have a link to your project anywhere? > 8801e6ca interrupts-extended > 8801e6fc interrupt-parent These strings are from the...

(from @lizhirui's [reddit post](https://old.reddit.com/r/RISCV/comments/fguddz/linux011_with_mmu_for_k210_riscv/fk9otke/)) > The kernel is running machine mode not supervisor because of bug of K210(When the K210 is running in supervisor mode,the global interrupt switch is out...

With the separate save/restore actions, you can now do something like ```yaml - name: Calculate apt sources hash id: apt-list run: | echo -n hash= >> $GITHUB_OUTPUT tar -cf -...

c.f. https://sourceware.org/bugzilla/show_bug.cgi?id=28887

There were two main bugs I saw related to `CaseName`: - Cocotb asks for something in lowercase and is surprised when we give it something in uppercase - Cocotb gets...

The use case here is to synchronize the state of the loaded library with the source files. So the contents of the library should be exactly the same as if...

This does not completely fix the problem. Consider instead when the architecture is in a separate file. The dependencies from `--print-deps` might look like ``` /path/to/work/_WORK.TEST.final.so: /path/to/work/WORK.TEST-TEST /path/to/work/WORK.TEST.elab: /path/to/work/WORK.TEST-TEST /path/to/work/WORK.TEST:...

> But fails to define "most recently". NVC used to do this based on the timestamp of the file in the library but now uses a sequence number which increments...