History log of /seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/componentScript.sml
Revision Date Author Comments
# e653f3f9 02-Dec-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX

Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# 920e115b 05-Dec-2018 Michael Sproul <michael.sproul@data61.csiro.au>

cakeml_regex: remove \0 from the end of strings
# f56c54de 29-Nov-2018 Michael Sproul <michael.sproul@data61.csiro.au>

cakeml_regex: create application