Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / frenetic-lang/frenetic issues and pull requests

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

Issue - State: closed - Opened by vjaideep08 about 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 almost 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

#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

#648 - Fixes for dune runtest

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

#647 - Port Frenetic to OCaml 4.11.0

Pull Request - State: closed - Opened by jnfoster almost 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 over 4 years ago - 1 comment

#644 - Update .travis.yml

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

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

Pull Request - State: closed - Opened by smolkaj about 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 over 5 years ago

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

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

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

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

#624 - Fix typo in TCP Ports parsers

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

#623 - VM file not available at any provided link

Issue - State: closed - Opened by shahzad46 almost 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

#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 over 6 years ago - 1 comment

#603 - Shell global

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

#601 - Unable to load global policies in frenetic shell

Issue - State: closed - Opened by ZhijiaCHEN over 6 years ago - 8 comments
Labels: feature-request

#600 - Unbound Fenetic_NetKAT and Frenetic_OpenFlow0x01_Plugin modules

Issue - State: closed - Opened by ZhijiaCHEN over 6 years ago - 4 comments

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

Issue - State: open - Opened by ZhijiaCHEN over 6 years ago - 3 comments
Labels: feature-request

#598 - upgrade to jane-street v0.10

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

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

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

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

Issue - State: closed - Opened by ZhijiaCHEN over 6 years ago - 12 comments
Labels: bug

#595 - Release v5.0.0

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

#594 - port to ocaml 4.06

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

#593 - Tweaks

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

#592 - fix bug introduced by #577 (c22028e); ensure ppx extension is tested …

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

#591 - fix #590: more robust way to invoke ppx_sedlex (not supported by jbuilder)

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

#590 - Issue with sedlex when attempting opam install

Issue - State: closed - Opened by andresm-m almost 7 years ago - 3 comments

#589 - Fix the n-ary choice business with Dexter's help. Use full distributions exclusively.

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

#588 - various improvements to compiler, dump command

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

#587 - better naming

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

#586 - Global compiler optimization

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

#585 - More economical use of vlans in global compilation

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

#584 - remove unnecessary folder

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

#583 - Portless NetKAT

Pull Request - State: closed - Opened by poddarh about 7 years ago - 2 comments

#582 - Dies on too many open files

Issue - State: open - Opened by Travisivart about 7 years ago - 1 comment

#581 - renamed folder, added entry to README

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

#580 - Better packaging

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

#579 - fix Makefile

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

#578 - update ppx readme and example

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

#577 - use inline records for meta field let bindings

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

#576 - reorganize files making use of jbuilder's auto-wrapping

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

#575 - fix docpush script

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

#574 - update github token so docs can be pushed automatically

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

#573 - more jbuilder (do not merge yet)

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

#572 - Update .travis.yml (don't merge yet)

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

#571 - Move to jbuilder-based build

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

#570 - Does the compiler allow checking for forwarding loops or connectivity ?

Issue - State: open - Opened by JohanPy about 7 years ago - 1 comment

#568 - properly export FDDs

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

#567 - Add tcpip.unix dependency to fix build

Pull Request - State: closed - Opened by basus about 7 years ago
Labels: bug

#566 - pesky unhandled exception in Async scheduler

Issue - State: open - Opened by reservoirman about 7 years ago - 3 comments

#559 - Portless NetKAT

Pull Request - State: closed - Opened by poddarh over 7 years ago - 2 comments

#558 - NetKAT Decision Procedure Based on Symbolic Automata (FDDs)

Pull Request - State: open - Opened by smolkaj over 7 years ago - 14 comments

#555 - fix issue #530 - travis does not currently run tests

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

#553 - Learning Switch App for Multi Switch

Issue - State: closed - Opened by sushiljain1989 over 7 years ago

#551 - ImportError: No module named frenetic

Issue - State: open - Opened by nickycyee over 7 years ago - 9 comments

#548 - Virtual bench tool fixes

Pull Request - State: closed - Opened by baxtersa over 7 years ago

#539 - Fix link to frenetic VM in README

Pull Request - State: closed - Opened by baxtersa over 7 years ago - 1 comment

#413 - Merging GUI console

Pull Request - State: closed - Opened by sushkrish over 9 years ago - 1 comment

#409 - Unify Code Base

Pull Request - State: closed - Opened by craig-riecke over 9 years ago - 2 comments