| #
b37f93fa |
|
23-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
cspec: Recommend TRUE instead of 1 to match cmake standards
cmake style is to use TRUE/FALSE and ON/OFF to represent toggleable options instead of 1/0.
|
| #
5ce5f050 |
|
23-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
cspec: Correct Makefile location
This Makefile was moved and refactored previously without updating the README
|
| #
87a3d959 |
|
30-Mar-2017 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
cspec/crefine: readme: document significance of L4V_ARCH
tags: [NO_PROOF]
|
| #
221cb74d |
|
18-May-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix: Description of `SORRY_BITFIELD_PROOFS` in cspec README.
The kernel's Makefile expects this value to be `1` and will incorrectly detect
`yes` as a directive *not* to sorry these proofs.
|
| #
0fb7a808 |
|
27-Jul-2014 |
David Greenaway <david.greenaway@nicta.com.au> |
misc: Proofing and formatting of README.md files.
Attempt to improve readability of the files when viewed as plain ASCII;
proof-read and fix minor issues.
|
| #
4326d30c |
|
22-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
the other README files for spec/
|