Bo-Yuan Huang comments

Results 5 comments of


Bo-Yuan Huang

Support for BISON 3.3.1 (or above)

The error exists in both Ubuntu (16.04, 18.04) and OSX when installing the official release. The error message above is actually copied from the Ubuntu environment. I tried to fix...

Support for BISON 3.3.1 (or above)

I can roll back to a previous version to bypass this issue. Thanks anyway!

Update Refinement Handling in Verilog Verification Target Generation

> Honestly speaking, I'm having issues with compiling it on Windows. The core issue is in the dependent repo: https://github.com/zhanghongce/vexpparser, where I have no way to have the compiler on...

ila sim--generate simulator with external memory for Qemu target

https://github.com/Bo-Yuan-Huang/ILAng/blob/9f1855395b159e5dc00b50ca49b49c0cd98615d8/src/target-sc/sim_gen_state.cc#L97

Package recipes using modern CMake (required 3.8)

Not an expert on Python binding, but it should be fine if it is about building a static library. https://github.com/Bo-Yuan-Huang/coreir/blob/e12b74d659a479e4763de50afe70132d2d7100a9/CMakeLists.txt#L23 One can enable static linking by turning the standard CMake...