History log of /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/bad-at-s10/empty-assembly.camkes
Revision Date Author Comments
# 9fb4c05f 23-Aug-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Run licence tool over files


# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# 7b57f41f 15-Aug-2016 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Allow old style N-1 connection syntax

In previous versions of CAmkES, N-1 connections could be declared by
using multiple connection statements with interfaces in common. CAmkES
next removed support for this, replacing it with connection statements
that allow multiple interfaces on either side. This proved too
restrictive, as it made it impossible to connect both external and
internal interfaces to an interface exposed by a hierarchical component.

This change adds back limited support for the old syntax. An interface
may appear in multiple connections, provided that:
- it is on the same side (to/from) of each connection
- the connector type of each connection is the same
- it is the only interface on its side of each connection