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 157 milliseconds