hugoroussel
/ gist:57e2f994ae756d5758498baecb2f21c1
Created
July 21, 2017 06:27
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
| 0x26D8595186f6d605DDAC657F097cDd2C5c23052A |
hugoroussel
/ gist:dbdff531f3ff9738a5fe5e51bf095c27
Created
July 21, 2017 06:28
0x26D8595186f6d605DDAC657F097cDd2C5c23052A
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
| 0x26D8595186f6d605DDAC657F097cDd2C5c23052A |
hugoroussel
/ gist:1985649e2deaaccb96827d100c1a395f
Created
July 21, 2017 06:30
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
| 0x26D8595186f6d605DDAC657F097cDd2C5c23052A |
hugoroussel
/ gist:c490a0bfba5f361bf2c252ea076b50a1
Created
July 22, 2017 09:15
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
| 0xB60943370E6210ffE8F514555Ae79F0E25377551 |
hugoroussel
/ gist:a682626a45604cd3749fe7830e733a9f
Created
August 22, 2017 10:18
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
| 0x869Fd1c5f11A7C57589A87de865776bF94a61862 |
hugoroussel
/ gist:6326e1040937de782828a07572183686
Created
August 24, 2017 10:30
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
| 0x26D8595186f6d605DDAC657F097cDd2C5c23052A |
hugoroussel
/ bash-output.txt
Created
October 7, 2018 18:27
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
| go-ethereum hugo$ make geth | |
| build/env.sh go run build/ci.go install ./cmd/geth | |
| >>> /usr/local/Cellar/go/1.11.1/libexec/bin/go install -ldflags -X main.gitCommit=f95811e65bcc674ae32c19c043b29226a56a6a5f -s -v ./cmd/geth | |
| github.com/ethereum/go-ethereum/vendor/github.com/elastic/gosigar | |
| github.com/ethereum/go-ethereum/crypto/secp256k1 | |
| github.com/ethereum/go-ethereum/vendor/github.com/rjeczalik/notify | |
| github.com/ethereum/go-ethereum/vendor/github.com/karalabe/hid | |
| github.com/ethereum/go-ethereum/vendor/gopkg.in/olebedev/go-duktape.v3 | |
| # github.com/ethereum/go-ethereum/vendor/github.com/elastic/gosigar | |
| vendor/github.com/elastic/gosigar/sigar_darwin.go:6:10: fatal error: 'stdlib.h' file not found |
hugoroussel
/ bash
Created
November 15, 2018 11:19
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
| ➜ minimumToken git:(master) ✗ smart *.scala --solvers=smt-cvc4 --strict-arithmetic | |
| [Warning ] Parallelism is disabled. | |
| [Warning ] warning: there were two feature warnings; re-run with -feature for details | |
| [Warning ] The 'cvc4' binary is not available. Falling back onto nativez3. | |
| [ Info ] - Checking cache: 'match exhaustiveness' VC for sumBalances @13:93... | |
| [ Info ] Cache hit: 'match exhaustiveness' VC for sumBalances @13:93... | |
| [ Info ] - Checking cache: 'integer overflow' VC for sumBalances @15:24... | |
| [ Info ] Cache miss: 'integer overflow' VC for sumBalances @15:24... | |
| [ Info ] - Now solving 'integer overflow' VC for sumBalances @15:24... | |
| [ Info ] - Result for 'integer overflow' VC for sumBalances @15:24: |
hugoroussel
/ bvmContract.go
Created
December 1, 2018 15:27
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
| package byzcoin | |
| import ( | |
| "errors" | |
| "github.com/ethereum/go-ethereum/core" | |
| "github.com/ethereum/go-ethereum/core/types" | |
| "github.com/ethereum/go-ethereum/core/vm" | |
| "math/big" | |
| "strconv" |
hugoroussel
/ bvmContract_test.go
Created
December 1, 2018 15:27
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
| package byzcoin | |
| import ( | |
| "github.com/ethereum/go-ethereum/accounts/abi" | |
| "math/big" | |
| "strings" | |
| "testing" | |
| "time" | |
| "github.com/dedis/onet/log" |
OlderNewer