Hailin, Zeng

1.纠正groupId 2.添加本地依赖jar包 3.纠正WindowData条件变量wait之前signal导致信号丢失问题 4.修改startup.sh脚本正则问题

fix possible race condition in Cursor

2

It is possible to seen a late modification timestamp change after file size has changed. // host-time file-size file-modified-time // 12:00 50k 12:00 // 12:01 51k 12:00 // 12:02 51k...

multi driver issue in s_csamul_*.v

1

Hi, I found that 24 generated signed csamul circuits (in generated_circuits/verilog_circuits/hier/s_csamul_*.v) has multi driver issue. for example, https://github.com/ehw-fit/ariths-gen/blob/cf747918bffabe9427dca222931210e42492e002/generated_circuits/verilog_circuits/hier/s_csamul_cla12.v#L733-L734