zhang0504 issues

Repositories
Issues
Comments

Results 1 issues of


                                            zhang0504

The mod operation is not supported when XLS_IR is converted to Z3. Is there a solution

### What's hard to do? (limit 100 words) UNIMPLEMENTED: Unhandled node for conversion from XLS IR to Z3: ### Current best alternative workaround (limit 100 words) I'll go crazy ###...

enhancement