{"push_id":786812069,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"39e1f53c7de232188db6969e255bb78da21f48a7","before":"bc63260e422c85f036fc10c8626460cf93731fdf","commits":[{"sha":"9e8a005677aee90befbc85ae07e9bf35f0993364","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"VL: Fix incorrect lexing of ://\n\nFixes #507.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/9e8a005677aee90befbc85ae07e9bf35f0993364"},{"sha":"4b4ebfa7812dc7ec8a1ddf1ce851eddfb196994d","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"VL: extend parser to support myfn() and mytask()\n\nExtend VL's parser to permit function calls and task enable statements\nthat have explicit parens but no arguments.  In Verilog, it is\nsyntactically legal to write statements like `mytask;` but not\n`mytask();` with the explicit parens, even though they seem like they\nshould be equivalent.  In SystemVerilog both forms are allowed but we\nhadn't implemented this until now.\n\nMark sv/cosims/colon-comment as being incompatible with VCS since VCS\ngets it wrong.\n\nUpdate issue 506.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/4b4ebfa7812dc7ec8a1ddf1ce851eddfb196994d"},{"sha":"94f641f02f163980e08b17bec9ca3f8747566056","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge remote-tracking branch 'remotes/origin/master'","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/94f641f02f163980e08b17bec9ca3f8747566056"},{"sha":"cc55b764b29369c96f2c9d194b65cf6f28e27f92","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Delete some unused VL files","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/cc55b764b29369c96f2c9d194b65cf6f28e27f92"},{"sha":"106485f636977e6a50617dc7e1c7d4b17bb1a70b","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Remove VL talks/, tweak .gitignore for SBCL\n\nThe VL talks/ had some very old VL talks which are becoming\nincreasingly outdated as VL continues to evolve.\n\nThese talks are still available in the vl2014/talks directory,\nand they're more relevant to that version of VL anyway, so it\nseems best to leave them there and remove them from VL.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/106485f636977e6a50617dc7e1c7d4b17bb1a70b"},{"sha":"b5cd02625ae008534254e788dd5ae220de2d6be5","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge remote-tracking branch 'remotes/xc/master'","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/b5cd02625ae008534254e788dd5ae220de2d6be5"},{"sha":"39e1f53c7de232188db6969e255bb78da21f48a7","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge remote-tracking branch 'remotes/origin/master'","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/39e1f53c7de232188db6969e255bb78da21f48a7"}]}