These are chat archives for frenetic-lang/frenetic

11th
Dec 2013
[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