Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Travis-CI integration https://github.com/frenetic-lang/frenetic/pull/192
    [Github] reitblatt pushed 3 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/55aac9b92788...1f8bf93255cd
    [Github] seliopou pushed 4 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/911d56ea1940...6503b9422520
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Group topology terms in Automaton algorithm https://github.com/frenetic-lang/frenetic/pull/191
    [Github] seliopou pushed 4 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/6503b9422520...62b1f437a1ec
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Group topology terms in Automaton algorithm https://github.com/frenetic-lang/frenetic/pull/191
    [Github] arjunguha pushed 0 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/4a803307333f...000000000000
    [Github] arjunguha pushed 0 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/19a258221e6b...000000000000
    Arjun Guha
    @arjunguha
    sup
    ok this is frenetic public chat
    @
    [Github] seliopou pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/commit/b433a28a8a0d
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Update openflow library dependencies https://github.com/frenetic-lang/frenetic/pull/195
    @
    [Github] seliopou commented in frenetic-lang/frenetic on issue: Update openflow library dependencies https://github.com/frenetic-lang/frenetic/pull/195#issuecomment-30439397
    @
    [Github] seliopou pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/b433a28a8a0d...8133fbf22386
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Update openflow library dependencies https://github.com/frenetic-lang/frenetic/pull/195
    @
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Update openflow library dependencies https://github.com/frenetic-lang/frenetic/pull/195
    [Github] arjunguha pushed 0 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/8133fbf22386...000000000000
    [Github] arjunguha pushed 3 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/1f8bf93255cd...ef3d3073a821
    @
    [Github] mcanini pushed 9 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/ef3d3073a821...111c56778590
    [Github] seliopou created a Pull Request to frenetic-lang/frenetic: Group topology terms in Automaton algorithm https://github.com/frenetic-lang/frenetic/pull/191
    [Github] seliopou closed an issue in frenetic-lang/frenetic: Automaton stack overflow https://github.com/frenetic-lang/frenetic/issues/185
    [Github] mcanini pushed 0 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/62b1f437a1ec...000000000000
    @
    [Github] mcanini pushed 86 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/583f7cde47d2...6c8dd665e1e2
    @
    [Github] seliopou pushed 2 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/111c56778590...c27eee693be2
    [Github] mcanini created a Pull Request to frenetic-lang/frenetic: Print out dehopify time. https://github.com/frenetic-lang/frenetic/pull/193
    [Github] seliopou pushed 0 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/6b3f3cfb7fbf...000000000000
    @
    [Github] mcanini pushed 4 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/6c8dd665e1e2...a48d1ea3301c
    @
    [Github] mcanini pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/a48d1ea3301c...7fb28fe50954
    @
    [Github] mcanini pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/7fb28fe50954...6e6832a6c6fa
    @
    [Github] mcanini pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/6e6832a6c6fa...d46cc06c702a
    @
    [Github] mcanini pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/commit/4f838a207ec5
    [Github] mcanini created a Pull Request to frenetic-lang/frenetic: Make policy printing optional. https://github.com/frenetic-lang/frenetic/pull/196
    @
    [Github] adferguson commented in frenetic-lang/frenetic on issue: Optimizer bug https://github.com/frenetic-lang/frenetic/issues/142#issuecomment-30549889
    @
    [Github] seliopou pushed 2 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/bb09228b5d3a^...42d61720ac59
    [Github] seliopou pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/42d61720ac59...9443bcb59a3f