{"push_id":1324913408,"size":8,"distinct_size":8,"ref":"refs/heads/invariants","head":"902c1c6fffded7e4946c183afac0b9ff730e7f35","before":"40e1b0c2a3a89bf83680d592e337f40fee9b8634","commits":[{"sha":"6c04d02d7e90818c71b8c4a745778b884765ef61","author":{"name":"Kevin Lin","email":"d4eb9bc92062abae21f4ef4868f8a960aa06df30@gmail.com"},"message":"inspect: Remove query feature\n\nWe originally thought that it'd be useful to query the effects of nodes\nfailing, but the code is unused, and just getting stale.","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/6c04d02d7e90818c71b8c4a745778b884765ef61"},{"sha":"ffaf82afe8a5b761baf7b4505d4ee495b7a32af8","author":{"name":"Akshay Narayan","email":"a3d7bfbd795e7d2f4b96b2583a672aa0ced6e0b8@berkeley.edu"},"message":"stitch: Reach invariant should not use paths through the public label","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/ffaf82afe8a5b761baf7b4505d4ee495b7a32af8"},{"sha":"c65e6daed3ec3277324e50d3992ad519016258aa","author":{"name":"Akshay Narayan","email":"a3d7bfbd795e7d2f4b96b2583a672aa0ced6e0b8@berkeley.edu"},"message":"stitch: Add invariant type to check for direct neighborship","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/c65e6daed3ec3277324e50d3992ad519016258aa"},{"sha":"490256916e4fded835d967e9d4767985351691d8","author":{"name":"Akshay Narayan","email":"a3d7bfbd795e7d2f4b96b2583a672aa0ced6e0b8@berkeley.edu"},"message":"stitch: Optimization to short-circuit invariant checking on failure","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/490256916e4fded835d967e9d4767985351691d8"},{"sha":"d0211b782f17c8577f515a7dceb8a9f7eddcf44e","author":{"name":"Kevin Lin","email":"d4eb9bc92062abae21f4ef4868f8a960aa06df30@gmail.com"},"message":"stitch: Differentiate idents based on functionality\n\nThis patch tweaks the implementation of built-in functions so that\nidentifiers for built-ins get converted to the `astBuiltin` type. This\nmakes it so users cannot redefine reserved keywords.","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/d0211b782f17c8577f515a7dceb8a9f7eddcf44e"},{"sha":"c0bc68fe914f818ac2d8fbdc62df10063f1081be","author":{"name":"Akshay Narayan","email":"a3d7bfbd795e7d2f4b96b2583a672aa0ced6e0b8@berkeley.edu"},"message":"stitch: Add ability to annotate nodes for static analysis\n\nThis patch adds an `Annotations` attribute to labels. Note that\nimplementing this requires making labels mutable, although only the\nannotations can be changed.\n\nCo-Authored-By: Kevin Lin <kaikai526@gmail.com>","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/c0bc68fe914f818ac2d8fbdc62df10063f1081be"},{"sha":"639b01097b484d85a16e918fcd25cc329f429d5a","author":{"name":"Akshay Narayan","email":"a3d7bfbd795e7d2f4b96b2583a672aa0ced6e0b8@berkeley.edu"},"message":"stitch: Add reachability invariant which respects ACL boundaries","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/639b01097b484d85a16e918fcd25cc329f429d5a"},{"sha":"902c1c6fffded7e4946c183afac0b9ff730e7f35","author":{"name":"Kevin Lin","email":"d4eb9bc92062abae21f4ef4868f8a960aa06df30@gmail.com"},"message":"invariants: Refactor invariant error handling\n\nThis patch cleans up the way we handle errors for failed invariants by\nmaking the error an explicit return argument. Before, errors were passed by\nwriting the desired error into the string representation of the\ninvariant.","distinct":true,"url":"https://api.github.com/repos/kklin/quilt/commits/902c1c6fffded7e4946c183afac0b9ff730e7f35"}]}
{"actor":{"display_login":"kklin"}}