Published August 19, 2019
| Version v0.2.3
Software
Open
verificarlo/verificarlo: Verificarlo v0.2.3
Authors/Creators
- 1. McGill University (@aces)
Description
[v0.2.3] 2019/08/19
- Correctly detect non supported fp types
- Fix handling of boolean vectors
- Fix memory leak in quad backend
Files
verificarlo/verificarlo-v0.2.3.zip
Files
(81.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:254e3df417ac541d40c428ca9ebf3559
|
81.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/verificarlo/verificarlo/tree/v0.2.3 (URL)