History log of /seL4-camkes-master/tools/seL4/misc/whence.py
Revision Date Author Comments
# 2f972430 29-Nov-2020 Curtis Millar <curtis.millar@data61.csiro.au>

trivial: Always invoke tools with python3

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>


# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# 9fbb32aa 26-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

Style: run style.py on python scripts


# 935ee687 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# 14c7bfa1 13-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a tool for determining provenance of code forked from an upstream repo.

This adds a tool that is a quick and dirty implementation I wanted in order to
find the upstream Linux commit we forked Kconfig from. It could easily be
improved in future with obvious optimisations (e.g. fetch upstream into the same
working directory and use git-diff instead of diff) if necessary.