{"push_id":3181458217,"size":38,"distinct_size":3,"ref":"refs/heads/json-xml-constructors","head":"64df79edce7dec4f6e0ea90363143f5202cb1c6d","before":"46d5ec2662b86cd3f22ab712315b4d65d0a2014e","commits":[{"sha":"e9ecbda1d1375c13a8355f23718ed628e140ede2","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Adding function-level comments","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/e9ecbda1d1375c13a8355f23718ed628e140ede2"},{"sha":"a27a8150d1e2319c464c6d251efbc6a211c09eeb","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Adding in section summarizing what's in the flattening folder","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/a27a8150d1e2319c464c6d251efbc6a211c09eeb"},{"sha":"7081be527ca904f342a111864916bc39f37af4d8","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"perf-test: Use Ubuntu 18.04 as build image\n\nThis avoids having to fetch a recent GCC version from some PPA. Also use\nAWS mirrors for faster download.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/7081be527ca904f342a111864916bc39f37af4d8"},{"sha":"66d6934f4e1a446d8cd391abacb780151f839155","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"perf-test: support Nitro-based instances\n\nThese instances report EBS volumes as NVME devices.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/66d6934f4e1a446d8cd391abacb780151f839155"},{"sha":"c37290f8e4c53694610c0bbf9a93b08012d6597f","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"perf-test: benchexec can use all NUMA nodes\n\nBenchexec limits itself to the memory on a single NUMA node if cores==1.\nJust permit use of all cores instead.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c37290f8e4c53694610c0bbf9a93b08012d6597f"},{"sha":"a8932733851ba763aacbec5fbb9eb9c424f9040d","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Standardise formatting of doxygen for out parameters\n\nUse \"[in,out]\" instead of \"[in/out]\" for in-and-out-parameters.\n\nMake sure \"[out]\" and \"[in,out]\" come between \"\\param\" and the\nparameter name.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/a8932733851ba763aacbec5fbb9eb9c424f9040d"},{"sha":"6ad6ec3384e7db9b25ca0b1d5c870163eed6866d","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Clarify doxygen format for in-out-parameters","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/6ad6ec3384e7db9b25ca0b1d5c870163eed6866d"},{"sha":"3ef2d929e6257234acb748a22cf7bb78f3b0dba7","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Fix \"\\param arg :\" in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/3ef2d929e6257234acb748a22cf7bb78f3b0dba7"},{"sha":"808d4ab4140b2a58025d5d4138366f737b6c8ee5","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Add colons after parameter name in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/808d4ab4140b2a58025d5d4138366f737b6c8ee5"},{"sha":"1ce0d8e9d98d3784f8e55539200aafdc25a37418","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Miscellaneous fixes to doxygen parameters","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/1ce0d8e9d98d3784f8e55539200aafdc25a37418"},{"sha":"97ac06e675eb31097f734ca225f265b6d2bed241","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Single space after \"\\return\" in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/97ac06e675eb31097f734ca225f265b6d2bed241"},{"sha":"0358d3eba1458ab102262e14753e3f29e189b915","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Only one space after \"\\param x:\" in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/0358d3eba1458ab102262e14753e3f29e189b915"},{"sha":"c66dd9209d39a364f74dc32662e6166ef20dc0e9","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Fix indentation in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c66dd9209d39a364f74dc32662e6166ef20dc0e9"},{"sha":"6684a7570295edb99d1c5d2f81bac292ea590a22","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Fix lines beginning with // instead of ///","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/6684a7570295edb99d1c5d2f81bac292ea590a22"},{"sha":"501f4a5516069bbf506e861af59b436d9d5f356d","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Remove extra lines between functions\n\nClang-format was complaining about them because the previous commit\nfixing indentation changed the function comments","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/501f4a5516069bbf506e861af59b436d9d5f356d"},{"sha":"22370b5a4771f8bfc9d7b0862d9bc011c17cd9ac","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Indent continuation lines after \\param and \\return in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/22370b5a4771f8bfc9d7b0862d9bc011c17cd9ac"},{"sha":"8811e9fc13202ec3c5b8473ead744044c874c75a","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Replace \\returns with \\return in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/8811e9fc13202ec3c5b8473ead744044c874c75a"},{"sha":"0ff504143d4fa38a5ac80cdde5733d7129f1aa44","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Remove colon after \\return in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/0ff504143d4fa38a5ac80cdde5733d7129f1aa44"},{"sha":"c973ddc799895abd3d3b2b769a61a9e12cf1b109","author":{"name":"Owen","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Do not use @param and @return in doxygen","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c973ddc799895abd3d3b2b769a61a9e12cf1b109"},{"sha":"720944c9825d866c518a993834b63d56c3803f69","author":{"name":"Owen Jones","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Remove undocumented parameters","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/720944c9825d866c518a993834b63d56c3803f69"}]}
{"actor":{"display_login":"tautschnig"}}