source: mainline/kernel/generic/include/verify.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @174156fd   7 years jakub Disambiguate doxygroup generic* lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @09ab0a9a   7 years jiri Fix vertical spacing with new Ccheck revision. lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @4621d23   7 years jiri.zarevucky Use compiler builtins for kernel atomics lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @b1834a01   7 years jakub Categorize the remaining orphan doxygroups lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @fc81981   15 years martin add and improve annotations lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @33c4f72   15 years martin improve annotations move to the newest VCC syntax use VCC … lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(add) @09a0bd4a   15 years martin initial properties annotation and verification support (does not do … lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Note: See TracRevisionLog for help on using the revision log.