Searched defs:default (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dplatform_sift.py250 default='memory_region', variable
253 default='num_memory_regions', variable
256 default='memory_region', variable
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/
H A DfilterProgScript.sml89 let val default = !ml_translatorLib.pick_name in value

Completed in 32 milliseconds