Jiuyang Liu
Jiuyang Liu
If providing a build system wrapper to CMake like sbt/mill, would it be possible to PR this wrapper, making it possible to give a Maven release? Or if not possible,...
Sorry for the delay, I'm totally missed this notification. I think `z3/src/api/java/CMakeLists.txt` needs some rework, using standard java specified build system to manage the java code, and use the plugin...
why adding this api?
Why not using `BoringUtils.bore(source)`
> This does only exist in 6.0, not even in 5.1 or 3.6. If this is backported to 5 and 3 then this is probably a more elegant solution. Yes,...
> No chance at the moment to use firtool with 2nd semester students. And 6.0 is not out ;-) RC is out ;p
For Nix users: Here our flow: build jar and wrap it. Set env to use circt from nixpkgs. ``` installPhase = '' runHook preInstall strip-nondeterminism elaborator.jar mkdir -p $out/share/java mv...
BTW, `nixpkgs#circt` is also maintained by my team. Feel free to submit any bug reports. ;p
I'm a little scared about this idea landing in Chisel 6, since RC1 is out, this API is a big change... However I think we should eventually take this into...
LGTM, changed base to `ci/ci-circt-nightly`, T1 is successfully elaborated MLIR w/ this PR.