{"push_id":1495319396,"size":692,"distinct_size":0,"ref":"refs/heads/master","head":"11f3140ddab925108d33c6f8570d487e8d1a912c","before":"d9583bb0e07744f685cc30282647705c642ea27d","commits":[{"sha":"5cbc807b4ee5197cf8ef28437f3a691bd98f0a09","author":{"name":"Tom van Dijk","email":"55bc7b18e460d0d077310393ffbc002e6fe4eaec@tvandijk.nl"},"message":"vset_sylvan: suppress reorder ignore warnings","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/5cbc807b4ee5197cf8ef28437f3a691bd98f0a09"},{"sha":"59b5df1df7e10aec8f6ee350fba60c6db9e1c0f3","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"examples: fix Makefile when building from subdirectory","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/59b5df1df7e10aec8f6ee350fba60c6db9e1c0f3"},{"sha":"e4cbc9c3c9db39597772a65908d922f50cd9ef5b","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"pins2lts-sym: rename init_action() to init_action_detection()","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/e4cbc9c3c9db39597772a65908d922f50cd9ef5b"},{"sha":"d65ec3be13834ddd3e15922d1e05a0911a91426d","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"pins2lts-sym: also initialise act_label and action_typeno when not detecting actions","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/d65ec3be13834ddd3e15922d1e05a0911a91426d"},{"sha":"eda07ce8abb0aaa3ed22452bfd1faf6106f09fee","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"pins2lts-sym: fix correct size of 'labels' array","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/eda07ce8abb0aaa3ed22452bfd1faf6106f09fee"},{"sha":"87d274a157543f98059ac85b183ebf0b9fd95574","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"mcrl2: macro MCRL2_ATERMPP_INIT is deprecated and scheduled to be removed from mcrl2","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/87d274a157543f98059ac85b183ebf0b9fd95574"},{"sha":"0ec38f082a18fc34a13884543005d77fc450ac44","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"mcrl2: rewrite argument parsing, no longer use --mcrl2 but --mcrl2-rewriter and --mcrl2-verbosity","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/0ec38f082a18fc34a13884543005d77fc450ac44"},{"sha":"367e4121e1c5a55ae4c5a5bae67bd843ea25c427","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"vset: don't project already projected states.","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/367e4121e1c5a55ae4c5a5bae67bd843ea25c427"},{"sha":"474fe0560d3dc6da9cbadf45862f6671942b7476","author":{"name":"Tom van Dijk","email":"55bc7b18e460d0d077310393ffbc002e6fe4eaec@tvandijk.nl"},"message":"sylvan: updated to HEAD to include optional program stack checker (enabled by defining LACE_DEBUG_PROGRAMSTACK to 1) and remove some autoconf generated files","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/474fe0560d3dc6da9cbadf45862f6671942b7476"},{"sha":"50731027d3c133d574803faef437176cd1a0f5c2","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan/lddmc: support resizing of nodes table on >50% usage during garbage collection","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/50731027d3c133d574803faef437176cd1a0f5c2"},{"sha":"b61ad8314239d002c687c99effe2104d5e391fc6","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan submodule: remove generated Makefile.in","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/b61ad8314239d002c687c99effe2104d5e391fc6"},{"sha":"66c949696c173b1deda352c0db883fe931ac5c8e","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan/lddmc: now extra parameter --sylvan-max-tablesize or --lddmc-maxsize determine maximum size of resizable nodes table","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/66c949696c173b1deda352c0db883fe931ac5c8e"},{"sha":"627bfe928822cc0638985e5969698127c0c8ca62","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: update with minor changes, plus bugfix in garbage collection","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/627bfe928822cc0638985e5969698127c0c8ca62"},{"sha":"adfd96bcd5aafe02e6ab9e09226d1a145b25a35e","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: new functionality in lddmc: visit and relprod_union; rename lddmc_value to lddmc_getvalue","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/adfd96bcd5aafe02e6ab9e09226d1a145b25a35e"},{"sha":"211839fa5de0cd34e6cb260a4688f0111799a467","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: update of Lace","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/211839fa5de0cd34e6cb260a4688f0111799a467"},{"sha":"a0fb3417bdf49347f0fb028795167f8f72fc9e3e","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: refactor initialization","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/a0fb3417bdf49347f0fb028795167f8f72fc9e3e"},{"sha":"2989e067807ab0e65692a6abdc821e70768590a3","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: garbage collection now parallel, and update to Lace modifies callback API","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/2989e067807ab0e65692a6abdc821e70768590a3"},{"sha":"4d9ad82c918cb8bb29611c86e9b539cf6b4da3b6","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: change init_package API, major rewrite of llmsset for more parallelism","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/4d9ad82c918cb8bb29611c86e9b539cf6b4da3b6"},{"sha":"e4f6a283289a48c7cb7a68f5f920d4f6b8b79918","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: added sylvan_and_exists, and several minor updates","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/e4f6a283289a48c7cb7a68f5f920d4f6b8b79918"},{"sha":"1ee21fc7c1bd394cafa142fb72d29b15f73f5d35","author":{"name":"Tom van Dijk","email":"71760bb5a425487ae63b8627a60186011a12b5f6@utwente.nl"},"message":"sylvan: rename relprod functions, Lace no longer required NUMA but optional hwloc library, many small changes","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/1ee21fc7c1bd394cafa142fb72d29b15f73f5d35"}]}
{"actor":{"display_login":"Meijuh"}}