Hailin, Zeng

Beijing, China Formal Verification

Results 6 comments of


                                            Hailin, Zeng

Dark theme does not behave correctly

I solved by following the suggestion made by @dishcandanty on https://github.com/nvbn/everpad/issues/198

这个框架css,js怎么放置啊?读取不到

放在webapp/resources目录下，比如webapp/resources/css/bootstrap.css，然后这样引用

这个与scf有什么关系？

对

fix possible race condition in Cursor

missed ')'

multi driver issue in s_csamul_*.v

My bash script fix is ```shell sed -i "s|\(ha .*b1.*\.ha_and0\)|\1\(\)\);//|g" ./s_csamul_*.v ```

建议增加TV模式

+1