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
/** | |
* Results for the Dart VM (v1.7.2) | |
* Duration for bignum's BigInteger: 59s | |
* Duration for rational's BigInt: 197s | |
* | |
* Results for dart2js in Chrome (v39.0.2171.62) | |
* Duration for bignum's BigInteger: 77s | |
* Duration for rational's BigInt: 474s | |
*/ |
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
Verifying myself: My Bitcoin username is +stevenroose. https://onename.io/stevenroose |
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
Steven-Rooses-MacBook-Pro:capsel4 steven$ python3 ~/Downloads/problog2/src/problog.py /Volumes/Data/Google\ Drive/school/irw/1ma/mettim/capsel4/part1.pl | |
Calling external process failed: | |
Command '/Users/steven/Downloads/problog2/assist/darwin/dsharp -Fnnf /var/folders/91/_k0t34l161qf90jgdsd995q40000gn/T/tmpu1jtlxz1/compile_cnf.nnf -Fgraph /var/folders/91/_k0t34l161qf90jgdsd995q40000gn/T/tmpu1jtlxz1/compile_cnf.nnf.graph -smoothNNF -disableAllLits /var/folders/91/_k0t34l161qf90jgdsd995q40000gn/T/tmpu1jtlxz1/compile_cnf' returned -11 |
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
public abstract class Statement { | |
public void execute(Map<String, Type> context); | |
/** | |
* Updates the global context with the changes made in the local scope. | |
* Variables newly created in the scope are discarded. | |
*/ | |
protected void updateContext(Map<String, Type> context, Map<String, Type> scopeContext) { | |
for(String key : context.keySet()) { |
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
public class AssignmentStatement implements Statement { | |
String name; | |
Expression rhs; | |
public AssignmentStatement(String name, Expression rhs) { | |
this.name = name; | |
this.rhs = rhs; | |
} | |
public void execute(Map<String, Type> context) { |
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
public void execute(Worm worm){ | |
Map<String, Type> context = new HashMap<String, Type>(); | |
context.put("self", new WormEntityType(worm)); | |
programTree.execute(context); | |
} | |
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
Process: dota_osx [1774] | |
Path: /Users/USER/Library/Application Support/Steam/*/dota_osx | |
Identifier: dota_osx | |
Version: ??? | |
Code Type: X86 (Native) | |
Parent Process: bash [1771] | |
User ID: 501 | |
Date/Time: 2014-05-18 17:19:40.949 +0200 | |
OS Version: Mac OS X 10.8.5 (12F45) |
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
EncryptedPrivateKey encrypt(Uint8List privKey, KeyParameter aesKey) { | |
if(privKey == null || aesKey == null) throw new ArgumentError(); | |
Uint8List iv = new Uint8List(BLOCK_LENGTH); | |
// TODO fill iv with random bytes from securerandom | |
ParametersWithIV keyWithIv = new ParametersWithIV(aesKey, iv); | |
PaddedBlockCipher cipher = new PaddedBlockCipherImpl(new PKCS7Padding(), new CBCBlockCipher(new AESFastEngine())); | |
cipher.init(true, keyWithIv); | |
Uint8List encryptedKey = cipher.process(privKey); |
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
llvm-g++ -Wall -Wextra -Wformat -Wformat-security -Wno-unused-parameter -g -DMAC_OSX -DMSG_NOSIGNAL=0 -DBOOST_SPIRIT_THREADSAFE -DUSE_UPNP=1 -DUSE_IPV6=1 -I/Users/steven/BitcoinClient/src/leveldb/include -I/Users/steven/BitcoinClient/src/leveldb/helpers -DHAVE_BUILD_INFO -I"/Users/steven/BitcoinClient/src" -I"/Users/steven/BitcoinClient/src"/obj -I"/opt/local/include" -I"/opt/local/include/db48" -o bitcoind -L"/opt/local/lib" -L"/opt/local/lib/db48" leveldb/libleveldb.a obj/alert.o obj/version.o obj/checkpoints.o obj/netbase.o obj/addrman.o obj/crypter.o obj/key.o obj/db.o obj/init.o obj/keystore.o obj/main.o obj/net.o obj/protocol.o obj/bitcoinrpc.o obj/rpcdump.o obj/rpcnet.o obj/rpcmining.o obj/rpcwallet.o obj/rpcblockchain.o obj/rpcrawtransaction.o obj/script.o obj/sync.o obj/util.o obj/wallet.o obj/walletdb.o obj/hash.o obj/bloom.o obj/noui.o obj/leveldb.o obj/txdb.o -dead_strip -ldb_cxx-4.8 -lboost_system-mt -lboost_filesystem-mt -lboost_program_options-mt -lboost_thread-mt -lboost_chrono-mt -lssl -lcryp |
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
BitcoinArmory steven$ armory-usb | |
(ERROR) armoryengine.py:773 - Error getting system details: | |
Traceback (most recent call last): | |
File "/Users/steven/BitcoinArmory/armoryengine.py", line 771, in <module> | |
SystemSpecs = GetSystemDetails() | |
File "/Users/steven/BitcoinArmory/armoryengine.py", line 763, in GetSystemDetails | |
raise OSError, "Can't get system specs in OSX" | |
OSError: Can't get system specs in OSX | |
(ERROR) armoryengine.py:774 - Skipping. | |
(ERROR) armoryengine.py:12136 - No BDM method: StartCppLogging |