{"push_id":1161395747,"size":5,"distinct_size":3,"ref":"refs/heads/new-dispatch","head":"945da0546d215b4f6d05e08e1ca63895006a40a7","before":"2deb4a7bbee2e0f5ebbb9b24b29a4dea05215705","commits":[{"sha":"9204e23954ab009d7085cbd1dd3c059f027479c1","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Implement optional safe semantic component operations that forbid null values for semantic components. Add dynsem.properties flag for to enable/disable this enforcement.","distinct":false,"url":"https://api.github.com/repos/metaborg/dynsem/commits/9204e23954ab009d7085cbd1dd3c059f027479c1"},{"sha":"b01d3adb3483ec1d0d30f50b403072d54f09306e","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Oops. Commit ComponentUtils.","distinct":false,"url":"https://api.github.com/repos/metaborg/dynsem/commits/b01d3adb3483ec1d0d30f50b403072d54f09306e"},{"sha":"b36892ef114529862c81487680c9e808e1470827","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Merge branch 'master' into new-dispatch\n\n* master:\n  Oops. Commit ComponentUtils.\n  Implement optional safe semantic component operations that forbid null values for semantic components. Add dynsem.properties flag for to enable/disable this enforcement.\n\n# Conflicts:\n#\tdynsem/trans/backend/interpreter/lang-entrypoint.str\n#\tdynsem/trans/backend/interpreter/utils.str\n#\torg.metaborg.meta.lang.dynsem.interpreter/src/main/java/org/metaborg/meta/lang/dynsem/interpreter/nodes/rules/RuleInputsNode.java\n#\torg.metaborg.meta.lang.dynsem.interpreter/src/main/java/org/metaborg/meta/lang/dynsem/interpreter/nodes/rules/premises/RelationPremise.java\n#\torg.metaborg.meta.lang.dynsem.interpreter/src/test/java/org/metaborg/meta/lang/dynsem/interpreter/test/TestSpecLoad.java","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/b36892ef114529862c81487680c9e808e1470827"},{"sha":"0f0aee118133bb8f4cf59eac1a02d9f05d14efe9","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Interpreter debugging improvements. When a crash (ReductionFailure) occurs a trace of rules being applied is presented to the user. See #73 for an example. Closes #73. Also, if the interpreter is running with `safecomponents` flag enabled, then if a null value is read/written for a specification variable the interpreter halts with a ReductionFailure and presents the user with a trace of the specification rules evaluated.","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/0f0aee118133bb8f4cf59eac1a02d9f05d14efe9"},{"sha":"945da0546d215b4f6d05e08e1ca63895006a40a7","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Improve term toString method.","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/945da0546d215b4f6d05e08e1ca63895006a40a7"}]}
{"actor":{"display_login":"vvergu"}}