GitHub PushEvent at 2014-03-13 01:27:28
Repository: kodkod
Actor: cpkleynhans
Payload: {"shas":[["6a828a9eb6c4c8ab348c822733728d09cecf1f9a","711c73f64afdce07b7e38039a96d2224209e9a6c@kleynhans.ca","Specify the order of the objectives explicitly.\n\nCurrently we just iterate over the sorted set. Now we will explicitly\npass in the order the objectives should be iterated over to each\npartition.","Christopher Kleynhans",false],["26007a74c0340e85f12e445dcde358dfb5b1f31e","711c73f64afdce07b7e38039a96d2224209e9a6c@kleynhans.ca","Addressing code review feedback.","Christopher Kleynhans",false],["81bdf92214ea3e14e9fcd1f55b4b3d95bb10c94e","711c73f64afdce07b7e38039a96d2224209e9a6c@kleynhans.ca","Merge pull request #56 from TeamAmalgam/fix-pgia-objective-order\n\nSpecify the order of the objectives explicitly.","Chris Kleynhans",true]],"size":3,"ref":"refs/heads/master","head":"81bdf92214ea3e14e9fcd1f55b4b3d95bb10c94e"}