aboutsummaryrefslogtreecommitdiff
path: root/model/termination
AgeCommit message (Expand)AuthorFilesLines
2025-12-08Scatter termination.sail (#1376)Valentin Robert1-102/+0
2025-11-12Add profile-defined extension Ssu64xl. (#1387)Prashanth Mundkur1-0/+1
2025-11-12Support a configurable reservation set size. (#1386)Prashanth Mundkur1-0/+2
2025-11-10Add ExecuteAs result for compressed instructions. (#1382)Prashanth Mundkur1-46/+0
2025-11-07Add Sstvecd to supported extensions. (#1377)Prashanth Mundkur1-0/+1
2025-10-28Rocq updates (#1359)Brian Campbell1-1/+1
2025-10-13Add support for Zvfbfwma extension (#1185)Nadime Barhoumi1-0/+1
2025-10-09Add support for Zvfbfmin extension (#1184)Nadime Barhoumi1-0/+1
2025-10-09Remove monomorphic `val` declarations by moving types into the function signa...Prashanth Mundkur1-2/+1
2025-10-06Refactor vector extension configuration. (#1163)Wenyu Huang1-3/+23
2025-09-28Add the Zicfilp extension. (#1238)Prashanth Mundkur1-0/+4
2025-09-18Move `termination.sail` and `main.sail` into module specific directories (#1280)Jordan Carlin1-0/+119
generated by cgit v1.1 at 2026-02-04 07:17:59 +0000