Searched defs:CPP (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dmakefile9 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dmakefile11 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile9 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile9 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmakefile9 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmakefile9 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile9 CPP = g++ macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile9 CPP = g++ macro

Completed in 221 milliseconds