Jackie Shen

icon location Everything is a file.

Results 7 comments of Jackie Shen

Repository seems to be missing kernel_lib and to_latex

We will be fully open once we have finalized our internal coordination and secured clear protection of proprietary rights. An official announcement will be made before the end of this...

`%` bug

@yuniruyuni THANK YOU! You are the first community participant who isn't known to our core team but has been answering questions under the Litex repository! We would love to get...

some suggestions about tutorial

Thank you, we will continuously develop our tutorial and put more examples and exercises into it so that more people will understand that. The "dictionary-style" tutorial is more like a...

新手请教

Oh! z3确实是一个很好的prover。您能把您的微信号发送到 [email protected] 来吗，我加一下您好友，然后我们线上会议一下。我非常愿意和您和您的伙伴们交流！！

Some step need to be improved in polynomial transformation

本质上是 消去律和传递性 写起来有点烦

Semantics of @ claim explained

know @, claim @ is very tricky how a prop defined by know @ and claim @ to be emitted ?? what does => mean there?

very very serious drawback: when we know p(p(1,2), 0) = 1, then if you ask p(1,2) = 1, kernel compares p(1,2) = p(p(1,2),0), then 1 = p(1,2) is checked again

fixing this bug might lead to 1000% efficiency improvement, because I will reorganize calling dependecny and hierarchy to fix this bug, which might make the code base much much faster