GitHub PushEvent at 2014-10-26 14:20:05
Repository: GP2
Actor: cbak
Payload: {"shas":[["623998a8eb56e1359e2f06a417255b5cad601955","37e30812e24b33f8f0843b8276a5cfe5c6bcdd4d@york.ac.uk","Update 60: Graph Data Structure Update\n\nReprogrammed the removal of nodes and edges from pointer arrays by\nimplementing a stack of indices signifying the holes in the array.\nThe invariants and invariant checker have been updated accordingly.\nThe graph data structure has been tested and some minor bugs fixed.\nIt is now stable.","Chris Bak",true]],"size":1,"ref":"refs/heads/dev","head":"623998a8eb56e1359e2f06a417255b5cad601955"}