Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    @
    [Github] mcanini commented in frenetic-lang/frenetic on issue: Wrong choice https://github.com/frenetic-lang/frenetic/issues/179#issuecomment-30186472
    @
    [Github] mcanini commented in frenetic-lang/frenetic on issue: katnetic failure https://github.com/frenetic-lang/frenetic/issues/170#issuecomment-30276175
    @
    [Github] mcanini closed an issue in frenetic-lang/frenetic: katnetic failure https://github.com/frenetic-lang/frenetic/issues/170
    @
    [Github] mcanini commented in frenetic-lang/frenetic on issue: Group topology terms in Automaton algorithm https://github.com/frenetic-lang/frenetic/pull/191#issuecomment-30276495
    @
    [Github] mcanini commented in frenetic-lang/frenetic on issue: Group topology terms in Automaton algorithm https://github.com/frenetic-lang/frenetic/pull/191#issuecomment-30316411
    @
    [Github] mcanini pushed 7 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/a160fef12c0b...911d56ea1940
    @
    [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] mcanini commented in frenetic-lang/frenetic on issue: Group topology terms in Automaton algorithm https://github.com/frenetic-lang/frenetic/pull/191#issuecomment-30317094
    @
    [Github] mcanini pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/commit/6b3f3cfb7fbf
    @
    [Github] mcanini created a Pull Request to frenetic-lang/frenetic: Print out dehopify time. https://github.com/frenetic-lang/frenetic/pull/193
    @
    [Github] mcanini commented in frenetic-lang/frenetic on issue: Travis-CI integration https://github.com/frenetic-lang/frenetic/pull/192#issuecomment-30318623
    @
    [Github] mcanini pushed 1 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/commit/19a258221e6b
    @
    [Github] mcanini created a Pull Request to frenetic-lang/frenetic: fix-semantics-size: Make size and size_pred tail recursive https://github.com/frenetic-lang/frenetic/pull/194
    @
    [Github] mcanini created a Pull Request to frenetic-lang/frenetic: fix-semantics-size: Make size and size_pred tail recursive https://github.com/frenetic-lang/frenetic/pull/194
    @
    [Github] reitblatt pushed 2 commit(s) to frenetic-lang/frenetic https://github.com/frenetic-lang/frenetic/compare/ab50263fb991...55aac9b92788
    @
    [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