{"push_id":755023905,"size":1,"distinct_size":1,"ref":"refs/heads/entryPoint","head":"8ff9e3eb53b9f9e0f177195025ac461772981b56","before":"45b90ddc7d05bfdf857c5c6e4dc82a7b5e9a8d89","commits":[{"sha":"8ff9e3eb53b9f9e0f177195025ac461772981b56","author":{"email":"b62a2e079ca2623b2f787fc75f32c115495e498b@gmail.com","name":"Riccardo Schirone"},"message":"docs/options: add explanation of -entry-point option","distinct":true,"url":"https://api.github.com/repos/ret2libc/klee.github.io/commits/8ff9e3eb53b9f9e0f177195025ac461772981b56"}]}