This file contains hidden or 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
#!/bin/bash | |
set -e | |
FILE=$1 | |
MESSAGE=$(cat $FILE) | |
TICKET=$(git rev-parse --abbrev-ref HEAD | xargs python3 -c 'import sys; print("-".join(sys.argv[1].split("/")[1].split("-")[0:2]))') | |
echo "$TICKET: $MESSAGE" > $FILE |
This file contains hidden or 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
#!/bin/sh | |
# A hook script to prepare the commit log message if the branch name starts with a JIRA ticket. | |
# It adds the branch name to the commit message, if it is not already part of it. | |
# https://stackoverflow.com/questions/5894946/how-to-add-gits-branch-name-to-the-commit-message/59831864#59831864 | |
PROJECT_PREFIX="PROJ" # TODO fill in project here | |
BRANCH_PATH=$(git symbolic-ref -q HEAD) # Something like refs/heads/branch_name | |
BRANCH_NAME=${BRANCH_PATH##*/} # Get text behind the last / of the branch path |
This file contains hidden or 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
declare external ccc ptr @malloc(i32) | |
declare external ccc void @free(ptr) | |
declare external ccc void @llvm.memset.p0i8.i64(ptr, i8, i64, i1) | |
declare external ccc void @llvm.memcpy.p0i8.p0i8.i64(ptr, ptr, i64, i1) | |
declare external ccc i32 @memcmp(ptr, ptr, i64) |
This file contains hidden or 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
#!/bin/bash | |
# This assumes eclair, clang and wasm-ld are installed, | |
# and that walloc (https://github.com/wingo/walloc) is compiled, | |
# and that walloc.o is copied to the current directory. | |
# Compiling (note: bulk memory needed for memset call) | |
eclair c program.eclair > program.ll | |
clang -DNDEBUG -Oz --target=wasm32 -mbulk-memory -nostdlib -c -o program.o program.ll | |
clang -DNDEBUG -Oz --target=wasm32 -mbulk-memory -nostdlib -c -o driver.o driver.c |
This file contains hidden or 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
#!/bin/bash | |
clang-9 -g3 -O0 -o program main.c test.ll -Wno-override-module |
This file contains hidden or 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
; ModuleID = 'bf' | |
source_filename = "<string>" | |
declare i8* @malloc(i32) | |
declare void @free(i8*) | |
declare void @llvm.memset.p0i8.i64(i8*, i8, i64, i1) | |
declare i32 @putchar(i32) |
This file contains hidden or 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
{-# LANGUAGE RecursiveDo #-} | |
module Eclair.Data.BTree | |
( Meta(..) | |
, SearchIndex | |
, SearchType(..) | |
, codegen | |
) where | |
import Protolude hiding ( Type, Meta ) |
This file contains hidden or 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
Leverage the power of logic programming with souffle-haskell |
This file contains hidden or 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
#!/bin/bash | |
nc -z 127.0.0.1 8421 &> /dev/null |
This file contains hidden or 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
{-# LANGUAGE TemplateHaskell #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
module Bad where | |
import Prelude | |
import Data.Kind ( Type ) | |
import Generics.MultiRec.TH |
NewerOlder