forked from seL4/camkes-tool
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathREADME
24 lines (21 loc) · 791 Bytes
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#
# Copyright 2014, NICTA
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(NICTA_BSD)
#
This repository contains various CAmkES tools.
camkes/ Implementation of the tools themselves
ast/ Abstract Syntax Tree objects
parser/ Grammar import and export
runner/ Template instantiator
templates/ Templates themselves
docs/ User and developer information about the tools
examples/ Some examples of how to use the parser
misc/ Some 'useful' odds and ends
tests/ Test suite for the parser
tools/ Scripts to ease development on the parser
If you don't know where to begin, docs/index.html is a good start.