{"push_id":630437269,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"42b610f825b9ddae19049331f5f4f563dc419fd8","before":"3c9ebf0969ebc8ed8a489320ea9e2580ab6d9a6d","commits":[{"sha":"a96ecbb83ae9b2d7f89b151baa599c0d0208f7b3","author":{"email":"6f2ce6ed40154e9b0d21ef21054d83d8f254a84e@outlook.com","name":"Sebastian Godelet"},"message":"Major rewrite of the Vim syntax file and plugin\n\nThis patch is a major rewrite of the Vim syntax file\n(vim/syntax/mercury.vim), supporting following (optional) features:\n - highlighting of foreign code, including all doubly escaped characters\n   such as \"\" or \\\\\" in strings, etc.\n - recognising \\uXXXX \\OOO\\ and formatting specifiers in Mercury strings\n - concealing of certain operators and infix functions such as /\\,\n   the `compose` function from std_util,\n   and set-calculus related operators (`union`, ...)\n - supporting markup within comments, i.e. as function headers, `  ',\n   ``'', URIs and Mercury file names, TODO, NOTE, XXX and so on.\n - support underlining of local variables within function or predicate\n   bodies, which is a feature found in SWI-Prolog.\n   Additionally one can use <C-K>r and <C-K>R to rename the underlined\n   variable.\n - improved speed due to better overlong line detection and a sync on\n   Mercury line comments '%-----' instead of sync start, which is\n   noticeable for large files such as io.m.\n - Different way of supporting transparent comment highlighting, such\n   that spell checking works only on comments in both fully highlighted\n   and partially highlighted comments, this works best if comment\n   markup is enables (see above).\n   Without this, spell checking would have to be enabled for Mercury\n   code as well which Vim is not good at.\n - Improved folding support if no user defined setting is in place\n - Matching parenthesis detection (here meaning (),[],{}) and marking\n   unbalanced parens as err\n - highlighting of spurious whitespace for better patch management.\n\nvim/.gitignore:\n    Ignore mercury.vba file.\n\nvim/Makefile:\n    A makefile to create a Vimball (.vba) and install that.\n\nvim/README:\n    Moved installation instructions to vim/doc/mercury.txt and point to\n    that file.\n\nvim/doc/mercury.txt:\n    Moved the documentation part from mercury.vim to a Vim documentation\n    file.\n\nvim/ftplugin/mercury.vim:\n    Adds highlighting and renaming of currently selected variables,\n    and enables ftplugin/mercuryhdr.sh on Windows.\n\nvim/ftplugin/mercuryhdr.sh:\n    Adhere to Mercury coding standards.\n\nvim/syntax/mercury.vim:\n    see above.","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/a96ecbb83ae9b2d7f89b151baa599c0d0208f7b3"},{"sha":"0f139b6175e78653b2a088aa52963267149a0fb8","author":{"email":"588a2d5d90bfb999e30a42749d0a50dbf1a4e701@opturion.com","name":"Julien Fischer"},"message":"Install deep profiling grades with stack segments by default.\n\nconfigure.ac:\n\tAs above.\n\ndoc/user_guide.texi:\n\tUpdate the section on the impacts of deep profiling: it does\n\tnot currently preserve tail recursion.\n\ncompiler/options.m:\n\tUpdate the comment describing why the --deep-profile-tail-recursion\n\toption is not enabled.","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/0f139b6175e78653b2a088aa52963267149a0fb8"},{"sha":"39bed7805e6ed5c4a28388ab37f76f25dba0b089","author":{"email":"588a2d5d90bfb999e30a42749d0a50dbf1a4e701@opturion.com","name":"Julien Fischer"},"message":"Improvements to mcov.\n\nslice/mcov.m:\n\tDo not include labels from the standard library in coverage reports by\n\tdefault.  Add a new command line option that can be used to force mcov\n\tto include these labels.\n\n\tXXX TODO: labels for opt_imported standard library procedures are still\n\tshowing up -- I will address this in a separate change.\n\n\tChange the usage message to use the same format that mmc and mprof\n\tuse.\n\n\tSet the exit status to a non-zero value if an error occurs.\n\n\tUse io.format in more places.\n\n\tReplace calls to error/1 with unexpected/3.\n\n\tAdd a new option, --flags-file, that allows options to be read\n\tfrom a file (as with the identically named mmc option).","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/39bed7805e6ed5c4a28388ab37f76f25dba0b089"},{"sha":"8c7559ebd3eccd3f6c373857d6e7e099f9d3171d","author":{"email":"588a2d5d90bfb999e30a42749d0a50dbf1a4e701@opturion.com","name":"Julien Fischer"},"message":"Fix spelling in networking library.\n\nextras/net/getaddrinfo.m:\nextras/net/netdb.m:\nextras/net/sockets.m:\nextras/net/types.m:\n\tAs above.","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/8c7559ebd3eccd3f6c373857d6e7e099f9d3171d"},{"sha":"6170339d8ecb811b0f56241c062344bb9b3ae0cb","author":{"email":"588a2d5d90bfb999e30a42749d0a50dbf1a4e701@opturion.com","name":"Julien Fischer"},"message":"Fix minor documentation problems.\n\nlibrary/set_ordlist.m:\n\tThe arguments in the descriptive comment for delete/3 were\n\tin the wrong order.\n\nvim/doc/mercury.txt:\n\tFix a typo: s/coneal/conceal/.","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/6170339d8ecb811b0f56241c062344bb9b3ae0cb"},{"sha":"e66457155ba7c61bec1317558630110443856509","author":{"email":"588a2d5d90bfb999e30a42749d0a50dbf1a4e701@opturion.com","name":"Julien Fischer"},"message":"Additional modes for folds over sparse_bitsets.\n\nlibrary/sparse_bitset.m:\nlibrary/fat_sparse_bitset.m:\n\tAdd modes for folds with unique and mostly-unique accumulators.\n\nlibrary/diet.m:\n\tFix some formatting.","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/e66457155ba7c61bec1317558630110443856509"},{"sha":"42b610f825b9ddae19049331f5f4f563dc419fd8","author":{"email":"a027184a55211cd23e3f3094f1fdc728df5e0500@bone.id.au","name":"Paul Bone"},"message":"[net] Add support for IPv6\n\nextras/net/types.m:\n    Add IPv6 support\n\nextras/net/test_lookups.m:\n    Conform to above change.","distinct":true,"url":"https://api.github.com/repos/PaulBone/mercury/commits/42b610f825b9ddae19049331f5f4f563dc419fd8"}]}