{"shas":[["586f0102d286525429b60c1987dd7e77777f7917","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Just reformatting.","leepike@gmail.com"],["ec11bd28a6627c1f5236da4454c8d943a94dbe74","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Reformmated example for paper.","leepike@gmail.com"],["d48ffe1fb2bc939bbe42127d1edcd500aa510c01","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Playing with majority example.","leepike@gmail.com"],["cd25ad958f562cb0507bdad2c9e9f26522a409b6","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Removed (unnecessary) cabal constraint.","leepike@gmail.com"],["f749a2e27420c4f8c2d274ab401cad211a5c1111","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Faster aMajority (by not calling mux).","leepike@gmail.com"],["a26e642d4be82067c3aac18e8e5f1c377e33e2f9","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Merge branch 'seni' into development with support for regular expressions.","leepike@gmail.com"],["dda6d39ee8b33d4b49a6cb02d6866172911b62e5","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Updated version.","leepike@gmail.com"],["5829547e4c8878375c9742492a5c38144541d981","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Upped version number.","leepike@gmail.com"],["cf0b68a58e907e75fd5f5f3c1bbdac80d23a1c6e","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Added type signatures.","leepike@gmail.com"],["adf7238aedd57192a50a00b81ab702fcae26f98b","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Cleaned up formatting.","leepike@gmail.com"],["119f9e645f9358c1f5e5a79f692631a6d8c89423","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Cleaned up formatting.","leepike@gmail.com"],["f3b01cccffc9309a472d2b50b61d001950c30d43","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Cleaned up formatting and functions.","leepike@gmail.com"],["9b7a969587dd34716a48be0ee450b89e24bae6aa","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Used simpler functions.","leepike@gmail.com"],["c7489ec262eab3cb54f99b9f029a0f051baada89","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Removed commented code.","leepike@gmail.com"],["eb877c674f4b3b37eb08c04d388cd88597b7d049","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Added a Clocks example file.","leepike@gmail.com"],["b25427ab6cee72cc08c3849caffbb3bb877dec8f","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Very minor code changes.","leepike@gmail.com"],["85638111370110967b78cbfedb44e89739e62184","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Git ignore file.","leepike@gmail.com"],["7e818271af5a6d30985efdd85a02fd423a19db00","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Updated TODO.","leepike@gmail.com"],["c4226a85ccfc07ec2940a46b7c3286e960ad5d9d","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Some simple benchmarks between Copilot programs and obvious C implementations.","leepike@gmail.com"],["afb699d9cc2174eff1e15adba76343124e1ef569","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com","Better names for external variables data constructor.","leepike@gmail.com"]],"repo":"seni/Copilot","actor":"seni","ref":"refs/heads/development","size":41,"head":"b85fca9fea96cd246cf1b100b45d5a45a7e73317","actor_gravatar":"77940e4b3559b481bc2324e4b1401720","push_id":29479597}