Skip to content

Instantly share code, notes, and snippets.

Chris Timperley ChrisTimperley

Block or report user

Report or block ChrisTimperley

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
@ChrisTimperley
ChrisTimperley / installing-arch.md
Last active Jun 18, 2019
Instructions for installing Arch Linux and i3 onto a Dell Inspiron 7537
View installing-arch.md

Arch Linux

GRUB Installation

Be sure to replace /dev/sda with the name of the drive (n.b. not the partition) containing Arch.

# pacman -S grub-bios intel-ucode
# grub-install /dev/sda
# mkinitcpio -p linux
View Using-SIR.md

Workflow

  1. Copy original version of the program from versions.alt/versions.orig/vK to source.
  2. Compile original code by executing make build in the source directory.
  3. Execute test suite against original version of the object, saving the results to outputs for future reference.
  4. Clear the contents of the source directory.
  5. Copy the appropriate seeded version of the program from versions.alt/versions.seeded/vK to source.
  6. Inject the desired fault(s) in the program by removing the appropriate comment markers in source/FaultSeeds.h.
  7. Compile the program by calling make build in the source directory.
  8. Execute the test suite against the faulty program and compare the outputs against the oracle outputs saved in outputs.alt.
@ChrisTimperley
ChrisTimperley / install-cgum-and-gumtree-linux.sh
Last active Sep 15, 2016
Installs CGum and GumTree onto Linux from source
View install-cgum-and-gumtree-linux.sh
# Assumes Java 8 JDK is already installed
# cgum
mkdir ~/bin
cd ~/bin
git clone https://github.com/GumTreeDiff/cgum
cd cgum
make
echo "export PATH=\"\$PATH:$PWD\"" >> ~/.profile
cd ..
@ChrisTimperley
ChrisTimperley / install-docker-elementary-loki.sh
Last active May 23, 2019
Installs Docker on Elementary OS 0.4 (Loki)
View install-docker-elementary-loki.sh
#!/bin/bash
sudo apt-get install apt-transport-https ca-certificates -y
sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
sudo rm -f /etc/apt/sources.list.d/docker.list
sudo add-apt-repository \
"deb [arch=amd64] https://download.docker.com/linux/ubuntu \
$(lsb_release -u -cs) \
stable"
sudo apt-get update
sudo apt-get purge lxc-docker
You can’t perform that action at this time.