{"push_id":861542132,"size":9,"distinct_size":9,"ref":"refs/heads/testing","head":"95b37a50c33adf894c23eb0ecc742773754dc6a0","before":"c7a53ee6fedb01bcb9ac4a1dc8ba4e2f04e9c5a7","commits":[{"sha":"130125dbb887fa1a6487e5a4bd0997942d66818c","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Minor vl lint warning tweaks","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/130125dbb887fa1a6487e5a4bd0997942d66818c"},{"sha":"5dabecb2febb5afb284dc7cb0e74627b2deb46b4","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"VL server: avoid mf-multiprocessing until server start\n\nThis gives a significant speedup to the other tools in the VL toolkit\nby avoiding locking.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/5dabecb2febb5afb284dc7cb0e74627b2deb46b4"},{"sha":"b7bbc491212573efc0f7d3b0c8ed02a9e6d33002","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"SV: more cosims","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/b7bbc491212573efc0f7d3b0c8ed02a9e6d33002"},{"sha":"d1e2a557b23358ba8f9e5da240d9763a7bc7099e","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"VL: add support for fancier gate arrays\n\nAdd support for single-expression arrays for gate instances, e.g.,\n\n      and foo [3] (o, a, b);\n\ninstead of just\n\n      and foo [2:0] (o, a, b);\n\nThis fixes the gates_arr1 cosim.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/d1e2a557b23358ba8f9e5da240d9763a7bc7099e"},{"sha":"22040445d0fbd3510c937e98fbb2f116f7561986","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Turn off noisy change-notes","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/22040445d0fbd3510c937e98fbb2f116f7561986"},{"sha":"d9099c9a4213b1443c9bbeaab859c7d4235517ea","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"VL: initial support toward break/continue statements\n\nThis adds representation, parsing, and prettyprinting for break\nand continue statements.\n\nThis is a kind of minimal implementation just to avoid parse\nerrors.  There's no actual understanding of what these statements\nmean, i.e., SV's statement handling backend won't know what to do\nwith them.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/d9099c9a4213b1443c9bbeaab859c7d4235517ea"},{"sha":"3284334acdf951514d89c7f2a140d95dc2156791","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Make gate array tests meaner","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/3284334acdf951514d89c7f2a140d95dc2156791"},{"sha":"6015e0dd9d6e09c74994e08b66c174628abf32d0","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge remote-tracking branch 'remotes/xc/testing' into testing","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/6015e0dd9d6e09c74994e08b66c174628abf32d0"},{"sha":"95b37a50c33adf894c23eb0ecc742773754dc6a0","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/95b37a50c33adf894c23eb0ecc742773754dc6a0"}]}