History log of /seL4-l4v-10.1.1/seL4/include/assert.h
Revision Date Author Comments
# ae0937a0 03-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Add unverified_compile_assert

This version of compile_assert is not expanded during verification builds and
can be used in cases where you would like an assertion that contains syntax
that is not supported by the C parser


# 52834951 03-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Add missing include in assert.h


# 0abc7202 04-Apr-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/DEBUG/CONFIG_DEBUG_BUILD/

DEBUG definition is not supposed to be used in the kernel, rather CONFIG_DEBUG_BUILD,
which can be toggled separately to user notion of DEBUG


# 4db6ec7a 09-Nov-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

Always have compile_assert enabled

A compile assert has no runtime or image size overhead and so there
is no reason to not have them enabled

This commit addresses SELFOUR-289


# 91b7da86 17-Jul-2014 TrusthworthySystems <gatekeeper@sel4.systems>

Release snapshot