- Apr 16, 2024
-
-
Tim Hutt authored
This adds an implementation of the Zcb code size extension. Co-authored-by:Martin Berger <martinberger@users.noreply.github.com>
-
- Feb 09, 2024
-
-
Tim Hutt authored
This script was used to do the modification: ``` from pathlib import Path import re RE_LINE = r"/\*={50,150}\*/\n" RE_MIDDLE = r"/\*.*\*/\n" NEW_TEXT = """/*=======================================================================================*/ /* This Sail RISC-V architecture model, comprising all files and */ /* directories except where otherwise noted is subject the BSD */ /* two-clause license in the LICENSE file. */ /* */ /* SPDX-License-Identifier: BSD-2-Clause */ /*=======================================================================================*/ """ REPLACEMENT = re.compile(rf"^{RE_LINE}(?:{RE_MIDDLE}){{10,100}}{RE_LINE}") def main(): for file in Path("model").glob("**/*.sail"): text = file.read_text(encoding="utf-8") text = REPLACEMENT.sub(NEW_TEXT, text, 1) file.write_text(text, encoding="utf-8") if __name__ == "__main__": main() ```
-
- Jun 15, 2023
-
-
Alex Richardson authored
This strips trailing whitespace and fixes line endings. I had to add the *.dump files to the exclude list to avoid excessive changes, but ideally these would not be part of the repository since they can just be generated by running objdump manually.
-
- May 30, 2023
-
-
Philipp Tomsich authored
-
Philipp Tomsich authored
-
- Jul 29, 2021
- Jul 28, 2021
-
-
Thomas Bauereiss authored
-
- Aug 02, 2020
-
-
pes20 authored
-
- Jun 18, 2020
-
-
pes20 authored
-
- Feb 15, 2019
-
-
Peter Sewell authored
-
- Nov 30, 2018
-
-
Robert Norton authored
-