Skip to content

Instantly share code, notes, and snippets.

Mr-Slippery

Block or report user

Report or block Mr-Slippery

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
@Mr-Slippery
Mr-Slippery / col3.py
Created Nov 6, 2019
Find counter examples to the conjecture: The orbit of all strictly positive natural numbers through col3 ends up in one of the two finite cycles.
View col3.py
#!/usr/bin/env python3
"""
Find counter examples to the conjecture:
The orbit of all strictly positive natural numbers
through col3 ends up in either C[0] and C[1].
"""
# Ignores PEP8 and pylint for brevity and math-friendly notation.
import sys
@Mr-Slippery
Mr-Slippery / klee_template.c
Created Oct 20, 2019
Template C file for verifying an array operation using KLEE
View klee_template.c
#ifdef KLEE
#include <klee/klee.h>
#include <assert.h>
#endif
#include <stdbool.h>
#ifndef KLEE
#include <stdio.h>
#endif
@Mr-Slippery
Mr-Slippery / klee_cpp.sh
Last active Aug 16, 2019
Running klee on a C++ program using its Docker image
View klee_cpp.sh
#!/usr/bin/env bash
set -euo pipefail
FILE=${1-main.cc}
if [ ! -f "${FILE}" ]
then
cat << EOF > "${FILE}"
#include <klee/klee.h>
#include <assert.h>
@Mr-Slippery
Mr-Slippery / .bashrc
Last active Aug 8, 2019
"If you could ... that would be greeaat" prompt
View .bashrc
# Shamelessly based on:
# https://stackoverflow.com/questions/39305476/bash-prompt-with-background-color-extending-to-end-of-line
FIRST_YOU_COULD=1
PROMPT_COMMAND=__prompt_command
__prompt_command()
{
local None='\[\e[0m\]'
local Green='\[\033[1;38;5;10m\]'
local LightPurple='\[\033[1;35m\]'
You can’t perform that action at this time.