source: mainline/tools/checkers/vcc.py

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @33c4f72   14 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
(edit) @09a0bd4a   14 years martin initial properties annotation and verification support (does not do … lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @4ca26c9b   14 years martin improve support for Vcc, add basic source preprocessing (thx to Ondrej … lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
(edit) @958de16   14 years martin slightly better code lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Note: See TracRevisionLog for help on using the revision log.