GitHub PushEvent at 2014-05-29 07:00:40
Repository: inspector-strategies
Actor: mn200
Payload: {"shas":[["2288072be90fe7cbbb1103dd6cefc11707858ed9","dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au","More algebra for action-graph merging.\n\nFor example, merging is associative, and if the graphs are suitably\n\"apart\" (non-touching and with disjoint ids for nodes), then\ncommutative too.","Michael Norrish",true],["3cb97f3a3e3294f634a7454ce0cebcfc676e82e4","dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au","Get graphOf to halfway reasonable state prior to radical rework.\n\nIn particular, I now think that it's impossible to get the graph\nframework to cope with the difference between local and global scopes\nand, worse, nested local scopes. So, instead I'll assume one memory\nmap, and rely on higher levels to translate variable names apart from\none another.\n\nThe initialisation of local variables in for- and par- loop iterations\ncan be explicitly done with assignments that are generated by the\nsemantics as it executes.","Michael Norrish",true]],"size":2,"ref":"refs/heads/master","head":"3cb97f3a3e3294f634a7454ce0cebcfc676e82e4"}