Jingren Wang issues

Results 14 issues of


                                            Jingren Wang

Minor issue, extra bracket in example

## Proposed change(s) Delete the extra bracket in the example. ### Types of change(s) - [ ] Bug fix - [ ] New feature - [ ] Code refactor -...

CMake Error: The following variables are used in this project, but they are set to NOTFOUND.

I found this CMake error after I built (without #1922 (although I don't think they are relevant...)) ``` CMake Error: The following variables are used in this project, but they...

Could not resolve dependencies

I am following [this tutorial](https://ucsd-progsys.github.io/liquidhaskell-blog/2020/08/20/lh-as-a-ghc-plugin.lhs/), but got this error: ``` $ cabal v2-build Resolving dependencies... cabal.exe: Could not resolve dependencies: [__0] trying: EpsilonX-0.1.0.0 (user goal) [__1] trying: liquidhaskell-0.8.10.2 (dependency of...

Is there any way to generate a static output?

If I want to attach the report in my thesis appendix, the html version is not a good choice. Is there a neat way to export the result in the...

Enhancement

Help wanted

HTML reports

json.decoder.JSONDecodeError

I have encounter with this: ``` Traceback (most recent call last): File "C:\Users\dell\Desktop\InstaTrack-master\InstaTracker.py", line 136, in main() File "C:\Users\dell\Desktop\InstaTrack-master\InstaTracker.py", line 119, in main username = useridToUsername(args.id) File "C:\Users\dell\Desktop\InstaTrack-master\InstaTracker.py", line 63,...

Update link ref

write_json command link broken, referenced to yosys manual.

Refactor(decomposition): Use of bitwise '&' with boolean operands

In `decomposition.hpp`, there's a bit operator `&` in condition which causes warning: https://github.com/msoeken/kitty/blob/5b7ea895c803cb05f62559fce85ac0a8bef79388/include/kitty/decomposition.hpp#L597 ``` warning: use of bitwise '&' with boolean operands [-Wbitwise-instead-of-logical] ``` So actually there won't be any...

Jingren Wang