GitHub PushEvent at 2014-05-05 21:19:41
Repository: Jalangi-Berkeley
Actor: michaelpradel
Payload: {"shas":[["b7c33a37b59f2a8759f1db8b284cb1aa45442e9e","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@binaervarianz.de","more tests for inconsistent type analysis in call frames","Michael Pradel",true],["81e64dfa38714c31ef322e0332502777f1edbf09","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@binaervarianz.de","more tests for inconsistent type analysis in call frames","Michael Pradel",true],["d0766bb02dbe6a16885f54b09076994582a75cb8","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@binaervarianz.de","added support for finding inconsistent uses of global variables","Michael Pradel",true],["a15cfb4a69d12381380383ac1e02fd99eb13ad5c","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@binaervarianz.de","don't report two types as inconsistent if they are structural subtypes","Michael Pradel",true]],"size":4,"ref":"refs/heads/master","head":"a15cfb4a69d12381380383ac1e02fd99eb13ad5c"}