/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_api12.c | 152 #define MAXBITS 120 macro 155 int32_t a[MAXBITS]; in test_bvconst_uint32() 161 for (n=1; n<MAXBITS; n++) { in test_bvconst_uint32() 171 int32_t a[MAXBITS]; in test_bvconst_int32() 177 for (n=1; n<MAXBITS; n++) { in test_bvconst_int32() 187 int32_t a[MAXBITS]; in test_bvconst_uint64() 193 for (n=1; n<MAXBITS; n++) { in test_bvconst_uint64() 203 int32_t a[MAXBITS]; in test_bvconst_int64() 209 for (n=1; n<MAXBITS; n++) { in test_bvconst_int64() 225 int32_t a[MAXBITS]; in test_bvconst_mpz() [all …]
|
/dports/comms/sdr-wspr/sdr-wspr-0.1.0/libwspr/ |
H A D | fano232.f90 | 32 parameter (MAXBITS=103) 33 parameter (MAXDAT=(MAXBITS+7)/8) 34 integer*1 symbol(0:2*MAXBITS-1) 39 integer nstate(0:MAXBITS-1) !Encoder state of next node 40 integer gamma(0:MAXBITS-1) !Cumulative metric to this node 41 integer metrics(0:3,0:MAXBITS-1) !Metrics indexed by all possible Tx syms 42 integer tm(0:1,0:MAXBITS-1) !Sorted metrics for current hypotheses 43 integer ii(0:MAXBITS-1) !Current branch being tested
|
/dports/astro/gpsbabel14/gpsbabel-1.4.4/zlib/ |
H A D | inftrees.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 107 for (len = 0; len <= MAXBITS; len++) 114 for (max = MAXBITS; max >= 1; max--) 126 for (min = 1; min <= MAXBITS; min++) 132 for (len = 1; len <= MAXBITS; len++) { 142 for (len = 1; len < MAXBITS; len++)
|
/dports/games/libretro-play/Play--3cd0a367b5e24c061a6310c68c9fa7f6b531ebd4/deps/Dependencies/zlib-1.2.8/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/games/libretro-picodrive/picodrive-600894e/zlib/ |
H A D | inftrees.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 107 for (len = 0; len <= MAXBITS; len++) 114 for (max = MAXBITS; max >= 1; max--) 126 for (min = 1; min <= MAXBITS; min++) 132 for (len = 1; len <= MAXBITS; len++) { 142 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/boost-docs/boost_1_72_0/libs/beast/test/extern/zlib-1.2.11/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/games/libretro-fuse/fuse-libretro-8b51f87/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/interactive_rebase_tool/git-interactive-rebase-tool-1.2.1/cargo-crates/libz-sys-1.0.25/src/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/multimedia/opentoonz/opentoonz-1.5.0/thirdparty/zlib-1.2.8/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/beast/test/extern/zlib-1.2.11/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/boost-python-libs/boost_1_72_0/tools/boost_install/test/iostreams/zlib-1.2.11/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/misc/broot/broot-1.7.0/cargo-crates/libz-sys-1.1.3/src/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/libz-sys-1.1.3/src/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/lang/rexx-wrapper/RexxWrapper-2.4/zlib/ |
H A D | inftrees.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 107 for (len = 0; len <= MAXBITS; len++) 114 for (max = MAXBITS; max >= 1; max--) 126 for (min = 1; min <= MAXBITS; min++) 132 for (len = 1; len <= MAXBITS; len++) { 142 for (len = 1; len < MAXBITS; len++)
|
/dports/math/gap/gap-4.11.0/extern/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/games/instead/instead-3.4.1/src/zlib/ |
H A D | inftrees.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 107 for (len = 0; len <= MAXBITS; len++) 114 for (max = MAXBITS; max >= 1; max--) 126 for (min = 1; min <= MAXBITS; min++) 132 for (len = 1; len <= MAXBITS; len++) { 142 for (len = 1; len < MAXBITS; len++)
|
/dports/games/kodi-addon-game.libretro.picodrive/game.libretro.picodrive-1.97.0.19-Matrix/depends/common/picodrive/zlib/ |
H A D | inftrees.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 107 for (len = 0; len <= MAXBITS; len++) 114 for (max = MAXBITS; max >= 1; max--) 126 for (min = 1; min <= MAXBITS; min++) 132 for (len = 1; len <= MAXBITS; len++) { 142 for (len = 1; len < MAXBITS; len++)
|
/dports/emulators/mess/mame-mame0226/3rdparty/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/git-absorb/git-absorb-0.6.6/cargo-crates/libz-sys-1.1.2/src/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/archivers/minizip/zlib-1.2.11/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/archivers/unalz/unalz/zlib/ |
H A D | inftrees.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 107 for (len = 0; len <= MAXBITS; len++) 114 for (max = MAXBITS; max >= 1; max--) 126 for (min = 1; min <= MAXBITS; min++) 132 for (len = 1; len <= MAXBITS; len++) { 142 for (len = 1; len < MAXBITS; len++)
|
/dports/biology/velvet/velvet_1.2.10/third-party/zlib-1.2.3/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/lang/gnatdroid-binutils/binutils-2.27/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/zlib/contrib/infback9/ |
H A D | inftree9.c | 9 #define MAXBITS 15 macro 58 unsigned short count[MAXBITS+1]; /* number of codes of each length */ 59 unsigned short offs[MAXBITS+1]; /* offsets in table for each length */ 109 for (len = 0; len <= MAXBITS; len++) 116 for (max = MAXBITS; max >= 1; max--) 120 for (min = 1; min <= MAXBITS; min++) 126 for (len = 1; len <= MAXBITS; len++) { 136 for (len = 1; len < MAXBITS; len++)
|