Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-04-15 | Implement Zcb extension | Tim Hutt | 1 | -1/+1 | |
This adds an implementation of the Zcb code size extension. Co-authored-by: Martin Berger <martinberger@users.noreply.github.com> | |||||
2024-02-08 | Shorten copyright notice at the top of each file | Tim Hutt | 1 | -19/+44 | |
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() ``` | |||||
2023-06-15 | Run the pre-commit hook on all files | Alex Richardson | 1 | -2/+2 | |
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. | |||||
2023-05-29 | LICENCE: add VRULL and myself as contributors | Philipp Tomsich | 1 | -0/+2 | |
2023-05-29 | LICENSE: update copyright years | Philipp Tomsich | 1 | -1/+1 | |
2021-07-29 | update LICENCE and README with other UCam and MS authors (headers need ↵ | pes20 | 1 | -0/+5 | |
update to match) | |||||
2021-07-29 | update LICENCE and README with Nikhil and Scott (headers need update to match) | pes20 | 1 | -1/+2 | |
2021-07-27 | Add licenses to Lem and Sail library snapshots | Thomas Bauereiss | 1 | -4/+5 | |
2020-08-01 | update README and LICENCE | pes20 | 1 | -5/+10 | |
2020-06-18 | add Nikhil to authors; update install instructions | pes20 | 1 | -1/+2 | |
2019-02-26 | Merge branch 'master' into rv32 | Prashanth Mundkur | 1 | -15/+15 | |
2019-02-14 | update LICENCE | Peter Sewell | 1 | -15/+15 | |
2018-11-30 | Add licence. | Robert Norton | 1 | -0/+52 | |