Augusto Hack hackaugusto
hackaugusto
/ gist:045edec9232bb590e44bebe12735815b
Created
October 17, 2018 12:00
This file has been truncated, but you can view the full file.
This file contains hidden or 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
| travis_fold:start:worker_info | |
| [0K[33;1mWorker information[0m | |
| hostname: 70ee52be-3b13-479d-9ebc-0f7f987e1d47@1.production-2-worker-org-gce-bfb0 | |
| version: v4.5.0 https://github.com/travis-ci/worker/tree/c4a9dd6cd328917d6d0e03f767514af24755bf94 | |
| instance: travis-job-2c36abd7-c902-43b0-91ef-816ac79d780c travis-ci-sardonyx-xenial-1539248700-2058f45 (via amqp) | |
| startup: 21.752981078s | |
| travis_fold:end:worker_info | |
| [0Ktravis_fold:start:system_info | |
| [0K[33;1mBuild system information[0m | |
| Build language: python |
hackaugusto
/ gist:3dee964d5fa3cb7e0a0cbf1fcd6e1844
Created
October 17, 2018 11:58
This file contains hidden or 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
| travis_fold:start:worker_info | |
| [0K[33;1mWorker information[0m | |
| hostname: a97ed4c5-6200-42f8-bdaf-5e4b407c1b54@1.production-2-worker-org-gce-59sh | |
| version: v4.5.0 https://github.com/travis-ci/worker/tree/c4a9dd6cd328917d6d0e03f767514af24755bf94 | |
| instance: travis-job-2660916a-9886-4cfa-884e-d738228f335d travis-ci-sardonyx-xenial-1539248700-2058f45 (via amqp) | |
| startup: 9.747582842s | |
| travis_fold:end:worker_info | |
| [0Ktravis_fold:start:system_info | |
| [0K[33;1mBuild system information[0m | |
| Build language: python |
hackaugusto
/ gist:22dcb52e427a783980443606c746eec5
Created
October 11, 2018 16:57
This file contains hidden or 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
| travis_fold:start:worker_info | |
| [0K[33;1mWorker information[0m | |
| hostname: 33136577-5c6c-474e-8051-9514b1d8b1c3@1.production-1-worker-org-gce-wg1c | |
| version: v4.4.0 https://github.com/travis-ci/worker/tree/80d1a9bbc1de0f176c56230ce9cc27f45ff1eb27 | |
| instance: travis-job-d508a0cd-a423-4c42-b00b-22b00f1f549c travis-ci-sardonyx-xenial-1539248700-2058f45 (via amqp) | |
| startup: 13.602861156s | |
| travis_fold:end:worker_info | |
| [0Ktravis_fold:start:system_info | |
| [0K[33;1mBuild system information[0m | |
| Build language: python |
hackaugusto
/ .pre-commit-config.yaml
Created
October 4, 2018 15:03
This file contains hidden or 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
| exclude: '^$' | |
| fail_fast: false | |
| repos: | |
| - repo: git://github.com/doublify/pre-commit-isort | |
| rev: v4.3.0 | |
| hooks: | |
| - id: isort | |
| args: ["--ignore-whitespace", "--settings-path", "./", "--recursive"] | |
| - repo: https://github.com/pre-commit/mirrors-pylint | |
| rev: v2.1.1 |
hackaugusto
/ gist:693922e8a205b1b12586817e0152ec92
Created
August 13, 2018 23:33
This file contains hidden or 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
| Loading configured modules. | |
| /usr/sbin/semodule -s refpolicy -i /usr/share/selinux/refpolicy/base.pp -i /usr/share/selinux/refpolicy/abrt.pp -i /usr/share/selinux/refpolicy/accountsd.pp -i /usr/share/selinux/refpolicy/acct.pp -i /usr/share/selinux/refpolicy/acpi.pp -i /usr/share/selinux/refpolicy/ada.pp -i /usr/share/selinux/refpolicy/afs.pp -i /usr/share/selinux/refpolicy/aiccu.pp -i /usr/share/selinux/refpolicy/aide.pp -i /usr/share/selinux/refpolicy/aisexec.pp -i /usr/share/selinux/refpolicy/alsa.pp -i /usr/share/selinux/refpolicy/amanda.pp -i /usr/share/selinux/refpolicy/amavis.pp -i /usr/share/selinux/refpolicy/amtu.pp -i /usr/share/selinux/refpolicy/anaconda.pp -i /usr/share/selinux/refpolicy/apache.pp -i /usr/share/selinux/refpolicy/apcupsd.pp -i /usr/share/selinux/refpolicy/application.pp -i /usr/share/selinux/refpolicy/apt.pp -i /usr/share/selinux/refpolicy/arpwatch.pp -i /usr/share/selinux/refpolicy/asterisk.pp -i /usr/share/selinux/refpolicy/auditadm.pp -i /usr/share/selinux/refpolicy/authlogin.pp - |
hackaugusto
/ gist:917cf570674c6a6e56521ef1cc5168ac
Created
August 13, 2018 23:25
This file contains hidden or 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 pacman -U selinux-refpolicy-src-20180701-1-any.pkg.tar.xz 20:24 | |
| loading packages... | |
| warning: selinux-refpolicy-src-20180701-1 is up to date -- reinstalling | |
| resolving dependencies... | |
| looking for conflicting packages... | |
| Packages (1) selinux-refpolicy-src-20180701-1 | |
| Total Installed Size: 9.89 MiB | |
| Net Upgrade Size: 0.00 MiB | |
| :: Proceed with installation? [Y/n] | |
| (1/1) checking keys in keyring [------------------------------------------------------------] 100% |
hackaugusto
/ coreutils.log
Created
August 13, 2018 22:41
This file contains hidden or 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
| ==> Making package: coreutils-selinux 8.29-1 (Mon 13 Aug 2018 07:28:59 PM -03) | |
| ==> Checking runtime dependencies... | |
| ==> Checking buildtime dependencies... | |
| ==> Retrieving sources... | |
| -> Downloading coreutils-8.29.tar.xz... | |
| % Total % Received % Xferd Average Speed Time Time Time Current | |
| Dload Upload Total Spent Left Speed | |
| 100 5162k 100 5162k 0 0 1681k 0 0:00:03 0:00:03 --:--:-- 1681k | |
| -> Downloading coreutils-8.29.tar.xz.sig... | |
| % Total % Received % Xferd Average Speed Time Time Time Current |
hackaugusto
/ gist:05f2860c3c59c3882830e6659b280c30
Created
June 22, 2018 11:04
This file contains hidden or 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
| 09:15:25 STATE CHANGE node=1f38f877 state_change=<ActionChangeNodeNetworkState node:3203c1eb state:reachable> | |
| 09:15:25 STATE CHANGE node=1f38f877 state_change=<ActionInitInitiator transfer:<TransferDescriptionWithSecretState token_network:e55b211b amount:200 secrethash:ac057aea>> | |
| 09:15:25 EVENT chain_event=<SendLockedTransfer msgid:5902056470046500467 transfer:<LockedTransferUnsignedState id:8962746701156499383 token:0x1d91ea584893831f080e560d04bad2fb478e74ee balance_proof:<BalanceProofUnsignedState nonce:1 transferred_amount:0 locked_amount:200 locksroot:97158bf7 token_network:e55b211b channel_address:2bf23c20> lock:<HashTimeLockState amount:200 expiration:84 secrethash:ac057aea> target:0x3203c1ebde4f210ad64a16e94b113b4f95c132fb> recipient:f6e622ed> node=1f38f877 | |
| 09:15:26 STATE CHANGE node=f6e622ed state_change=<ActionInitMediator from_route:<RouteState hop:1f38f877 channel:2bf23c20> from_transfer:<LockedTransferSignedState msgid:5902056470046500467 id:8962746701156499383 token:0x1d91ea584893831f080e5 |
hackaugusto
/ gist:17e92d0c8f5be7c9ca11f76cc43995e0
Created
June 19, 2018 13:08
This file contains hidden or 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
| travis_fold:start:worker_info | |
| [0K[33;1mWorker information[0m | |
| hostname: 215a43a5-f4df-4866-9b3f-1109d1f2e44a@1.production-1-worker-org-b-3-gce | |
| version: v3.8.0 https://github.com/travis-ci/worker/tree/cccff7c89da7ba0cf47a90e5615266a45b372e30 | |
| instance: travis-job-90f9d6af-21d7-42ef-9a92-a1344e271f5a travis-ci-garnet-trusty-1512502259-986baf0 (via amqp) | |
| startup: 45.381209575s | |
| travis_fold:end:worker_info | |
| [0Ktravis_fold:start:system_info | |
| [0K[33;1mBuild system information[0m | |
| Build language: python |
hackaugusto
/ gist:195214846f31b85ab8ad1a0df62a598f
Created
June 14, 2018 19:14
This file contains hidden or 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
| import stp | |
| width = 64 | |
| s = stp.Solver() | |
| MAX = 2 ** width - 1 | |
| UINT256MAX = s.bitvecval(width, MAX) | |
| t1 = s.bitvec('t1', width) | |
| t2 = s.bitvec('t2', width) |