vegard

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

============================[ 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 |          |

vegard

#include <array>
#include <iostream>
#include <string>
#include <sstream>
#include <tuple>
#include <utility>
#include <vector>

template<typename T>
class table {

vegard

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

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

vegard

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':

vegard

import math
import os
import sys

import PIL
import PIL.Image
import cairo

WIDTH, HEIGHT = 512, 512

vegard

#! /usr/bin/python
# -*- coding: utf-8 -*-
#
# Author: Vegard Nossum <[email protected]>
#

import os
import sys
import re

vegard

# -*- coding: utf-8 -*-
#
# Author: Vegard Nossum <[email protected]>

import math
import os
import sys

import cairo

vegard

Keybase proof

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: