#
b49512fa |
|
17-Jan-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Revive graph.dot output file for each asssembly Create a graph.dot file for each assembly. This can be loaded with a program like `xdot` to view a diagram of the camkes system.
|
#
8b2ec3e6 |
|
20-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
19939eb1 |
|
03-Jul-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Replaced seL4Asynch with seL4Notification Breaking change that replaces the sel4Asynch* connectors with corresponding seL4Notification* connectors.
|
#
bacfebce |
|
27-Oct-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Refactored parser init commit.
|
#
b9e968ff |
|
20-May-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
GraphViz backend: Recognise seL4RPCCall connector.
|
#
11acc049 |
|
20-May-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Templates: Use `composition` in preference to `me.composition` where possible. Just for brevity. Should have no user-visible effects.
|
#
27f9118e |
|
15-Dec-2014 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Change template license headers to Jinja comments. The effect of this is that they do not appear in generated output, which was a bit confusing previously. Closes JIRA CAMKES-319 Conflicts: camkes/templates/autocorres/AsynchNativeFrom.template.thy camkes/templates/autocorres/AsynchNativeTo.template.thy camkes/templates/autocorres/RPCSimpleFrom.template.thy camkes/templates/autocorres/RPCSimpleTo.template.thy camkes/templates/autocorres/SharedDataFrom.template.thy camkes/templates/autocorres/SharedDataTo.template.thy camkes/templates/echronos/eChronosAsynch-from.template.c camkes/templates/echronos/eChronosAsynch-to.template.c camkes/templates/echronos/eChronosDirectCall-from.template.c camkes/templates/echronos/eChronosDirectCall-to.template.c camkes/templates/linker.lds camkes/templates/linux/component.template.c camkes/templates/linux/component.template.h camkes/templates/linux/linuxMQ-from.template.c camkes/templates/linux/linuxMQ-to.template.c camkes/templates/linux/linuxMQEmpty-from.template.c camkes/templates/linux/linuxMQEmpty-to.template.c camkes/templates/linux/linuxMmap-from.template.c camkes/templates/linux/linuxMmap-to.template.c
|
#
cc64bb50 |
|
21-Jul-2014 |
TrustworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|