History log of /seL4-l4v-10.1.1/l4v/tools/c-parser/Absyn-StmtDecl.ML
Revision Date Author Comments
# 5a367ea7 05-Dec-2016 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Standalone C parser: scan for unhandled ASM.

Adds an additional analysis option to the external C parser. This
will report about any asm statements that were encountered and could
not be properly handled.

[NO_PROOF]


# e184eb69 22-Mar-2015 Michael Norrish <michael.norrish@nicta.com.au>

Handle local extern declarations

Closes JIRA VER-440


# 94d8a918 16-Mar-2015 Michael Norrish <michael.norrish@nicta.com.au>

Refactoring as a prelude to handling static/extern

This is work for both of JIRA VER-439 and VER-440.

Test-suite passes.


# 5c3f79ff 16-Mar-2015 Michael Norrish <michael.norrish@nicta.com.au>

Remove some unused code (fewer compiler warnings)


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

Import release snapshot.