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. adding to roots

    Diekmann
    Diekmann committed May 11, 2017
  3. new theorem

    Diekmann
    Diekmann committed May 11, 2017
  4. access_matrix_no_interfaces_and_bigstep_semantics

    Diekmann
    Diekmann committed May 11, 2017
  5. access_matrix_no_interfaces_and_bigstep_semantics

    Diekmann
    Diekmann committed May 11, 2017
  6. move

    Diekmann
    Diekmann committed May 11, 2017
  7. cleanup

    Diekmann
    Diekmann committed May 11, 2017
  8. service matrix without mentioning the simple firewall at all

    diekmann committed May 11, 2017
  9. 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
  3. ein oops weniger

    jcaesar committed Mar 24, 2017
  4. Too much procrastination

    jcaesar committed Mar 24, 2017
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 Feb 6, 2017
  1. adding docker firewall to examples

    Diekmann
    Diekmann committed Feb 6, 2017
Commits on Dec 16, 2016
  1. unbreaking tests

    diekmann committed Dec 16, 2016
Older
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.