diff options
| author | Anders Leino <aleino@nvidia.com> | 2025-03-17 15:05:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-17 21:05:11 +0800 |
| commit | 98ff41989b04ce883e9dc9f4464c45290d30c560 (patch) | |
| tree | fc30afe14244da7d6063d4bbcf5eb343afe69a53 /docs | |
| parent | 3357b5549cebbcbd95c8762b2638efd9ea607013 (diff) | |
Add error diagnostic vectors and matrices with disallowed element types (#6596)
- Add the diagnostic messages, and code to emit them
- Add some tests
This helps to address issue #6183.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions