GitHub PushEvent at 2014-07-19 03:54:40
Repository: exm-stc
Actor: timarmstrong
Payload: {"shas":[["f45e94950cc0d9ca58c7920e6ff577ae8b4c8650","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Fix erroneous double-assign detected in test 307\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9317 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["7085ae11918863fb0fba811dfdc0c58fa058fc20","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Revert bad change for 307 failure.  Partially implement more accurate double assigntracking\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9318 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["57ee1082ddc85d28c38e7929d3b079773e13b40e","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Modify to account for fact that files aren't referentially transparent as far as filenames go\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9319 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["cf3e457a7642da0d65496ee9752ee4bcf83ecf0f","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Fix assertion error when marking contradictions\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9320 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["b18343c9fb4b0060a0d5588bf53a1a85f7ecfa4a","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Avoid unnecessary tracking\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9321 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["3b5ab8684ef8746617151f5c1d23af13fe7680bd","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Improve resolution of loading references to array members by moving to congruence sets\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9322 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["dbef20d0175e8149080a0451a3c215220ff7b1cb","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Simplify congruences by removing idea of ComputedValues inside of ComputedValues\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9323 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["1faed6e45c293892f8bcabac23bf7b1e00b38e58","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Reduce output\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9324 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["0651fdd52adde838d64b41fc2aaddd39aecb1635","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Notes on fixing test 561\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9325 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["ba069f1a69d94e7685f465cb3730bf6815a53ad7","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com"," Fix double-write analysis and propagation of contradiction info for arrays, enable tests.\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9326 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["f6877ba902f53132f1f9927842dff3d7a488b6c8","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Refactor to rename optimisation pass\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9327 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["0d88e728c2b16546ca58962d60e9f20bb1b8c6de","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Avoid substituting mapped variables to fix test 561\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9328 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["1901f184afa8c0d5b2ee0602300c365a9675ef62","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Fix assert checking closedness at wrong point in program\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9329 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["9a7be8b441c1ef9eed78d431d1bb1ae760ee4f88","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Fix assertion error in 119.  Simplify congruent sets by only tracking components of ArgCV\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9330 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["70c499d9310b7b263ed9db334f6db54ada4ee350","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Avoid ConcurrentModificationException\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9331 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["e3e4aae4be0036536ae023895ccb3a425cd0557b","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Use sets for components rather than lists\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9332 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["c7699c5b7f636d613a2e1b14dda9e07244fc3b99","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Fix infinite loop due to reprocessing changes unnecessarily.\nThis gets all tests passing again.\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9333 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["65bf455b18e349b25fa131c7831679bb007fa438","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Simplify optimisation by just aborting optimization of function when bad code found\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9334 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["e5a9b88767e125436ed7259e83182cc76a679ec5","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Fix erroneous assert with global constants\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9335 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true],["2bd4debac5bb257861c0539b92bd146ef23bffad","06ac24639ede449eb4c2fc702fe1208f49ed6f89@gmail.com","Speedup opt by avoiding buidling strings\n\ngit-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9336 dc4e9af1-7f46-4ead-bba6-71afc04862de","Tim Armstrong",true]],"size":1000,"ref":"refs/heads/master","head":"7442e110fee1468d6f577cee9090258f630223b3"}