| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-08-25 | Fix#8084: Batch-8: Enable cuda tests (#8268) | Harsh Aggarwal (NVIDIA) | |
| 2025-03-17 | Add error diagnostic vectors and matrices with disallowed element types (#6596) | Anders Leino | |
| - Add the diagnostic messages, and code to emit them - Add some tests This helps to address issue #6183. | |||
