forked from seL4/camkes-tool
-
Notifications
You must be signed in to change notification settings - Fork 0
The main CAmkES tool
agacek/camkes-tool
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
# # 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.
About
The main CAmkES tool
Resources
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- C 35.0%
- Isabelle 31.0%
- Python 28.0%
- Makefile 4.7%
- Shell 0.5%
- Assembly 0.4%
- Vim Script 0.4%