frenetic-lang/frenetic issues and pull requests

#656 - <builtin>: recipe for target 'k_quants.o' failed

Issue - State: closed - Opened by vjaideep08 over 1 year ago - 5 comments

#655 - ImportError: No module named ryu.lib.packet

Issue - State: open - Opened by zfloat over 1 year ago - 9 comments

#654 - make && make install failed

Issue - State: closed - Opened by zfloat about 2 years ago - 20 comments

#653 - fail to install frenetic with opam

Issue - State: closed - Opened by tylovehhx about 2 years ago - 15 comments

#652 - make&make install fail: unknown option '-allow-unannotated-ignores'.

Issue - State: closed - Opened by davidlights about 2 years ago - 4 comments

#651 - Makefile:282: recipe for target '.build/image/ccenv/payload' failed make: *** [.build/image/ccenv/payload] Error 1

Issue - State: open - Opened by rvrchevuri about 2 years ago - 1 comment

#650 - update for tcpip 7.0.0, where the checksum module is now part of tcpip.checksum

Pull Request - State: closed - Opened by hannesm almost 3 years ago - 1 comment

#649 - Problem to install frenetic 5.0.3 from opam - Warning 3: Depricated Yojson.Basic.json

Issue - State: open - Opened by mattall over 3 years ago - 4 comments

#648 - Fixes for dune runtest

Pull Request - State: closed - Opened by jnfoster about 4 years ago

#647 - Port Frenetic to OCaml 4.11.0

Pull Request - State: closed - Opened by jnfoster about 4 years ago - 4 comments

#646 - Building error

Issue - State: closed - Opened by Hauser-F over 4 years ago - 4 comments

#645 - IP address from frenetic

Issue - State: closed - Opened by zitounh almost 5 years ago - 1 comment

#644 - Update .travis.yml

Pull Request - State: closed - Opened by smolkaj over 5 years ago

#643 - try caching .opam directory to speed up CI

Pull Request - State: closed - Opened by smolkaj over 5 years ago

#642 - deleted.

Issue - State: closed - Opened by IamBushra over 5 years ago

#641 - bisimilarity

Pull Request - State: closed - Opened by smolkaj over 5 years ago

#640 - Unable to Ping Network

Issue - State: closed - Opened by madiha005 over 5 years ago - 1 comment

#639 - New Domain and Packet modules; fixes

Pull Request - State: closed - Opened by smolkaj over 5 years ago

#638 - implement routing Application

Issue - State: open - Opened by IamBushra over 5 years ago - 2 comments

#637 - flood unknow dst

Pull Request - State: closed - Opened by dShvetsov over 5 years ago

#636 - Small fixes to avoid warnings during build

Pull Request - State: closed - Opened by jnfoster over 5 years ago

#635 - ocaml-base-compiler build fail

Issue - State: closed - Opened by shahzad46 over 5 years ago - 1 comment

#634 - Pin cstruct to < 4.0.0

Pull Request - State: closed - Opened by smolkaj over 5 years ago

#633 - Building error

Issue - State: closed - Opened by dShvetsov over 5 years ago - 7 comments

#632 - VM Link not working.

Issue - State: closed - Opened by shahzad46 over 5 years ago - 1 comment

#631 - Makefile:4: recipe for target 'build' failed Error 1

Issue - State: closed - Opened by madiha005 over 5 years ago - 31 comments

#630 - Error while building master branch of frenetic from Source .

Issue - State: closed - Opened by madiha005 over 5 years ago - 1 comment

#629 - Frenetic VM link is not Working

Issue - State: closed - Opened by madiha005 over 5 years ago - 3 comments

#628 - Update to dune, opam 2.0. Fix sedlex issues.

Pull Request - State: closed - Opened by smolkaj over 5 years ago

#627 - DONT MERGE. Just for comparison

Pull Request - State: closed - Opened by smolkaj almost 6 years ago

#626 - Note that Menhir is only a build dependency.

Pull Request - State: closed - Opened by fpottier about 6 years ago - 1 comment

#625 - Avoid illegal _= bindings in Parser.cppo.mly.

Pull Request - State: closed - Opened by fpottier about 6 years ago - 1 comment

#624 - Fix typo in TCP Ports parsers

Pull Request - State: closed - Opened by jnfoster about 6 years ago

#623 - VM file not available at any provided link

Issue - State: closed - Opened by shahzad46 about 6 years ago - 4 comments

#622 - jbuilder has some issuses

Issue - State: closed - Opened by ZQ-XPY over 6 years ago - 2 comments

#621 - Observe

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#620 - FDD equivalence, ported from mc-decision branch

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#619 - Bug in Learning Switch Application

Issue - State: closed - Opened by dShvetsov over 6 years ago

#618 - fix bug : wrong match order in openflow13 plugin

Pull Request - State: closed - Opened by dShvetsov over 6 years ago

#617 - random hacking

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#616 - simplified jbuild file

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#615 - release 5.0.3

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#614 - port to newest ppxlib

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#613 - Port to Jane Street v0.11

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#612 - Allows rendering Fdds and automata straight from OCaml; manual invocation of graphivz no longer needed

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#611 - Somewhat improved FDDs

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#610 - pin jane street libraries to v0.10.x

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#609 - Formatting

Pull Request - State: closed - Opened by jnfoster over 6 years ago

#608 - Remove VM from instructions

Pull Request - State: closed - Opened by jnfoster over 6 years ago

#607 - Mc decision icfp

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#606 - Update frenetic.opam to reflect v5.0.2

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#605 - no need for custom sedlex hack (thanks to @diml)

Pull Request - State: closed - Opened by smolkaj over 6 years ago

#604 - add support for global compiler to shell

Pull Request - State: closed - Opened by smolkaj almost 7 years ago - 1 comment

#603 - Shell global

Pull Request - State: closed - Opened by smolkaj almost 7 years ago

#602 - add --stdin flag to dump command to allow specifying policies right in terminal

Pull Request - State: closed - Opened by smolkaj almost 7 years ago

#601 - Unable to load global policies in frenetic shell

Issue - State: closed - Opened by ZhijiaCHEN almost 7 years ago - 8 comments
Labels: feature-request

#600 - Unbound Fenetic_NetKAT and Frenetic_OpenFlow0x01_Plugin modules

Issue - State: closed - Opened by ZhijiaCHEN almost 7 years ago - 4 comments

#599 - Is it possible to write virtual NetKAT policies in Python?

Issue - State: open - Opened by ZhijiaCHEN almost 7 years ago - 3 comments
Labels: feature-request

#598 - upgrade to jane-street v0.10

Pull Request - State: closed - Opened by smolkaj almost 7 years ago

#597 - fix opam file: newest core makes breaking changes, so avoid using it

Pull Request - State: closed - Opened by smolkaj almost 7 years ago

#596 - <location> =>> <location> syntax unrecognized

Issue - State: closed - Opened by ZhijiaCHEN almost 7 years ago - 12 comments
Labels: bug