History log of /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/teststage3.py
Revision Date Author Comments
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# b4bc333e 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a test for the previous fixed bug.

This commit cherry-picks ecb8954c3f90c387312aa77f0f07c4688d609503 from
ssh://github.inside.nicta.com.au/mfernandez/project.


# d145e795 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a test for parsing of empty statements.

This commit cherry-picks a4ad1205bd6a160835fc8d80f2a99ec998a429a2 from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 8e5b6a85 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Test string concatenation across newlines.

This commit cherry-picks bff4e56b94d1eeb6259fcf1fdf263ca92ca7a7da from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 9094789c 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Test of C-style string concatenation.

This commit cherry-picks c62bcc1035ba3b120adfcf1cf2b15d867656c2b4 from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 11844bd3 29-May-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a test of the stage 3 parsing of default attributes.

This commit cherry-picks c7566b680a59bc213eb35bb06c530b666400c220 from
ssh://github.inside.nicta.com.au/mfernandez/project.

JIRA CAMKES-409


# 64b4d96e 24-May-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Allow parameter directions to be omitted and assumed to be in.

This commit cherry-picks fb9e9911dee044ba50aba2fb9c36704c9561c039 from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 71104e31 11-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

parser: Add a test for integer overflow in a configuration setting.


# 5dd13254 11-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Fix: uncaught exception on negative shift operand in configuration setting.

Fixes JIRA CAMKES-440


# 872978ee 03-Nov-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Support for boolean literals in specs.


# bacfebce 27-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Refactored parser init commit.