/dports/math/z3/z3-z3-4.8.13/examples/python/data/ |
H A D | horn4.smt2 | 43 (declare-var l80 Bool) 81 (= (and (not l78) l10) l80) 82 (= (and (not l80) l22) l82) 89 (= (and (not l80) l22) l82) 90 (= (and (not l78) l10) l80)
|
H A D | horn6.smt2 | 43 (declare-var l80 Bool) 166 (= (and l20 l14) l80) 167 (= (and (not l80) (not l78)) l82) 287 (= (and (not l80) (not l78)) l82) 288 (= (and l20 l14) l80)
|
/dports/math/py-z3-solver/z3-z3-4.8.10/examples/python/data/ |
H A D | horn4.smt2 | 43 (declare-var l80 Bool) 81 (= (and (not l78) l10) l80) 82 (= (and (not l80) l22) l82) 89 (= (and (not l80) l22) l82) 90 (= (and (not l78) l10) l80)
|
H A D | horn6.smt2 | 43 (declare-var l80 Bool) 166 (= (and l20 l14) l80) 167 (= (and (not l80) (not l78)) l82) 287 (= (and (not l80) (not l78)) l82) 288 (= (and l20 l14) l80)
|
/dports/news/leafnode/leafnode-1.11.12/ |
H A D | .indent.pro | 1 -kr -ncs -l80 -psl
|
/dports/net/mpich/mpich-3.4.3/modules/ucx/contrib/ |
H A D | gnu-indent-options | 1 -l80 -fca -i4 -ts4 -nut
|
/dports/net/samba412/samba-4.12.15/source3/script/ |
H A D | format_indent.sh | 12 indent -npro -kr -i8 -ts8 -sob -l80 -ss -ncs "$@"
|
/dports/emulators/libretro-vice/vice-libretro-5725415/vice/doc/ |
H A D | .indent.pro | 13 -l80
|
/dports/emulators/vice/vice-3.5/doc/ |
H A D | .indent.pro | 13 -l80
|
/dports/x11-wm/enlightenment/enlightenment-0.24.2/doc/ |
H A D | .indent.pro | 1 -i3 -bl -bad -nbap -sob -ncdb -di20 -nbc -lp -nce -npcs -sc -ncs -l80
|
/dports/net/linphone/linphoneqt-4.1.1/ui/modules/Common/Styles/Window/ |
H A D | WindowStyle.qml | 10 property color color: Colors.l80
|
/dports/devel/allegro5/allegro5-5.2.7.0/ |
H A D | indent.pro | 1 -kr -nce -ss -ncs -i3 -cli3 -nut -bls -l80
|
/dports/databases/spatialite_gui/spatialite_gui-1.7.1/ |
H A D | indent_me | 1 indent -npsl -nbfda -l80 -i2 -ci2 -cbi2 -cp2 -ts2 -cli2 -bl -ce -lp -npcs -nut Classdef.h *.cpp
|
/dports/www/tinyproxy/tinyproxy-1.11.0/ |
H A D | tinyproxy-indent.sh | 8 indent -npro -kr -i8 -ts8 -sob -l80 -ss -cs -cp1 -bs -nlps -nprs -pcs \
|
/dports/print/tex-xdvik/xdvik-22.87/ |
H A D | .indent.pro | 3 -kr -nce -l80 -c0 -cd0 -cp0 -d2 -di2 -psl -ip4 -brs -hnl
|
/dports/www/matomo/piwik/plugins/Morpheus/stylesheets/general/ |
H A D | _admin.less | 3 border-color: @color-silver-l80 !important;
|
/dports/emulators/yaze-ag/yaze-ag-2.51.0/disksort/original/ |
H A D | makefile.dat | 10 l80 xxxmain,disksort,disk1,disk2,disk3,disk4,mylib/s,disksort/n/y/e
|
/dports/security/opencryptoki/opencryptoki-3.11.0/ |
H A D | .indent.pro | 10 -l80 // line length
|
/dports/polish/libgadu/libgadu-1.12.2/src/ |
H A D | handlers.c | 217 struct gg_login80 l80; in gg_session_handle_welcome() local 305 memset(&l80, 0, sizeof(l80)); in gg_session_handle_welcome() 307 l80.uin = gg_fix32(gs->uin); in gg_session_handle_welcome() 308 memcpy(l80.language, GG8_LANG, sizeof(l80.language)); in gg_session_handle_welcome() 309 l80.hash_type = gs->hash_type; in gg_session_handle_welcome() 310 memcpy(l80.hash, hash_buf, sizeof(l80.hash)); in gg_session_handle_welcome() 312 l80.flags = gg_fix32(gs->status_flags); in gg_session_handle_welcome() 313 l80.features = gg_fix32(gs->protocol_features); in gg_session_handle_welcome() 314 l80.image_size = gs->image_size; in gg_session_handle_welcome() 315 l80.dunno2 = 0x64; in gg_session_handle_welcome() [all …]
|
/dports/net-im/libpurple/pidgin-2.14.8/libpurple/protocols/gg/lib/ |
H A D | handlers.c | 217 struct gg_login80 l80; in gg_session_handle_welcome() local 305 memset(&l80, 0, sizeof(l80)); in gg_session_handle_welcome() 307 l80.uin = gg_fix32(gs->uin); in gg_session_handle_welcome() 308 memcpy(l80.language, GG8_LANG, sizeof(l80.language)); in gg_session_handle_welcome() 309 l80.hash_type = gs->hash_type; in gg_session_handle_welcome() 310 memcpy(l80.hash, hash_buf, sizeof(l80.hash)); in gg_session_handle_welcome() 312 l80.flags = gg_fix32(gs->status_flags); in gg_session_handle_welcome() 313 l80.features = gg_fix32(gs->protocol_features); in gg_session_handle_welcome() 314 l80.image_size = gs->image_size; in gg_session_handle_welcome() 315 l80.dunno2 = 0x64; in gg_session_handle_welcome() [all …]
|
/dports/net-im/pidgin/pidgin-2.14.8/libpurple/protocols/gg/lib/ |
H A D | handlers.c | 217 struct gg_login80 l80; in gg_session_handle_welcome() local 305 memset(&l80, 0, sizeof(l80)); in gg_session_handle_welcome() 307 l80.uin = gg_fix32(gs->uin); in gg_session_handle_welcome() 308 memcpy(l80.language, GG8_LANG, sizeof(l80.language)); in gg_session_handle_welcome() 309 l80.hash_type = gs->hash_type; in gg_session_handle_welcome() 310 memcpy(l80.hash, hash_buf, sizeof(l80.hash)); in gg_session_handle_welcome() 312 l80.flags = gg_fix32(gs->status_flags); in gg_session_handle_welcome() 313 l80.features = gg_fix32(gs->protocol_features); in gg_session_handle_welcome() 314 l80.image_size = gs->image_size; in gg_session_handle_welcome() 315 l80.dunno2 = 0x64; in gg_session_handle_welcome() [all …]
|
/dports/net-im/finch/pidgin-2.14.8/libpurple/protocols/gg/lib/ |
H A D | handlers.c | 217 struct gg_login80 l80; in gg_session_handle_welcome() local 305 memset(&l80, 0, sizeof(l80)); in gg_session_handle_welcome() 307 l80.uin = gg_fix32(gs->uin); in gg_session_handle_welcome() 308 memcpy(l80.language, GG8_LANG, sizeof(l80.language)); in gg_session_handle_welcome() 309 l80.hash_type = gs->hash_type; in gg_session_handle_welcome() 310 memcpy(l80.hash, hash_buf, sizeof(l80.hash)); in gg_session_handle_welcome() 312 l80.flags = gg_fix32(gs->status_flags); in gg_session_handle_welcome() 313 l80.features = gg_fix32(gs->protocol_features); in gg_session_handle_welcome() 314 l80.image_size = gs->image_size; in gg_session_handle_welcome() 315 l80.dunno2 = 0x64; in gg_session_handle_welcome() [all …]
|
/dports/net/linphone/linphoneqt-4.1.1/ui/dev-modules/Colors/ |
H A D | Colors.qml | 26 property color l80: '#000000'
|
/dports/www/matomo/piwik/plugins/CoreHome/vue/src/Menudropdown/ |
H A D | Menudropdown.less | 18 border: 1px solid @color-silver-l80;
|
/dports/devel/avro-c/avro-c-1.11.0/ |
H A D | cmake_pretty.cmake | 22 -cli0 -d0 -di1 -nfc1 -i8 -ip0 -l80 -lp -npcs -nprs -npsl -sai
|