{"push_id":847413620,"size":16,"distinct_size":7,"ref":"refs/heads/command-prompt-v2","head":"e1939d1308cdd87a59c1229175daf7b862d8e0a3","before":"6d03a082d951b53bc91502044b6c469999b79155","commits":[{"sha":"de8677553255c9dc36288f1b3b0283180935e0c4","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Simplify the printing of overload resolution","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/de8677553255c9dc36288f1b3b0283180935e0c4"},{"sha":"632eaa8cb6c4f7322c73dda437866a8c08f72c0a","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Also wrap overloads with different amounts of arguments","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/632eaa8cb6c4f7322c73dda437866a8c08f72c0a"},{"sha":"cbaa7168f4148fb81430f12c3c193940ae9cff5a","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Add AstModification class","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/cbaa7168f4148fb81430f12c3c193940ae9cff5a"},{"sha":"29b3b282e4a86b4cb200ce88478ff6eaafaf47a1","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Add ifToWhile refactor script","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/29b3b282e4a86b4cb200ce88478ff6eaafaf47a1"},{"sha":"b696f2aada1ff942b97643366400ac16ba36f1db","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Fix a bug with undo stack\n\nThe ifToWhile.py script would fail after the following steps:\n-apply it to an if statement\n-undo with ctrl-z\n-apply again to same if statement\n\nthis was because setting the condition of the newly created while node\nwas not stored in the undo stack since it had no manager. Thus undoing\nwould leave the if-statement with a deleted condition.","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/b696f2aada1ff942b97643366400ac16ba36f1db"},{"sha":"9d21abcbaf513b90fee2119135a80e5839aaa816","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@gmail.com","name":"Dimitar Asenov"},"message":"Merge pull request #197 from lukedirtwalker/modifying_queries\n\nModifying queries","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/9d21abcbaf513b90fee2119135a80e5839aaa816"},{"sha":"97c9ca02e0b4aa9e839098c3131e6c6f16ab2644","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Include less stuff in header files","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/97c9ca02e0b4aa9e839098c3131e6c6f16ab2644"},{"sha":"82014d4b0deb5aee396976e5cd4bad7ad243f8a2","author":{"email":"92e80849efb1d855a71c67e3c1dd519b98d20f89@gmail.com","name":"Lukas Vogel"},"message":"Remove unused includes","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/82014d4b0deb5aee396976e5cd4bad7ad243f8a2"},{"sha":"dd173695b70f5f42102d852d68f551ff480d7e78","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@gmail.com","name":"Dimitar Asenov"},"message":"Merge pull request #198 from lukedirtwalker/fix_treemanager_includes\n\nFix treemanager includes","distinct":false,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/dd173695b70f5f42102d852d68f551ff480d7e78"},{"sha":"7a7d2ddc42d7b5ffee2e6e34cbb65e9c2b61ce1a","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Add a skeleton for the new command prompt implementation","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/7a7d2ddc42d7b5ffee2e6e34cbb65e9c2b61ce1a"},{"sha":"0a12bbe1322b1f01d0a59b01e702b77e3222a8e1","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Add a basic text field for the command prompt","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/0a12bbe1322b1f01d0a59b01e702b77e3222a8e1"},{"sha":"ca52484a0700a8da991966ef4e145bddd1e8bc85","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Add skeleton for command prompt mode support","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/ca52484a0700a8da991966ef4e145bddd1e8bc85"},{"sha":"29f79649d0dc84e0f5cd5616c8db9f0a1cca15f5","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Properly use initial command text","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/29f79649d0dc84e0f5cd5616c8db9f0a1cca15f5"},{"sha":"8d7939bd1a778b0cfef03622586682d99858f27c","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Use the new prompt in GenericHandler\n\nThis is a preliminary hack to allow testing.\nThe final integration should be more polished.","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/8d7939bd1a778b0cfef03622586682d99858f27c"},{"sha":"61ea8a35b0b7801becf00c8151c068711ef1fbd0","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@gmail.com","name":"Dimitar Asenov"},"message":"Improve the prompt interface and enable input selection","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/61ea8a35b0b7801becf00c8151c068711ef1fbd0"},{"sha":"e1939d1308cdd87a59c1229175daf7b862d8e0a3","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Complete the implementation of command prompt v2\n\n- The prompt is now used everywhere for commands.\n- The old prompt is removed.\n\nStill todo:\n- Renamings\n- Polish\n- Use the new prompt for queries\n- Use the new prompt for actions","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/e1939d1308cdd87a59c1229175daf7b862d8e0a3"}]}