frenetic-lang / fattire

Fault Tolerant Frenetic with Path Expressions

FatTire: Fault Tolerating Regular Expressions

FatTire is a language for specifying fault-tolerant network forwarding policies. For more details, see the paper: http://www.cs.cornell.edu/~reitblatt/papers/fault-tolerance-hotsdn13.pdf

Building from Source

Prerequisites

• OCaml 4 or higher http://caml.inria.fr/download.en.html

• OPAM http://opam.ocaml.org

• The following OCaml libraries:

  • findlib
  • core
  • async
  • cstruct
  • oUnit
  • frenetic

  These are available on OPAM:

  $ opam install ocamlfind core async cstruct ounit frenetic
  

Building

• From the ocaml/ directory of the repository, run make

  $ make
  

fattire's Issues

Finish backtracking search

Building error

Hi,

When trying to build fattire I get the error:

I installed frenetic 3.1.0 and the other dependencies that are needed.
Maybe someone could help me with this problem?

BR,
Florian

Installation Error

Hi,

I am trying to install FatTire in Ubuntu 16.04 and I have tried in 14.04 as well. But it is not working and throws error. Find screenshot for details.
Could anyone help me on this ?

~Sushil

Compiler should emit 'inport' actions

Migrate compiler/language back to mainline NetCore