I hereby claim:
- I am vegard on github.
- I am vegardno (https://keybase.io/vegardno) on keybase.
- I have a public key ASCfq_8xuGsivSrcwpwREFTqsH8l7RewZmmRChxDW5bfVAo
To claim this, I am signing this object:
Vegard Nossum vegard
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
| debug-0.txt is the output of -Xtrace:invoke for DEBUG=0 while debug-1.txt is the same for DEBUG=1 | |
| --- debug-0.txt 2012-04-27 14:11:32.000000000 +0200 | |
| +++ debug-1.txt 2012-04-27 14:12:19.000000000 +0200 | |
| @@ -44,0 +45,11 @@ | |
| +[main] trace invoke: java/lang/StringBuilder.<init>()V | |
| +[main] trace invoke: java/lang/StringBuilder.<init>(I)V | |
| +[main] trace invoke: java/lang/Object.<init>()V | |
| +[main] trace invoke: java/lang/StringBuilder.append(Ljava/lang/String;)Ljava/lang/StringBuilder; | |
| +[main] trace invoke: java/lang/StringBuilder.ensureCapacity(I)V |
vegard
/ gist:2713295
Created
May 16, 2012 19:31
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
| ============================[ Problem Statistics ]============================= | |
| | | | |
| | Number of variables: 13408 | | |
| | Number of clauses: 8320 | | |
| | Parse time: 0.02 s | | |
| | Simplification time: 0.00 s | | |
| | | | |
| ============================[ Search Statistics ]============================== | |
| | Conflicts | ORIGINAL | LEARNT | Progress | | |
| | | Vars Clauses Literals | Limit Clauses Lit/Cl | | |
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
| #include <array> | |
| #include <iostream> | |
| #include <string> | |
| #include <sstream> | |
| #include <tuple> | |
| #include <utility> | |
| #include <vector> | |
| template<typename T> | |
| class table { |
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
| p cnf 3968 120401 | |
| c | |
| c Instance generated by sha1-sat | |
| c Written by Vegard Nossum <[email protected]> | |
| c <https://github.com/vegard/sha1-sat> | |
| c | |
| c command line: ./main --seed 17690 --attack preimage --rounds 21 --hash-bits 73 --cnf | |
| c parameter seed = 17690 | |
| c sha1 | |
| c parameter nr_rounds = 21 |
vegard
/ instance.cnf
Created
March 21, 2013 15:39
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
| p cnf 3168 90125 | |
| c | |
| c Instance generated by sha1-sat | |
| c Written by Vegard Nossum <[email protected]> | |
| c <https://github.com/vegard/sha1-sat> | |
| c | |
| c command line: ./main --seed 22662 --attack preimage --rounds 16 --hash-bits 1 --cnf | |
| c parameter seed = 22662 | |
| c sha1 | |
| c parameter nr_rounds = 16 |
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 sys | |
| from lxml import etree | |
| parser = etree.XMLParser(remove_comments=False) | |
| tree = etree.parse('docs/x86/optable.xml', parser=parser) | |
| root = tree.getroot() | |
| for e in root: | |
| if e.tag == 'instruction': |
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 math | |
| import os | |
| import sys | |
| import PIL | |
| import PIL.Image | |
| import cairo | |
| WIDTH, HEIGHT = 512, 512 |
vegard
/ ifdef-helper.py
Last active
January 27, 2017 14:30
— forked from anonymous/ifdef-helper.py
Visualise ifdef nesting for particularly nasty preprocessor spaghetti
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
| #! /usr/bin/python | |
| # -*- coding: utf-8 -*- | |
| # | |
| # Author: Vegard Nossum <[email protected]> | |
| # | |
| import os | |
| import sys | |
| import re |
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
| # -*- coding: utf-8 -*- | |
| # | |
| # Author: Vegard Nossum <[email protected]> | |
| import math | |
| import os | |
| import sys | |
| import cairo |
OlderNewer