{"push_id":914021468,"size":1000,"distinct_size":10017,"ref":"refs/heads/master","head":"fae3391e8e0b1354fce8c33003bf48cc35b2f749","before":"386f2ea0c73f830d3691cf6abe53bcac13f36148","commits":[{"sha":"9cf542a0ada61a2b2d52a93bdb6f41682e5ead53","author":{"email":"3a7b78398f5afdb7065260369419267b4779cafa@kestrel.edu","name":"Eddy Westbrook"},"message":"added the \"club\" example (thanks to Fitzpatrick for the idea)\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9100 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/9cf542a0ada61a2b2d52a93bdb6f41682e5ead53"},{"sha":"1a325ec4d8d047fbc9e1ceca0f27656980673d60","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Rename size_over_set_delete -> size_of_delete.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9101 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/1a325ec4d8d047fbc9e1ceca0f27656980673d60"},{"sha":"0f4b184586776729b6a8f25c90a7e7c6967e65cb","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Rename size_over_set_delete -> size_of_delete.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9102 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/0f4b184586776729b6a8f25c90a7e7c6967e65cb"},{"sha":"e7c227035fb6391debcd7c5af39be4182999a69c","author":{"email":"3a7b78398f5afdb7065260369419267b4779cafa@kestrel.edu","name":"Eddy Westbrook"},"message":"changed \"club\" example to \"company\"\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9103 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/e7c227035fb6391debcd7c5af39be4182999a69c"},{"sha":"c865bce7e81bea630d1ad578a69dca6d05fe7196","author":{"email":"2d21c9d90c26d1fc1586172c3b65afccb25e9adb@kestrel.edu","name":"Stephen Westfold"},"message":"Fix type matching in higher-order matcher. A type variable is bound to the least supertype of all the types it is matched against.\n\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9104 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/c865bce7e81bea630d1ad578a69dca6d05fe7196"},{"sha":"334a0ce9949e7b9124586d5ee34cca17187adb74","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Add first draft of divide and conquer algorithm theory.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9105 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/334a0ce9949e7b9124586d5ee34cca17187adb74"},{"sha":"ecc8dfad32e05b63788b79d2b49f3d3452032a02","author":{"email":"3a7b78398f5afdb7065260369419267b4779cafa@kestrel.edu","name":"Eddy Westbrook"},"message":"added a \"name\" observer\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9106 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/ecc8dfad32e05b63788b79d2b49f3d3452032a02"},{"sha":"9d379cbdba67759944a4d6b12be85a2a2e3c44da","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Prove termination and correctness of divide and conquer algorithm.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9107 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/9d379cbdba67759944a4d6b12be85a2a2e3c44da"},{"sha":"8567e4bba4a0c3e4c873957ab01d47a181490724","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Add simple spec for predicates.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9108 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/8567e4bba4a0c3e4c873957ab01d47a181490724"},{"sha":"d24b3ef6ded7813f8d9902557c12c7ad69a89f2a","author":{"email":"2ba6488ba43ef2d4c0478d9e74fbbffb1c69e719@kestrel.edu","name":"Eric McCarthy"},"message":"improve handling of undefined values in vectors\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9109 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/d24b3ef6ded7813f8d9902557c12c7ad69a89f2a"},{"sha":"459872df8702bb27249b3f2667f30de140cb6da2","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Add a couple of comments.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9110 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/459872df8702bb27249b3f2667f30de140cb6da2"},{"sha":"8ee99328343cd696e82349f0165f66f1fb0a1fcb","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Pull out deleteOne helper function to top level.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9111 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/8ee99328343cd696e82349f0165f66f1fb0a1fcb"},{"sha":"ab5578a170141e8a87ebdb7ffb5e54156be1962e","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Add MergeSort example (several sorrys left to handle).\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9112 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/ab5578a170141e8a87ebdb7ffb5e54156be1962e"},{"sha":"eb6dc97b52c5b8f1fb2dd84699250d89f92af8d0","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Avoid use of double tilde for now.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9113 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/eb6dc97b52c5b8f1fb2dd84699250d89f92af8d0"},{"sha":"b73f61d352f96f9ba5cf8ad925f9f3c0acc8514c","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Fix proofs.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9114 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/b73f61d352f96f9ba5cf8ad925f9f3c0acc8514c"},{"sha":"0ca5cccc8d99b20fb386da26fdfb2d45152377b1","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Fix MergeSort proofs (still some sorrys left).\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9115 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/0ca5cccc8d99b20fb386da26fdfb2d45152377b1"},{"sha":"d25deea45c460b8f60216d245e16e3743a28255b","author":{"email":"50bc9f8e26ab3549b9fedb096b0f05665e89867a@kestrel.edu","name":"Eric Smith"},"message":"Export SPECWARE4 environment variable.\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9116 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/d25deea45c460b8f60216d245e16e3743a28255b"},{"sha":"58e2d1e356e7feef75cd9ff3c7689f03b0af4dd1","author":{"email":"3a7b78398f5afdb7065260369419267b4779cafa@kestrel.edu","name":"Eddy Westbrook"},"message":"fixed up one of Eric's comments :P\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9117 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/58e2d1e356e7feef75cd9ff3c7689f03b0af4dd1"},{"sha":"a92d9275528441a0ed21cf77eb72021c494dbf44","author":{"email":"3a7b78398f5afdb7065260369419267b4779cafa@kestrel.edu","name":"Eddy Westbrook"},"message":"added a Company2a step in the Company derivation that imports Company instead of Company1, as the latter currently crashes gen-obligs...\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9118 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/a92d9275528441a0ed21cf77eb72021c494dbf44"},{"sha":"f4f6c21ab6a42dbd0eacf85ab9f25f94c0e7f505","author":{"email":"3a7b78398f5afdb7065260369419267b4779cafa@kestrel.edu","name":"Eddy Westbrook"},"message":"whoops, forgot to add proof for L2S_delete\n\ngit-svn-id: svn+ssh://svn.kestrel.edu/Specware/trunk@9119 7b97033b-253e-4a5c-9b07-e25f9089a9fd","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/Specware/commits/f4f6c21ab6a42dbd0eacf85ab9f25f94c0e7f505"}]}