| #
02dd41f5 |
|
22-Oct-2018 |
Adam Felizzi <Adam.Felizzi@data61.csiro.au> |
CakeML: get_word_size function in start template
Added get_word_size function in component.environment.start.cakeml
template. This allows CakeML code to query the word size at run
time.
|
| #
2b2f1682 |
|
17-Oct-2018 |
Adam Felizzi <Adam.Felizzi@data61.csiro.au> |
templates: Removed constant 64-bit words in CakeML
To allow the CakeML templates to be compatible on 32-bit
platforms, assumptions around 64-bit based word sizes have been
removed. This is replaced by a templated value. Updated the
CakeML source and FFI calls to support variable word sizes.
|
| #
08b769d9 |
|
27-Aug-2018 |
Michael Sproul <michael.sproul@data61.csiro.au> |
cakeml: add seL4_Wait support
|
| #
8c7bbd88 |
|
30-Aug-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
templates: consistent messages for generated-file warnings
|
| #
d24b75f5 |
|
16-Aug-2018 |
Michael Sproul <michael.sproul@data61.csiro.au> |
cakeml: add support for string inputs and outputs
|
| #
95faf975 |
|
26-Jul-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
CakeML utilities module
Adds some useful utilities and ffi wrappers into the base CAmkES CakeML dependency.
|
| #
4b2a8503 |
|
02-Jul-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Define CakeML environment
Provides CakeML environment that allows a component to specify all of its required and
optional functions as CakeML functions.
Extends AppendCAmkESComponentTarget, and so by extension DeclareCAmkESComponent, to support
specifying CakeML sources as well as the needed heap/stack size that are needed for the component.
|