Veripool

The Veripool website software was updated today to require secure connections (https). If you see any strange behavior, please post an issue.

The Veripool website software was upgraded today. If you see any strange behavior, please post an issue.

The Veripool website software was upgraded today. This new version includes the ability to have private issues. If you see any strange behavior, please post an issue.

The Veripool website software was upgraded today. This new version includes the ability to receive mail on wiki posts. If you see any strange behavior, please post an issue.

The Veripool website software was upgraded today. This new version includes the ability to receive mail on wiki posts. If you see any strange behavior, please post an issue.

Today the Veripool software was upgraded. There are some minor new features associated with this upgrade. If you see any strange behavior, please post an issue here.

The "Verilog Simulator Benchmarks have been updated to use recent tool versions and add CVC. Version 1.020 of the kit is also released, including a script to auto-tune the runtime for quicker benchmarking.

Today the Veripool software was upgraded. There are some minor new features associated with this upgrade. If you see any strange behavior, please post an issue here.

Today the Veripool server was moved to faster hardware in order to decrease latency at peak periods. The site software was also been updated to the most recent version of Redmine. As always, please contact us if you see any problems.