| /dports/lang/solidity/solidity_0.8.11/test/formal/ |
| H A D | util.py | 3 def BVUnsignedUpCast(x, n_bits): argument
10 def BVUnsignedMax(type_bits, n_bits): argument
14 def BVSignedUpCast(x, n_bits): argument
21 def BVSignedMax(type_bits, n_bits): argument
25 def BVSignedMin(type_bits, n_bits): argument
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/MdeModulePkg/Library/BrotliCustomDecompressLib/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/BaseTools/Source/C/BrotliCompress/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/www/firefox-esr/firefox-91.8.0/modules/brotli/dec/ |
| H A D | bit_reader.h | 108 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
199 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
207 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
219 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
239 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
250 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
270 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
292 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
305 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/archivers/py-brotli/Brotli-1.0.9/c/dec/ |
| H A D | bit_reader.h | 108 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
199 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
207 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
219 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
239 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
250 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
270 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
292 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
305 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/archivers/brotli/brotli-1.0.9/c/dec/ |
| H A D | bit_reader.h | 108 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
199 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
207 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
219 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
239 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
250 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
270 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
292 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
305 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/MdeModulePkg/Library/BrotliCustomDecompressLib/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/BaseTools/Source/C/BrotliCompress/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/www/firefox/firefox-99.0/modules/brotli/dec/ |
| H A D | bit_reader.h | 108 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
199 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
207 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
219 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
239 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
250 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
270 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
292 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
305 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/emulators/qemu5/qemu-5.2.0/roms/edk2/MdeModulePkg/Library/BrotliCustomDecompressLib/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/emulators/qemu5/qemu-5.2.0/roms/edk2/BaseTools/Source/C/BrotliCompress/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/BaseTools/Source/C/BrotliCompress/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/MdeModulePkg/Library/BrotliCustomDecompressLib/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/sysutils/edk2/edk2-edk2-stable202102/MdeModulePkg/Library/BrotliCustomDecompressLib/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/sysutils/edk2/edk2-edk2-stable202102/BaseTools/Source/C/BrotliCompress/brotli/c/dec/ |
| H A D | bit_reader.h | 113 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
204 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
212 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
224 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
244 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
255 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
275 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
297 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
310 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/modules/brotli/dec/ |
| H A D | bit_reader.h | 108 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
199 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
207 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
219 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
239 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
250 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
270 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
292 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
305 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/modules/brotli/dec/ |
| H A D | bit_reader.h | 108 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
199 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
207 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
219 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
239 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
250 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits24()
270 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits32()
292 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
305 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits32()
|
| /dports/archivers/p5-IO-Compress-Brotli/IO-Compress-Brotli-0.004001/brotli/c/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/devel/apitrace/apitrace-9.0/thirdparty/brotli/c/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/emulators/qemu42/qemu-4.2.1/roms/edk2/MdeModulePkg/Library/BrotliCustomDecompressLib/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/emulators/qemu42/qemu-4.2.1/roms/edk2/BaseTools/Source/C/BrotliCompress/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/emulators/qemu-utils/qemu-4.2.1/roms/edk2/MdeModulePkg/Library/BrotliCustomDecompressLib/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/emulators/qemu-utils/qemu-4.2.1/roms/edk2/BaseTools/Source/C/BrotliCompress/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/brotli/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/brotli/dec/ |
| H A D | bit_reader.h | 107 BrotliBitReader* const br, uint32_t n_bits) { in BrotliFillBitWindow()
198 BrotliBitReader* const br, uint32_t n_bits) { in BrotliGetBits()
206 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeGetBits()
218 BrotliBitReader* const br, uint32_t n_bits) { in BrotliDropBits()
238 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliTakeBits()
248 BrotliBitReader* const br, uint32_t n_bits) { in BrotliReadBits()
268 BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) { in BrotliSafeReadBits()
|