History log of /seL4-l4v-master/l4v/tools/asmrefine/X64/ArchSetup.thy
Revision Date Author Comments
# 2f32deb4 12-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

asmrefine: review license for $ARCH/ArchSetup.thy
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# 4a222d11 18-Dec-2019 Edward Pierzchalski <ed.pierzchalski@data61.csiro.au>

asmrefine: add arch setup licenses
# b4242a3a 25-Nov-2019 Edward Pierzchalski <ed.pierzchalski@data61.csiro.au>

asmrefine: arch-split for machine word size.

Arch-split memory operations used when translating graph-lang.