adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
lh-l4v/spec
History
Matthew Brecknell 184d6b70b7 remove most tab characters 2017-10-20 14:22:36 +11:00
..
abstract remove most tab characters 2017-10-20 14:22:36 +11:00
capDL Removes all trailing whitespaces 2017-07-12 15:13:51 +10:00
cspec cspec: Remove redundancy in build rules and theory files for c-kernel builds 2017-09-21 13:23:04 +10:00
design remove most tab characters 2017-10-20 14:22:36 +11:00
haskell remove most tab characters 2017-10-20 14:22:36 +11:00
machine x64: remove all trailing whitespace 2017-08-11 14:19:39 +10:00
sep-abstract remove most tab characters 2017-10-20 14:22:36 +11:00
take-grant Removes all trailing whitespaces 2017-07-12 15:13:51 +10:00
Makefile cspec: Remove redundancy in build rules and theory files for c-kernel builds 2017-09-21 13:23:04 +10:00
README.md misc: Proofing and formatting of README.md files. 2014-07-28 13:15:48 +10:00
ROOT remove most tab characters 2017-10-20 14:22:36 +11:00
tests.xml arm-hyp test: Adding exclusion test set for ARM_HYP + cleanup 2017-06-19 14:32:43 +10:00

README.md

Formal Specifications of seL4

See the sub directories for more details.

The Makefile and ROOT file define runnable Isabelle sessions for these specifications.