{"push_id":562141442,"size":88,"distinct_size":2,"ref":"refs/heads/master","head":"669f0387770f28c5d37571bd1906efe581a2a34e","before":"5ccec86a2e8b56136a335d6bef8fd01548f15f84","commits":[{"sha":"c6bbbb47c73d3938be89ea4d3427d55fa625a46d","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Removed Block.numInputs() #442.\n\nRemoved the function Block.numInputs() as part of the process\nfor introducing proper nested blocks.  This required functions be\nmodified to pass the number of inputs through as parameters.  Also, the\nnumSlots() function relied on numInputs() and, hence, this was updated\nand some referencing code needed tweaking to work.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/c6bbbb47c73d3938be89ea4d3427d55fa625a46d"},{"sha":"13b8c1b92918144c615bee049a1e5ddb9e79bb28","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Added formal notion of Bytecode Attribute\n\nThe notion of a bytecode attribute is a chunk of data which is\nassociated with some aspect of a WyIL file.  In particular, an attribute\nmap is one which associates data with individual bytecodes.\n\nInitially, I have added various kinds of default attribute.  In\nparticular, the SourceLocation is an attribute used to associate a\nbytecode with a location in the originating source file.  Likewise, the\nSouceLocationMap is an instance of Attribute.Map and is used to\nassociate a block of bytecodes with their source locations.\n\nTo simplify implementing Attribute.Maps, I have created an\nAbstractAttributeMap class which provides most of what you would need.\n\nFurthermore, the class Code.Block now only contains bytecodes.  The class\nCode.AttributableBlock permits bytecodes to be attributed using zero or\nmore attribute maps.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/13b8c1b92918144c615bee049a1e5ddb9e79bb28"},{"sha":"db7238fd45eec14f2d774dbcfd830ec705810099","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Removing attributes from Code.Block.Entry.\n\nAttributes were previously associated with all bytecodes through the\nclass Block.Entry.  This provided a convenient way of associating\nattributes with bytecodes.  However, the class Attribute.Map is the new\nway of associating attributes with bytecodes.  To make handling of this\neasier, I have also created an AttributableBlock which is very similar\nto the old notion of block.  This has zero or more Attribute.Map\ninstances inside, and manages the mapping from bytecodes to attributes.\n\nThe new Block.Entry does not have any attributes associated with\nit.  However, the sister class AttributableBlock.Entry does.  This\nprovides a convenient interface to access the attributes of bytecodes\ninside nested blocks and, potentially, to update them (though this isn't\nimplemented yet).\n\nTo make the code compile, I have have stripped out a lot of stuff\nrelated to the expansion of types. This has all been put into a new\ntransform called TypeExpansion, which currently is completely broken and\nI will need to fix up later.\n\nAdditionally, forward and backward flow analyses have been updated to\nsupport the new CodeBlock API.  Furthermore, live variables and constant\npropagation have been updated accordingly as well.  In the case of\nconstant propagation, a decision was made to strip out the \"alias\nanalysis\" which was additionally being performed by ConstantPropagation.\nThis should either be removed altogether, or reconstructed in separate\ntransform.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/db7238fd45eec14f2d774dbcfd830ec705810099"},{"sha":"3586670367290522084908b823a5bef68e045b9f","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Continued updates to support new CodeBlock API.\n\nVarious changes related to the continuing work to update the CodeBlock\nAPI.  This includes changes to the binary representation of loop\nbytecodes in WyIL files.  Also, the removal of list and set\ncomprehensions to further simplify the language and make this task more\naccessible.  Finally, destructuring of loops is also currently disabled\nand will need to be put back.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/3586670367290522084908b823a5bef68e045b9f"},{"sha":"d931958eab6d3fa646dc969604db72e4b7d47734","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyC: Removed SetComprehension tests\n\nRemoved all tests which were specifically for set comprehensions and\nalso updated other test cases which used set comprehensions.  Now, they\njust use forall loops.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/d931958eab6d3fa646dc969604db72e4b7d47734"},{"sha":"7beb4ff0bc73d86b4231d4942f28bf2de6638ed7","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Further Updates to CodeBlock API.\n\nThis represents a large number of continued changes focused on working\nthrough the change to the CodeBlock API.  Specifically, that bytecodes\nsupport true code blocks.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/7beb4ff0bc73d86b4231d4942f28bf2de6638ed7"},{"sha":"455869b6189352ff17abb509b50a548e0a669327","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyC,WyIL: Removed notion of try/catch blocks.\n\nRemoved syntax and implementation for try/catch blocks as part of my\nefforts to simplify the language.  Try/catch blocks may come back into\nthe language later, though they may not be supported in the bytecode.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/455869b6189352ff17abb509b50a548e0a669327"},{"sha":"7710d1210a27b14a88cad1a8bb08078f4aaa8e8c","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Updates to AttributedCodeBlock.\n\nThis update sees progress getting attributed code blocks to work.  These\nare code blocks which support attribution of elements.  They are used\nfor all outermost code blocks found in functions, methods, types, etc.\n\nIn this fix, SourceLocationMaps are also now functioning, though not\ncompleted.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/7710d1210a27b14a88cad1a8bb08078f4aaa8e8c"},{"sha":"91ae01a06d7e1f8eb42a9c689443d1fcad3b0fe1","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyRT: Removed use of Exceptions.\n\nSince exceptions have been removed for now, all uses of them must be\neliminated from the standard library as well.  Therefore, instead of\nthrowing an exception, such functions simply return null.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/91ae01a06d7e1f8eb42a9c689443d1fcad3b0fe1"},{"sha":"576f8e9b8ae63ff2f0850c34ae8e2014696a57e8","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"BUILD: Updated build files to source 1.7\n\nSince I'm now using Java 7 features (such as type inference for\ngenerics) I have updated the build files to reflect this (since\notherwise you can't build the compiler)","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/576f8e9b8ae63ff2f0850c34ae8e2014696a57e8"},{"sha":"2ee51759bef1cda3618b67e3d2d25d51d5ddd721","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Bug fixes for error reporting.\n\nSpecifically, ErrorMessages wasn't properly passing through information\nabout the exception which caused this exception.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/2ee51759bef1cda3618b67e3d2d25d51d5ddd721"},{"sha":"04436f236582a7526d7f63ee4169114595ad960f","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Updated AttributeMap\n\nAttributeMap now returns null when an illegal identifier is supplied.\nThis helps with debugging, since otherwise I end up with lots of stack\ntraces pointing to that exception being thrown (which isn't the actual\nsource of the error).","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/04436f236582a7526d7f63ee4169114595ad960f"},{"sha":"865d5da5d2769f128cad4b2fde1b5efed77a0cab","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Updated DefiniteAssignmentCheck\n\nSpecifically, a minor tweak to the documentation for this function.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/865d5da5d2769f128cad4b2fde1b5efed77a0cab"},{"sha":"cd2755761d82febdf7199b3ff6a6f8552afe4aae","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Bug fix for AttributedCodeBlock\n\nSource line information was being lost because of a bug in\nAttributedCodeBlock which was being used by the CodeGenerator.  Also\nbecause of another bug in the constructor, code indices weren't being\ncorrectly generated.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/cd2755761d82febdf7199b3ff6a6f8552afe4aae"},{"sha":"12b107047ba19ef50211cc5318dc5ebd673d0bda","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Bug fix for WyilFileReader\n\nThe WyilFileReader was not correctly handling the reconstruction of\nlabels from a WyIL file.  This is because it was not taking into account\nthe nested structure of bytecodes.  However, now it is :)","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/12b107047ba19ef50211cc5318dc5ebd673d0bda"},{"sha":"8aa487f0d83097ea1265311b8a8e9fa649c4dbbe","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyJC: Removed Primitive Type Optimisations\n\nThere were some optimisations in the WyJC backend whereby some types\n(e.g. bool, byte, char) were being coded into primitive java types.\nHowever, with the elimination of the back propagation phase this becomes\nproblematic (at least for now) since it requires significant extra\nmachinery to ensure proper coercions are inserted.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/8aa487f0d83097ea1265311b8a8e9fa649c4dbbe"},{"sha":"a3f02b270c5ae7c1f2e9af59f31cbc629044df87","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyJC: Various minor bug fixes.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/a3f02b270c5ae7c1f2e9af59f31cbc629044df87"},{"sha":"151cb0f3e2976123287d99bfc50d305d3671c305","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Removed caching of bytecodes as now unsafe\n\nPreviously, bytecodes were cached in an effort to ensure that any two\nidentical bytecodes would actually be unequal.  However, with the change\nto using blocks (and possibly even before this) I fear that this is now\nunsafe.  Furthermore, it's not really important and, hence, to minimise\nany potential future pain I have removed this functionality.  To be\nhonest, I look forward to the day when I can rewrite this all in\nWhiley!!","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/151cb0f3e2976123287d99bfc50d305d3671c305"},{"sha":"9ef13b8f55656ba6eeea115996d1c8148dd240ce","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"BUILD: Added tweaked version of jasm","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/9ef13b8f55656ba6eeea115996d1c8148dd240ce"},{"sha":"d18baa83f33ea1d5c09226e5ee032ba4fe91faa2","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyIL: Bug fix for reading WyIL Files.","distinct":false,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/d18baa83f33ea1d5c09226e5ee032ba4fe91faa2"}]}