{"push_id":1060221449,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"158fd1fe09c1d3e42d6ba4f0c5a12ccaf0511057","before":"ef1cdfc2c4d02115e7e1bc7c32c0a875435b20e8","commits":[{"sha":"1fa15811b8757fda7605d5cced3e7faeb4670936","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Add Object Expression support to Symbol Extractor\n\nrefs #23","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/1fa15811b8757fda7605d5cced3e7faeb4670936"},{"sha":"ec7e3ed8fb1188777ab4efa1a01954aaa33f3aea","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Extract parametrized type from type\n\nExtract a subclass parametrized type from type as this is a specialization\nand not all types have type parameters. This change is required\nas the equality of Records is not only defined by the types\nof the propertis (type parameters) but also by the name of the\nproperties.\n\nrefs #23","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/ec7e3ed8fb1188777ab4efa1a01954aaa33f3aea"},{"sha":"f3481672219b788ff9010f220508254b8fe4bcf0","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Implement record type\n\nImplement a record type that can be used to represent object literals\n\nfixes 23","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/f3481672219b788ff9010f220508254b8fe4bcf0"},{"sha":"459a72c823bd015206a3e41d334f299fb1d39b68","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Implement refinement rules for records\n\nImplement refinement rules for object and member expressions","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/459a72c823bd015206a3e41d334f299fb1d39b68"},{"sha":"432a6f7c318cb5eed39ae26a96ed8ac947e9d3fa","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Type inference over CFG\n\nand implementation of Union Type","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/432a6f7c318cb5eed39ae26a96ed8ac947e9d3fa"},{"sha":"bc9c0fc32b080c740ff85c7b45b480594fcea874","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Fix symbol table not to add members to scope\n\nFixes symbol table to not add members to the enclosing scope. Refactor\nthe current implementation to use a fast fail visitor that fails\nfor unknown AST-Nodes. Also use this kind of Visitor for the CFG creation.\n\nfixes #28","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/bc9c0fc32b080c740ff85c7b45b480594fcea874"},{"sha":"a34eefb73ee84e5c30fbcd7a2be0ebf839059307","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Implement types as immutables\n\nfixes #29","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/a34eefb73ee84e5c30fbcd7a2be0ebf839059307"},{"sha":"158fd1fe09c1d3e42d6ba4f0c5a12ccaf0511057","author":{"email":"5f726662e7ca541c0aec63efdec81c7c2711727a@famreiser.ch","name":"Micha Reiser"},"message":"Merge pull request #26 from DatenMetzgerX/type-inference-record\n\nType inference for record types","distinct":true,"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/commits/158fd1fe09c1d3e42d6ba4f0c5a12ccaf0511057"}]}