Searched refs:Binary (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | check_deps.py | 44 class Binary(Package): class in inherits:Package
50 class Pylint(Binary):
149 'seL4':(Binary('gcc', 'C compiler'),
151 Binary('xmllint', 'XML validator'),
152 Binary('bash', 'shell'),
153 Binary('make', 'GNU Make build tool'),
154 Binary('cpio', 'CPIO file system tool')),
155 'CapDL translator':(Binary('stack', 'Haskell version manager'),),
156 'CAmkES test suite':(Binary('expect', 'automation utility'),
158 Binary('qem
[all...] |
| /seL4-camkes-master/projects/picotcp/test/ |
| H A D | mkunits.sh | 96 decl=`grep -R $m * |grep -v ");" | grep -v Binary | cut -d ":" -f 2`
|
| /seL4-camkes-master/tools/cogent/cogent/manual/ |
| H A D | cogent-manual.tex | 1595 different from variables. In contrast to normal functions, predefined functions may be binary, i.e. take two arguments. Binary
|
Completed in 1022 milliseconds