The Frenetic Programming Language and Runtime System
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