Skip to content

Instantly share code, notes, and snippets.

AYF realazthat

Block or report user

Report or block realazthat

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View klee example
int main()
{
int a;
klee_make_symbolic(&a, sizeof(a));
if(a==5)
return 1;
return 0;
}
View gist:2415094
struct cputimer
{
cputimer(const std::string& name)
: name(name)
{
}
~cputimer()
{
View botan_bench.data
{
"units":
[
"Botan-1.10.3/src/algo_base/symkey.cpp",
"Botan-1.10.3/src/algo_factory/algo_factory.cpp",
"Botan-1.10.3/src/algo_factory/prov_weight.cpp",
"Botan-1.10.3/src/alloc/alloc_mmap/mmap_mem.cpp",
"Botan-1.10.3/src/alloc/mem_pool/mem_pool.cpp",
"Botan-1.10.3/src/alloc/system_alloc/defalloc.cpp",
"Botan-1.10.3/src/asn1/alg_id.cpp",
@realazthat
realazthat / Dominosa.Part.I.tex
Last active Dec 28, 2015
Feel free to use any of this code as you wish, under the MIT license, copyright Azriel Fasten.
View Dominosa.Part.I.tex
\documentclass[tikz,margin=5em]{standalone}
\usepackage{intcalc,calc}
\usepackage{tikz}
\usepackage{verbatim}
\usepackage{amsmath}
\usetikzlibrary{arrows}
\usetikzlibrary{decorations.pathreplacing}
\usetikzlibrary{shapes}
@realazthat
realazthat / cube.hpp
Last active Aug 29, 2015
A cube/corner/face library for reasoning about cubes.
View cube.hpp
/*
Copyright (c) 2012 Azriel Fasten azriel.fasten@gmail.com
Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation
files (the "Software"), to deal in the Software without
restriction, including without limitation the rights to use,
copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the
Software is furnished to do so, subject to the following
View corner_traverser.hpp
/*
Copyright (c) 2012 Azriel Fasten azriel.fasten@gmail.com
Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation
files (the "Software"), to deal in the Software without
restriction, including without limitation the rights to use,
copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the
Software is furnished to do so, subject to the following
@realazthat
realazthat / list.1.dot
Created Jan 26, 2015
dot graphs for "Maintaining an efficient ordering where you can insert elements “in between” any two other elements in the ordering?" at http://cs.stackexchange.com/a/14710/2755
View list.1.dot
#step 1
digraph list{
{rank=same;
D1[style=invis,shape=point];
D1[style=invis];
}
{rank=same;
D[dir=back];
@realazthat
realazthat / common.py
Last active Aug 29, 2015
spider for files of a certain extension
View common.py
import yaml
import argparse
from attrdict import AttrDict
#from check_config import check_config
def check_config(config,partial=False):
pass
View Test.md

Inline-style: alt text

Um, why isn't this rendering.

View Figure1.svg
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
You can’t perform that action at this time.