Inline-style:
Um, why isn't this rendering.
AYF realazthat
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
| int main() | |
| { | |
| int a; | |
| klee_make_symbolic(&a, sizeof(a)); | |
| if(a==5) | |
| return 1; | |
| return 0; | |
| } |
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
| struct cputimer | |
| { | |
| cputimer(const std::string& name) | |
| : name(name) | |
| { | |
| } | |
| ~cputimer() | |
| { |
realazthat
/ botan_bench.data
Created
November 27, 2012 18:10
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
| { | |
| "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
/ Dominosa.Part.I.tex
Last active
December 28, 2015 09:39
Feel free to use any of this code as you wish, under the MIT license, copyright Azriel Fasten.
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
| \documentclass[tikz,margin=5em]{standalone} | |
| \usepackage{intcalc,calc} | |
| \usepackage{tikz} | |
| \usepackage{verbatim} | |
| \usepackage{amsmath} | |
| \usetikzlibrary{arrows} | |
| \usetikzlibrary{decorations.pathreplacing} | |
| \usetikzlibrary{shapes} |
realazthat
/ cube.hpp
Last active
August 29, 2015 14:07
A cube/corner/face library for reasoning about cubes.
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
| /* | |
| 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 |
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
| /* | |
| 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
/ list.1.dot
Created
January 26, 2015 18:20
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
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
| #step 1 | |
| digraph list{ | |
| {rank=same; | |
| D1[style=invis,shape=point]; | |
| D1[style=invis]; | |
| } | |
| {rank=same; | |
| D[dir=back]; |
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
| import yaml | |
| import argparse | |
| from attrdict import AttrDict | |
| #from check_config import check_config | |
| def check_config(config,partial=False): | |
| pass |
realazthat
/ Test.md
Last active
November 5, 2015 20:08
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
OlderNewer