History log of /seL4-l4v-10.1.1/l4v/spec/design/skel/Fault_H.thy
Revision Date Author Comments
# 6b9912c4 16-Oct-2017 Pang Luo <Pang.Luo@data61.csiro.au>

manually adjust non-obvious cases of tab to space replacement
# 184d6b70 09-Oct-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

remove most tab characters
# 796887d9 11-Jul-2017 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

Removes all trailing whitespaces
# 6dad6a1c 19-Jul-2016 Miki Tanaka <miki.tanaka@nicta.com.au>

ExecSpec: arch-specific faults + VMFault -> ArchFault + ReservedIRQ

* skeletons, adding new constructs (arch_tcb, arch_fault)

* adjusting skeletons for ReserveIRQ + small change in haskell (ARM)

Changes in: spec/haskell/src/SEL4/Object/Interrupt/ARM.lhs:37:21
Due to "Defined but not used: ‘irq’"

* arch-splitting faults in skeletons (ARM)

* fix arch_tcb and asUser namespace issues in skeletons (ARM)

* checking in current generated files

tags: [VER-623][SELFOUR-413]
# 12fa8686 16-May-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

fewer warnings
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.