{"push_id":1220913537,"size":5,"distinct_size":4,"ref":"refs/heads/meta-fields","head":"4613f2b6d743e616f67f479aaccc03bb73fff374","before":"c61796c3ce1b6f94033f9ee6732135d52d5bfdf5","commits":[{"sha":"c6b04e1c23de8c82351781e24fc3e10a82d89df8","author":{"name":"Steffen Smolka","email":"a34977bc4db78f0f40dbfb1c8b85e79b127e5287@cs.cornell.edu"},"message":"Local meta fields (#517, #521)\n\nLocal compiler now supports meta fields (or \"logical fields\"). They can be mutable or immutable, and they can be initialized with the value of another field (such as the ingress port) or with a constant. See #517 for details.","distinct":false,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/c6b04e1c23de8c82351781e24fc3e10a82d89df8"},{"sha":"3dbf3c61f9c10ef40b508a83ae9bdf8617374d4a","author":{"name":"Steffen Smolka","email":"a34977bc4db78f0f40dbfb1c8b85e79b127e5287@cs.cornell.edu"},"message":"start dataflow analysis","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/3dbf3c61f9c10ef40b508a83ae9bdf8617374d4a"},{"sha":"f9e2e3eb9edb9632568bda699e4ecfc5a6e9e80d","author":{"name":"Steffen Smolka","email":"a34977bc4db78f0f40dbfb1c8b85e79b127e5287@cs.cornell.edu"},"message":"data flow analysis: meta fields dependencies","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/f9e2e3eb9edb9632568bda699e4ecfc5a6e9e80d"},{"sha":"ec51d560cc8ab3d7e57cdf681014b5082d7fe379","author":{"name":"Steffen Smolka","email":"a34977bc4db78f0f40dbfb1c8b85e79b127e5287@cs.cornell.edu"},"message":"take a crack at global meta field erasure","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/ec51d560cc8ab3d7e57cdf681014b5082d7fe379"},{"sha":"4613f2b6d743e616f67f479aaccc03bb73fff374","author":{"name":"Steffen Smolka","email":"a34977bc4db78f0f40dbfb1c8b85e79b127e5287@cs.cornell.edu"},"message":"first global example","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/4613f2b6d743e616f67f479aaccc03bb73fff374"}]}
{"actor":{"display_login":"smolkaj"}}