Home
last modified time | relevance | path

Searched refs:lenlit (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/test/
H A DExprBuilderSMTLib2.hs822 lenlit <- groundEval fn len
824 let q = BS.take (fromIntegral lenlit) (BS.drop (fromIntegral offlit) alit)
/dports/print/texlive-base/texlive-20150521-source/utils/pmx/pmx-2.7.0/
H A Dpmxab.c535 integer lenlit[83], multg[37]; member
5967 static integer itype, lenlit; in chklit_() local
5993 lenlit = itype; in chklit_()
6003 lenlit += 2; in chklit_()
6004 if (lenlit > 128) { in chklit_()
6011 ++lenlit; in chklit_()
6012 if (lenlit > 128) { in chklit_()
23050 comgrace_1.lenlit[comgrace_1.nlit - 1] = 2; in littex_()
23078 ++comgrace_1.lenlit[comgrace_1.nlit - 1]; in littex_()
23098 comgrace_1.lenlit[comgrace_1.nlit - 1] += comgrace_1.lenlit[ in littex_()
[all …]
H A Dpmx270.for3502 lenlit = itype
3510 lenlit = lenlit+2
3511 if (lenlit .gt. 128) then
3518 lenlit = lenlit+1
3519 if (lenlit .gt. 128) then
14940 lenlit(nlit) = 2
14949 lenlit(nlit) = lenlit(nlit)+2
14954 lenlit(nlit) = lenlit(nlit)+1
14969 lenlit(nlit) = lenlit(nlit)+lenlit(nlit+1)
14970 if (lenlit(nlit) .gt. 128) then
[all …]