Skip to content

Instantly share code, notes, and snippets.

View cwgoes's full-sized avatar
🤔
Pensive.

Christopher Goes cwgoes

🤔
Pensive.
View GitHub Profile
Left (VariableNotInScope "Local variable not in scope:\n syms: fromList [(free,ConstantOperand (GlobalReference (PointerType {pointerReferent = FunctionType {resultType = VoidType, argumentTypes = [PointerType {pointerReferent = IntegerType {typeBits = 8}, pointerAddrSpace = AddrSpace 0}], isVarArg = False}, pointerAddrSpace = AddrSpace 0}) (Name \"free\"))),(link,ConstantOperand (GlobalReference (PointerType {pointerReferent = FunctionType {resultType = VoidType, argumentTypes = [PointerType {pointerReferent = NamedTypeReference (Name \"graph_node\"), pointerAddrSpace = AddrSpace 0},PointerType {pointerReferent = NamedTypeReference (Name \"graph_num_ports\"), pointerAddrSpace = AddrSpace 0},PointerType {pointerReferent = NamedTypeReference (Name \"graph_node\"), pointerAddrSpace = AddrSpace 0},PointerType {pointerReferent = NamedTypeReference (Name \"graph_num_ports\"), pointerAddrSpace = AddrSpace 0}], isVarArg = False}, pointerAddrSpace = AddrSpace 0}) (Name \"link\"))),(malloc,ConstantOperand (GlobalRefer

CELO_VALIDATOR_GROUP_ADDRESS=ea6f11e720ca72af1d8a94fff813617ee21be08e CELO_VALIDATOR_ADDRESS=0b3654a18513c76eee3a576241f328a3514f26e8

one = (a b -> a)
zero = (a b -> b)
if = (b t f -> (b t f))
nil = (co ni -> ni)
cons = (x xs co ni -> (co x xs))
-- little-endian
@cwgoes
cwgoes / test.sh
Created October 10, 2018 17:45
Byzantine validator crash fault reproduction
#!/bin/sh
set -xe
GAIAD_BYZANTINE=/tmp/gaiad-byzantine
GAIAD_NORMAL=/home/cwgoes/working/go/bin/gaiad
TMP=$(mktemp -d)
echo '' | $GAIAD_NORMAL init gen-tx --home $TMP/.gaiad0 --home-client $TMP/.gaiacli0 --name node0 | jq .gen_tx_file > $TMP/node0.json
echo '' | $GAIAD_NORMAL init gen-tx --home $TMP/.gaiad1 --home-client $TMP/.gaiacli1 --name node1 | jq .gen_tx_file > $TMP/node1.json
@cwgoes
cwgoes / agenda.md
Created October 10, 2018 04:58
Cosmos SDK <=> Iris SDK Sync 17/10/2018
@cwgoes
cwgoes / url
Created September 14, 2018 08:33
https://tzscan.io/KT1M6LZwxMYBYbUrg1xxuZGN4XWNFuHK7g6X
tz1aGaUhwbYDrwwBZobdgBEbCSG3HTPjH2ZJ
@cwgoes
cwgoes / free.tz
Created September 14, 2018 03:10
code {
CAR;
IMPLICIT_ACCOUNT;
DIP {UNIT};
PUSH mutez 1000;
UNIT;
TRANSFER_TOKENS;
DROP;
NIL operation;
PAIR
{
"genesis_time": "2018-07-17T07:19:26.795692941Z",
"chain_id": "gaia-7001",
"consensus_params": {
"block_size_params": {
"max_bytes": "22020096",
"max_txs": "10000",
"max_gas": "-1"
},
"tx_size_params": {
{
"genesis_time": "2018-07-17T07:23:29.328368369Z",
"chain_id": "gaia-7001",
"consensus_params": {
"block_size_params": {
"max_bytes": "22020096",
"max_txs": "10000",
"max_gas": "-1"
},
"tx_size_params": {