{"push_id":3127127168,"size":21,"distinct_size":21,"ref":"refs/heads/master","head":"3e92f93cc5c297a65292a52ca7af9a018ce18e63","before":"392753738a23ad83e605a7549b19c415f90faf6b","commits":[{"sha":"9bdbb2ab7215a6451a9b31d15edd1e96657439b6","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Ensure parser flags grammar changes when syntax processors are removed","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/9bdbb2ab7215a6451a9b31d15edd1e96657439b6"},{"sha":"05715b754fec72e563f7eba7111e8eac1431fc0a","author":{"name":"Michael Norrish","email":"dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au"},"message":"Merge branch 'master' into develop","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/05715b754fec72e563f7eba7111e8eac1431fc0a"},{"sha":"b35712d9592a7a51484d25a7a7056f96865cca4d","author":{"name":"James Shaker","email":"088031dd01809d2901a5a01f9794eef13f252533@gmail.com"},"message":"Added Boyer Moore substring search algorithm implementation (on lists and strings) to examples","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/b35712d9592a7a51484d25a7a7056f96865cca4d"},{"sha":"e00c7e372e58b718672cd78e0b8eb5347ac6c2b2","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Modify testutils.require_msg and derivatives to return values\n\nIt can be useful to get back the result of a passing test for use in\nfurther tests that build on that.\n\nKnock-on effects where it is now not possible to simply List.app such\nfunctions; they must now have their results explicitly ignored.","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/e00c7e372e58b718672cd78e0b8eb5347ac6c2b2"},{"sha":"e4833fbc2fae24548176b5bb0faca61d710f8083","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Put a bunch of arrows and blackboard characters into hol-unicode.el","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/e4833fbc2fae24548176b5bb0faca61d710f8083"},{"sha":"9ba85c4215aa0ad1c0eb3ab27d8fa48250e73550","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Merge remote-tracking branch 'origin/master' into develop","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/9ba85c4215aa0ad1c0eb3ab27d8fa48250e73550"},{"sha":"8255234b3dc188027fca90371c5fe3ba27460bc2","author":{"name":"James Shaker","email":"088031dd01809d2901a5a01f9794eef13f252533@gmail.com"},"message":"Updated a build sequence file to include boyer_moore","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/8255234b3dc188027fca90371c5fe3ba27460bc2"},{"sha":"f8f4272c4e6d3b29d1de79afc4ed43222aa089c7","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Ignore result of require_msg (as now required) in miller selftest","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/f8f4272c4e6d3b29d1de79afc4ed43222aa089c7"},{"sha":"56a8aae3ce0db2d2c31073631f02b239abf732b7","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Failing test case for parsing listspec as suffix","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/56a8aae3ce0db2d2c31073631f02b239abf732b7"},{"sha":"dc2b46263dc670887ed9b7dd16f060c01ae89820","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Tests and fixes for proper handling of suffix list-forms","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/dc2b46263dc670887ed9b7dd16f060c01ae89820"},{"sha":"ab2c9d3b810d00b3d769a6f5a9e5c1defbcae914","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"First steps towards parsing f ⦇ d1 ↦ r1; d2 ↦ r2 ⦈ for fn. UPDATE\n\nThe ASCII version of the same is f (| d1 |-> r1; d2 |-> r2 |) and of\ncourse, the old (d1 =+ r1) ((d2 =+ r2) f) can also be used.\n\nThe pick of ⦇ ... ⦈ precludes using the same parentheses for\ns-expressions in the example of the same name (hence the changes in\nthat example). The use of (| |) means that (||) no longer parses as\nparen-escaping the || operator (hence the change to wordsScript.sml).\n\nPretty-printing still to be done.","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/ab2c9d3b810d00b3d769a6f5a9e5c1defbcae914"},{"sha":"46eb6725089d19b2e211cd0b850a5dd2ec854abb","author":{"name":"James Shaker","email":"088031dd01809d2901a5a01f9794eef13f252533@gmail.com"},"message":"Removed trailing whitespace","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/46eb6725089d19b2e211cd0b850a5dd2ec854abb"},{"sha":"bd5dac2d1711c0c2c3b55707effe080e70386b0f","author":{"name":"James Shaker","email":"088031dd01809d2901a5a01f9794eef13f252533@gmail.com"},"message":"Added more compile time for boyer_moore","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/bd5dac2d1711c0c2c3b55707effe080e70386b0f"},{"sha":"28b6cd105e043faec07da7faee2a651168823431","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Remove (| |) syntax in category theory example\n\nDescendants of this theory might still use the Unicode version with\nthe lense parenthesis (⦇ ... ⦈), but the ASCII syntax was clashing\npainfully with a custom syntax in this development that used vertical\nbars, and was enclosed in parenthesis quite frequently.  The lexer\nthen saw the end of that syntax |) as one token, rather than two.","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/28b6cd105e043faec07da7faee2a651168823431"},{"sha":"782dc48004f0e188e3671d0d364085d09032ae03","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Pretty-print the new fn-update syntax (e.g., f⦇k ↦ v; x ↦ y⦈)\n\nWith a selftest.\n\nThis is the function half of github issue #616.\n\nFinite maps still to come.","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/782dc48004f0e188e3671d0d364085d09032ae03"},{"sha":"8002bb28d0e5fee429f934f6d3ba81bb8f308a11","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Change hol-mode for Emacs to know about Theorem keyword\n\nIn particular, it needs to know that an open declaration can be\nterminated by the new Theorem keyword.","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/8002bb28d0e5fee429f934f6d3ba81bb8f308a11"},{"sha":"ca01207ef77f17645ba5932b0a98afa807ac152d","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Fix minor problem caused by change to fn-update syntax\n\nAs of 782dc4800, the =+ identifier is no longer an overload for\nUPDATE; it is instead an infix identifier that lives solely at the\nconcrete syntax level. After concrete syntax is removed (e.g., by\nAbsyn), the rest of the parsing process sees only the name UPDATE from\nthat point onwards. That makes a nonsense of $=+.  Instead, users\nwanting to refer to the bare constant name need to write UPDATE.","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/ca01207ef77f17645ba5932b0a98afa807ac152d"},{"sha":"3df3274a206472a9bc96a5b4785aa07e6ee519f8","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Document new function update syntax in Description manual","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/3df3274a206472a9bc96a5b4785aa07e6ee519f8"},{"sha":"5e4369a4a208507b43df4343e08b5fca51872a25","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Slightly extend documentation of fn-update syntax with more example","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/5e4369a4a208507b43df4343e08b5fca51872a25"},{"sha":"0a19151c27f225cdfd20d70138d4fe7b520ec2f1","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Merge pull request 625 (\"Boyer Moore\") into develop","distinct":true,"url":"https://api.github.com/repos/SEL4PROJ/HOL/commits/0a19151c27f225cdfd20d70138d4fe7b520ec2f1"}]}
{"actor":{"display_login":"ssrg-bamboo"}}