Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

.travis

stack support

July 20, 2016 22:58

haskell_tool

travis test: bump process dependency

May 26, 2018 16:47

images

fffuu logo src

March 14, 2016 17:10

thy

adding to roots

May 11, 2017 14:14

.gitignore

Organize the two OpenFlow pdfs into one for the AFP

October 5, 2016 21:20

.gitmodules

removed l4v from .gitmodules

June 23, 2016 17:41

.travis.yml

tuned

July 21, 2016 08:10

LICENSE

full name to LICENSE

April 20, 2016 09:35

README.md

even moar academic pubs. no paywall

May 26, 2018 15:44

ROOTS

new directory structure

December 4, 2015 14:42

check_theorems_doc.sh

Short documentation string in check_theorems_doc.sh

August 22, 2016 10:56