This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// clang-format: off | |
#include "common_internal.hpp" | |
// clang-format: on | |
#include "gsnr/utils.hpp" | |
#include <sys/mman.h> | |
#include <unistd.h> | |
namespace gsnr { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#pragma once | |
#include "common.hpp" | |
#include "fmt/base.h" | |
#include <functional> | |
#include <iterator> | |
#include <type_traits> | |
#undef NDEBUG | |
#include <algorithm> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <fcntl.h> | |
#include <iostream> | |
#include <string> | |
#include <unistd.h> | |
#include <sys/wait.h> | |
#include <cstring> | |
#include "z3_pipe.h" | |
#define ensure(b) ensure_helper(b, __FILE__, __FUNCTION__, __LINE__) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bash-3.2# gmn2portd --help | |
Usage: | |
gmn2portd [OPTION?] - GMN 2.0 Port Daemon | |
Help Options: | |
-h, --help Show help options | |
Application Options: | |
-n, --no-daemonize Do not daemonize - Run in foreground | |
-w, --wait Wait for debugger |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta http-equiv="content-type" content="text/html; charset=utf-8"> | |
<meta name="viewport" content="width=device-width, viewport-fit=cover"> | |
<title class="l12n">This Connection Is Not Private</title> | |
<style> | |
body { | |
--font-color: #434343; | |
--compact-font-color: #434343; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* Copyright (c) (2013,2015,2016,2019) Apple Inc. All rights reserved. | |
* | |
* corecrypto is licensed under Apple Inc.’s Internal Use License Agreement (which | |
* is contained in the License.txt file distributed with corecrypto) and only to | |
* people who accept that license. IMPORTANT: Any license rights granted to you by | |
* Apple Inc. (if any) are limited to internal use within your organization only on | |
* devices and computers you own or control, for the sole purpose of verifying the | |
* security characteristics and correct functioning of the Apple Software. You may | |
* not, directly or indirectly, redistribute the Apple Software or any portions thereof. | |
*/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sun Jun 16 13:42:18 2024 EDT Caught SIGINT, shutting down.. | |
Sun Jun 16 13:42:18 2024 EDT Waiting for receive thread termination | |
Statistics: Sat Jun 15 20:58:09 2024 EDT - Sun Jun 16 13:42:18 2024 EDT | |
Local receiver: | |
144597319680 samples processed | |
0 samples dropped | |
2645804 Mode A/C messages received |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
sudo apt install libsctp-dev libbrotli-dev zlib1g-dev libzstd-dev libsnappy-dev libssh2-1-dev libnghttp2-dev libnghttp3-dev libngtcp2-dev libpsl-dev libgss-dev libcares2 | |
sudo apt build-dep openssl curl | |
../git/openssl/Configure --prefix=$(readlink -f ~/base/openssl) --debug enable-brotli enable-egd enable-fips no-fips-securitychecks enable-pie sctp enable-tfo enable-zstd zlib enable-trace enable-weak-ssl-ciphers enable-unstable-qlog enable-md2 enable-rc5 enable-{ssl,ssl3,tls,tls1,tls1_1,tls1_2,tls1_3,dtls,dtls1,dtls1_2} enable-{ssl3,tls1,tls1_1,tls1_2,dtls1,dtls1_2}-method enable-{aria,bf,blake2,camellia,cast,chacha,cmac,des,dh,dsa,ecdh,ecdsa,idea,md4,mdc2,ocb,poly1305,rc2,rc4,rmd160,scrypt,seed,siphash,siv,sm2,sm3,sm4,whirlpool} enable-ec_nistp_64_gcc_128 LDFLAGS="-Wl,-rpath,$(readlink -f ~/base/openssl/lib64)" | |
make -j $(nproc) | |
make -j $(nproc) install | |
cmake -W Dev -G Ninja ../git/curl -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=$(readlink -f ~/base/curl) -DCMAKE_INSTALL_RPATH="$(re |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
namespace eval TclshLoader { | |
set tcl_rcFileDir [file join $env(HOME) .tcl rcfiles] | |
if {[expr {[file exists $tcl_rcFileDir] && [file isdirectory $tcl_rcFileDir]}]} { | |
set tcl_rcFiles [glob -type {f r} -directory $tcl_rcFileDir -- *.tcl] | |
# put tclreadline.tcl last since it enters a loop and prevents further execution of .tclsh/.wishsh | |
set tcl_rcFiles_tclreadlineIdx [lsearch -glob $tcl_rcFiles */tclreadline.tcl] | |
if {[expr {($tcl_rcFiles_tclreadlineIdx != -1) && ([llength $tcl_rcFiles] > 1)}]} { | |
set tcl_rcFiles_tclreadlinePath [lindex $tcl_rcFiles $tcl_rcFiles_tclreadlineIdx] | |
set tcl_rcFiles [lreplace $tcl_rcFiles $tcl_rcFiles_tclreadlineIdx $tcl_rcFiles_tclreadlineIdx] | |
lappend tcl_rcFiles $tcl_rcFiles_tclreadlinePath |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-> % sudo ./self-lsmp | |
Password: | |
argv[0] = '/usr/bin/lsmp' | |
argv[1] = '-v' | |
argv[2] = '-p' | |
argv[3] = '33302' | |
self task regular: 0x00000203 aka 515 | |
self task read: 0x00000b03 aka 2819 |
NewerOlder