Skip to content
Permalink
Branch: master
Commits on May 26, 2018
  1. travis test: bump process dependency

    diekmann committed May 26, 2018
  2. travis test: bump stack resolver

    diekmann committed May 26, 2018
  3. travis test: bump haskell dependencies

    diekmann committed May 26, 2018
  4. even moar academic pubs. no paywall

    diekmann committed May 26, 2018
  5. fancy typesetting

    diekmann committed May 26, 2018
  6. update academic publications

    diekmann committed May 26, 2018
  7. Update note about isabelle version

    diekmann committed May 26, 2018
Commits on Jun 9, 2017
  1. Fixed links of images

    diekmann committed Jun 9, 2017
  2. Tuned Readme

    diekmann committed Jun 9, 2017
  3. Updated and added links

    diekmann committed Jun 9, 2017
Commits on May 11, 2017
  1. Merge pull request #143 from diekmann/runFw_scheme

    diekmann committed May 11, 2017
    Run fw scheme
  2. service matrix without mentioning the simple firewall at all

    diekmann committed May 11, 2017
  3. runFw_scheme

    diekmann committed May 11, 2017
Commits on Mar 27, 2017
  1. added src_ipPart_motivation

    diekmann committed Mar 27, 2017
Commits on Mar 24, 2017
  1. fixing broken image in md

    diekmann committed Mar 24, 2017
  2. Merge pull request #142 from jcaesar/master

    diekmann committed Mar 24, 2017
    Dinks
Commits on Mar 21, 2017
  1. fixed typo

    diekmann committed Mar 21, 2017
Commits on Mar 1, 2017
  1. explaining what this means

    diekmann committed Mar 1, 2017
  2. more examples

    diekmann committed Mar 1, 2017
  3. docker example

    diekmann committed Mar 1, 2017
Commits on Feb 16, 2017
  1. bump directory package

    diekmann committed Feb 16, 2017
  2. incr stack resolver to lts 8.0

    diekmann committed Feb 16, 2017
  3. Make travis green again.

    diekmann committed Feb 16, 2017
    It's true. Totally green. You should see it.
    
    From this day onward, it's going to be optparse-generic 1.1.4.
    OPTPARSE-GENERIC ONE ONE FOUR. It's true. Totally green. We take a
    .hs file and give it back to the people. We will make travis green
    again. It's true. Totally green.
    
    This was the largest commit of all times. Don't believe fake news. They
    are fake news. Total disaster. This is the greatest commit of all times.
    It's true! Alternative fact! It's true. Totally green. Alternative
    history. Totally true.
Commits on Dec 16, 2016
  1. unbreaking tests

    diekmann committed Dec 16, 2016
  2. logopath

    diekmann committed Dec 16, 2016
  3. updated ipassmt_sqrl

    diekmann committed Dec 16, 2016
  4. Merge pull request #141 from diekmann/isabelle2016-1

    diekmann committed Dec 16, 2016
    Isabelle2016 1
Commits on Dec 8, 2016
  1. A minus can be in an interface name

    diekmann committed Dec 8, 2016
Commits on Nov 25, 2016
  1. Merge pull request #140 from jcaesar/2016-1-RC2

    diekmann committed Nov 25, 2016
    Output Interface Rewriting
Commits on Oct 19, 2016
  1. Merge pull request #139 from jcaesar/master

    diekmann committed Oct 19, 2016
    preparing OF submission
Commits on Sep 20, 2016
  1. Merge pull request #138 from diekmann/multiportsports

    diekmann committed Sep 20, 2016
    Multiport Ports Support
Commits on Sep 19, 2016
  1. fixing the simple firewall

    diekmann committed Sep 19, 2016
  2. also for lower closure

    diekmann committed Sep 19, 2016
  3. more guarantees for upper closure

    diekmann committed Sep 19, 2016
Older
You can’t perform that action at this time.