Searched defs:chunks (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 235 chunks = data.split('\nsession ') variable
|
| /seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
| H A D | Regexp_Numerics.sml | 131 fun chunks n = function
|
| /seL4-l4v-master/HOL4/src/postkernel/ |
| H A D | TheoryPP.sml | 384 fun chunks w s = function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Print.sml | 712 val chunks = chunksFrame frame value
838 val chunks = [] value
846 val (chunks,rest',indent) = remove rest value
850 val (chunks,top') = value
867 val (chunks,frames',indent) = remove frames value
893 val (chunks,frames,indent) = removeChunksFrames frames value
895 val chunks = frameChunks @ chunks value
933 and chunks = [FrameChunk frame] value
941 val chunks = chunk :: chunks value
983 val (chunks,frames,indent) = removeChunksFrames frames value
985 val chunks = pathChunks @ chunks value
1135 and chunks = [] value
1197 and chunks = [] value
1283 val chunks = chunk :: chunks value
1332 val chunks = chunk :: chunks value
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Print.sml | 712 val chunks = chunksFrame frame value
838 val chunks = [] value
846 val (chunks,rest',indent) = remove rest value
850 val (chunks,top') = value
867 val (chunks,frames',indent) = remove frames value
893 val (chunks,frames,indent) = removeChunksFrames frames value
895 val chunks = frameChunks @ chunks value
933 and chunks = [FrameChunk frame] value
941 val chunks = chunk :: chunks value
983 val (chunks,frames,indent) = removeChunksFrames frames value
985 val chunks = pathChunks @ chunks value
1135 and chunks = [] value
1197 and chunks = [] value
1283 val chunks = chunk :: chunks value
1332 val chunks = chunk :: chunks value
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
| H A D | stateLib.sml | 1468 val chunks = group_into_chunks (dst, n, be) value
1536 val chunks = group_into_chunks (dst, n, be) value
|
Completed in 67 milliseconds