Zachary Yedidia

The current version of go-z3 doesn't build with the latest z3 (4.8.13). This PR makes some fixes so that it does. * Some changes to true/false constants and sized int...

Bad behavior if log file path is invalid

3

When setting up my preferences I accidentally used an invalid path for the `path` field of the `runLog`. When I ran `jobber reload`, this gave the error: `Call to Jobber...

[Github Actions] Fix macOS build by switching to clang

1

While trying to use the Mac firtool pre-built binary on a larger design I noticed that it sometimes throws bogus errors, for example saying that a value is not fully...

[HWToLLVM] Lower constant HW arrays to static global LLVM arrays

3

Currently an HW array that only consists of constants is lowered in the same way as an array containing dynamic arrays: by creating the array at runtime and allocating it...

[FIRRTL] Subword assignment support via rewriting to read-modify-write

21

This implements subword assignment by allowing the `BitsPrimOp` as a sink and then rewriting connections to it during the expand-whens pass. When a value is subword-assigned without having a previous...

Verilator and Yosys support broken

3

I've been trying to use the `microwatt.v` and `microwatt-verilator` targets in the makefile, but it seems like both are broken. The `microwatt.v` file produced by Yosys generates invalid Verilog, which...

Internal error when loading masked memory from file

1

### Checklist - [x] Did you specify the current behavior? - [x] Did you specify the expected behavior? - [x] Did you provide a code example showing the problem? -...

Panic: unexpected kvm exit reason 8

4

Hi, I was trying out your project but haven't been able to get it to boot Linux. I ran `make bzImage` and `make initrd` (after installing `libmnl` static libraries from...

Gopher Lua version: 9d7d921 Go version: 1.21.0 Ran the following file: ```lua local x = string.gmatch("asdf", "a") print(x()) ``` ``` $ lua5.1 test.lua a ``` ``` $ glua test.lua test.lua:2:...

Bug with `debug.getlocal` (mismatch compared to official Lua 5.1)

1

You **must** post issues only here. Questions, ideas **must** be posted in [discussions](https://github.com/yuin/gopher-lua/discussions). Please answer the following before submitting your issue: 1. What version of GopherLua are you using? :...