GitHub PushEvent at 2014-01-31 11:56:41
Repository: predator
Actor: kdudka
Payload: {"shas":[["86df6eaf1da7b3e60854e6402250351d5cc1f631","2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com","sl/symseg: remove an unused broken inline fnc","Kamil Dudka",true],["573cd62d118c31e12a3d79a749ae0f531116d8cf","2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com","sl/symexec: avoid dropping SpliceOut trace node\n\n... when traversing a non-deterministic condition","Kamil Dudka",true],["7e0f77b7ac0a0b268f62838e34fa3fa350574e02","2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com","sl/symabstract: append SpliceOut trace nodes at single place\n\nInstead of creating a single trace node with len > 1, this will create\nmultiple trace nodes with len == 1 in order to improve tracking of obj\nID mapping.","Kamil Dudka",true],["591dc217edf835fa7af5252627353c6a480db524","2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com","sl/symabstract: track ID mapping better on segment removal\n\nSuggested by Lukas Holik.","Kamil Dudka",true]],"size":4,"ref":"refs/heads/master","head":"591dc217edf835fa7af5252627353c6a480db524"}