{"push_id":609328995,"size":16,"distinct_size":16,"ref":"refs/heads/transys","head":"d287bb8040f2f374b098e7fe53adfb836c757f02","before":"a44108a8681ba62fde1b2130b9eb8390f016caba","commits":[{"sha":"c9232e328732ff4c664329f86f2a2098ae8ebcd8","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"use g.succ.get for networkx digraphs\n\nto handle any node u, motivated by the implementation of networkx.DiGraph.has_successor","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/c9232e328732ff4c664329f86f2a2098ae8ebcd8"},{"sha":"6c4245fb7d0abe3a6111b150c910c75621621517","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"improve MealyMachine.to_pydot\n\n- label nodes with indices\n- allow filtering edge labels by a given subset of ports\n- guard against errors due to empty string as label","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/6c4245fb7d0abe3a6111b150c910c75621621517"},{"sha":"d99fc27976ae44771ca2fc817711491c17cc9046","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"check emptiness of graph passed as synthesized strategy\n\nbecause `slugs` synthesizes an empty graph as a strategy for some trivially realizable problems (for those where the environment has an empty set of initial conditions).","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/d99fc27976ae44771ca2fc817711491c17cc9046"},{"sha":"d0f5e28a3b5eb2630b4b89a9321f5b0bae31f7ef","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"drop redundant duck check, because now asserted earlier","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/d0f5e28a3b5eb2630b4b89a9321f5b0bae31f7ef"},{"sha":"a2864d9a2110a57926ffd1d0306913b4e136b687","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"refactor: reduce nesting","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/a2864d9a2110a57926ffd1d0306913b4e136b687"},{"sha":"a08dd5ef4bc54d1c64176c4ca15d00b945e578c7","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"test handling of initial conditions in `synth.strategy2mealy`","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/a08dd5ef4bc54d1c64176c4ca15d00b945e578c7"},{"sha":"2aa75e58c8511e9f2a2ebabc82614937cdb04698","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"rm identity assignment","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/2aa75e58c8511e9f2a2ebabc82614937cdb04698"},{"sha":"e9b560130ba8a2d7c9fff5b1162876dc8f71ef6a","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"improve and update docstrings in `synth`\nConflicts:\n\ttulip/synth.py","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/e9b560130ba8a2d7c9fff5b1162876dc8f71ef6a"},{"sha":"626ae51adf799a546d626a50de56c0bfeffb25a2","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"return only domain from `_iter2var`\n\nbecause assignments are formatted in `_assign`","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/626ae51adf799a546d626a50de56c0bfeffb25a2"},{"sha":"20f57672dcdbca8a65bbca46fc190da770ddfc9f","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"fix typo: iteritems","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/20f57672dcdbca8a65bbca46fc190da770ddfc9f"},{"sha":"af85d8884154debfce034b8717457b828038f3f7","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"clean up priming of variables in `synth`\n\n- add `receptive` option to `sys_to_spec`\n- add more parentheses to protect wrt operator precedence\n- change order of `sys_to_spec` args\n- use `_assign`, instead of \"node_ids\" to form the initial conditions\n- add functions: `_prime_dict`, `_prime`, so that priming happen at a single place\n- don't check for primed sys vars during conversion of graph to logic: that is irrelevant, so should not be constrained. If using GR(1), then it becomes relevant later in spec, and is ensured by a syntactic check.\n- add case in function `_to_action` that handles \"formula\" attr\n- rm convention about specific form of priming from `_to_action`. This is determined only in `_prime`. Instead, just check whether the attribute corresponds to a variable name. So the task is shifted to extending the `dict` of variables to include also their primed counterparts. This change significantly simplifies `_to_action`.","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/af85d8884154debfce034b8717457b828038f3f7"},{"sha":"2c9edb47bd9ca841e16fab206a222b07d6fddaa4","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"fix remnant typo","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/2c9edb47bd9ca841e16fab206a222b07d6fddaa4"},{"sha":"b91c50bcb490560a7bd3394e45be04cd1af9f90b","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"BUG: don't prepend with superfluous \"X\" the postcondition\n\nbecause assignment to primed variables has already primed them, and edges are annotated with actions, so formulae that already contain priming.","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/b91c50bcb490560a7bd3394e45be04cd1af9f90b"},{"sha":"47bfb4ce488d5c5dbb58cb21afd5709918eb6c53","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"BUG: use equivalence to represent assignment to propositional var\n\nnote: an alternative is to negate the variable. Replace with that in the future.","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/47bfb4ce488d5c5dbb58cb21afd5709918eb6c53"},{"sha":"b8c59452858e32a499e42bbccfa2d1581bf0b3b4","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"raise `NotImplementedError` for defunct function: `build_dependent_var_table`","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/b8c59452858e32a499e42bbccfa2d1581bf0b3b4"},{"sha":"d287bb8040f2f374b098e7fe53adfb836c757f02","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"check for optional dependencies in `abstract.__init__`","distinct":true,"url":"https://api.github.com/repos/johnyf/tulip-control/commits/d287bb8040f2f374b098e7fe53adfb836c757f02"}]}