{"push_id":906498632,"size":33,"distinct_size":1,"ref":"refs/heads/master","head":"e1bb48a61095d66156ad000a1ffdb7310d388849","before":"975fea2c8533fac223de31bcac68821e6d74fede","commits":[{"sha":"6971d4e289dd263904d6d56d660f150aac2939bc","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyCS: Add check for unknown module #536\n\nPreviously, if a module was referred to that could not be found, then\nthis resulted in a NullPointerException rather than a syntax error.\nThis is now fixed.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/6971d4e289dd263904d6d56d660f150aac2939bc"},{"sha":"bcd5b44a6d008669f00ba27832ec4fcd3bcb3903","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"BUILD: Update standard library re: wycs files #536\n\nPreviously, the standard library was not including the wycs files\nbecause there was an error in them being generated.  This is now\nresolved, and they are once again included in the generated wyrt jar.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/bcd5b44a6d008669f00ba27832ec4fcd3bcb3903"},{"sha":"ede0325116ba7c44f9adf327f28611ba6e619569","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"Merge branch 'bug/536-null' into develop","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/ede0325116ba7c44f9adf327f28611ba6e619569"},{"sha":"a25c6c92c3922d69fa45aef32995a451fd6aba5e","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyRT: Updated resize() specification #530\n\nUnfortunately, this doesn't verify though that's probably just because\nof a timeout.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/a25c6c92c3922d69fa45aef32995a451fd6aba5e"},{"sha":"4b62e4d5c9ad465b3b5a82abd4a8d69a591f2821","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyRT: Updated Array.indexOf() #530\n\nUpdated spec and verified implementation for Array.indexOf().  Found bug in\nexisting specification for index(), which resulted from a copy-paste\nerror!","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/4b62e4d5c9ad465b3b5a82abd4a8d69a591f2821"},{"sha":"a695a50e45348164075da2c59dc42c559f9edd39","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyRT: Updated Array.lastIndexOf() #530\n\nUpdated and verified implementation of Array.lastIndexOf().","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/a695a50e45348164075da2c59dc42c559f9edd39"},{"sha":"70fc248691e8a03db0892e0e769614a0c376ff07","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"Merge branch 'feature/530-arrays' into develop","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/70fc248691e8a03db0892e0e769614a0c376ff07"},{"sha":"da99234a0e1159b64656b94f6d9f0d111241f9cf","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyC: Applied update for #539\n\nThis update adds support for multiple where clauses in type invariants.\nThis seems to be a pretty obvious thing to add, and wasn't too\nchallenging.  The main issue was to extend WhileyFile.Type to store\nmultiple invariants, rather than just one.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/da99234a0e1159b64656b94f6d9f0d111241f9cf"},{"sha":"c8f0691349a62ec6cd30c67589080d4b98e9cf6e","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"Merge branch 'feature/539-where' into develop","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/c8f0691349a62ec6cd30c67589080d4b98e9cf6e"},{"sha":"0f49399491527b4c94f1cb68f76b8b22abb5ddf7","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyC: Bug fix for brief output #541\n\nThe brief output mode was not correctly escaping error messages and, in\nparticular, was not escaping quotes.  This was causing some problems!!","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/0f49399491527b4c94f1cb68f76b8b22abb5ddf7"},{"sha":"44ecf5c98c496209fb6ed6f3629d8b7684673880","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"Merge branch 'bug/541-brief' into develop","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/44ecf5c98c496209fb6ed6f3629d8b7684673880"},{"sha":"1aedd99c961ca89ea78696ff5aef89319788f697","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"BUILD: bug fix for building wyjc-all\n\nThe wyjc-all jar file was not including all class files, which it should\nhave been.  Now corrected.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/1aedd99c961ca89ea78696ff5aef89319788f697"},{"sha":"e271c08589a149ca7672fc6fae54feea0cd99fa7","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"TESTING: Added another test case\n\nThis test case came from my work on the SWEN224 exam, and illustrates an\ninteresting recursive implementation of the lastIndexOf() function.\nHowever, it didn't make the exam (in case you were wondering).","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/e271c08589a149ca7672fc6fae54feea0cd99fa7"},{"sha":"6d4e0baa4c66427b0324deb5b979d1ea3f5a30f6","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyJC: Update the build.xml to add WyCS stdlib\n\nThe wyjc build.xml dist target did not include the wycs stdlib files.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/6d4e0baa4c66427b0324deb5b979d1ea3f5a30f6"},{"sha":"a9ad161ee9e49c024596de0cd594dc4c63a8b1e9","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyCS: Update to new WyRL Rewriter API #544\n\nThe WyRL Rewriter API has changed yet again, and this brings the code\nupto date with it.  At this stage, the WyRL library has been updated to\nimplement inference rules as substitutions, rather than actual rewrites.\nThis promises to fix some problems related to isomorphic automaton being\nencoutered; however, at this stage, it doesn't seem to be helping much\nand performance is often much worse.  Therefore, further work is needed\nto figure this out.\n\nTo improve performance, there are a range of angles which can be\nexplored.  Firstly, updates the rewrite rules for the WyCS solver have\nalready been shown to have a significant effect and there maybe more\nwhich can be done here.  Secondly, the WyRL library should be updated to\nimprove performance when rewriting larger automaton; however, this will\nprobably require a significant investment.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/a9ad161ee9e49c024596de0cd594dc4c63a8b1e9"},{"sha":"bac225daba267f4ddef35ae59ecbe6b6fa8bc3b0","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyCS: Useful update to Solver #544\n\nThis update changes the rule Equation_2 from an inference rule into a\nreduction.  This has a dramatic effect on overall performance.  However,\nperformance is still lagging behind that of v0.3.36.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/bac225daba267f4ddef35ae59ecbe6b6fa8bc3b0"},{"sha":"055ddf1617e4663e854fa9db5198a6baa28f7517","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"Merge branch 'feature/544-wyrl' into develop","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/055ddf1617e4663e854fa9db5198a6baa28f7517"},{"sha":"7f990f764c72e355b96843a34fcded89d017f56c","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"BUILD: Updated dependencies and version number","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/7f990f764c72e355b96843a34fcded89d017f56c"},{"sha":"0471b00ec180eae5dee0d55f1ba7430ff4f34061","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyCS: Update for hybrid Rewriter API.\n\nThe hybrid rewriter API supports both substitution based and rewrite\nbased inference rule application.  At the moment, it's not completely\nclear which option is best.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/0471b00ec180eae5dee0d55f1ba7430ff4f34061"},{"sha":"63b8f60f82417ec3be12d05c91ade3799bc768de","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"BUILD: Added latest WyRL jar","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/63b8f60f82417ec3be12d05c91ade3799bc768de"}]}