{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":740870175,"defaultBranch":"main","name":"symbolic-execution-analysis","ownerLogin":"dynaroars","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-01-09T08:33:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/60983310?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1710632042.0","currentOid":""},"activityList":{"items":[{"before":"e0b8c509ce8752e2c3f824d3403b2c9f6879549e","after":"298531a38cfb41fdda9861432dbdac4fb3550002","ref":"refs/heads/main","pushedAt":"2024-05-21T07:35:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Part of ACAS Xu","shortMessageHtmlLink":"Part of ACAS Xu"}},{"before":"605b7d5ac6e5b28fc8bf53e9a732da709f8fcdfa","after":"e0b8c509ce8752e2c3f824d3403b2c9f6879549e","ref":"refs/heads/main","pushedAt":"2024-04-15T22:31:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Complete gurobi measure","shortMessageHtmlLink":"Complete gurobi measure"}},{"before":"92212cf4df0512bee011e3b0d350ec8015dac326","after":"605b7d5ac6e5b28fc8bf53e9a732da709f8fcdfa","ref":"refs/heads/main","pushedAt":"2024-04-15T20:25:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Read spec in gurobi","shortMessageHtmlLink":"Read spec in gurobi"}},{"before":"11978961856c88a072c0fe6ff78b6620887d1233","after":"92212cf4df0512bee011e3b0d350ec8015dac326","ref":"refs/heads/main","pushedAt":"2024-04-11T09:17:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"First attempt on Gurobi","shortMessageHtmlLink":"First attempt on Gurobi"}},{"before":"c5b29ccfdb34dd0f2e419b52d9b4cac19aca3aa5","after":"11978961856c88a072c0fe6ff78b6620887d1233","ref":"refs/heads/main","pushedAt":"2024-03-27T07:29:40.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Update timeout for cvc5","shortMessageHtmlLink":"Update timeout for cvc5"}},{"before":"a51848a6e9c211d8cf59de579596f40011eba5fa","after":"11978961856c88a072c0fe6ff78b6620887d1233","ref":"refs/heads/dreal","pushedAt":"2024-03-27T07:29:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Update timeout for cvc5","shortMessageHtmlLink":"Update timeout for cvc5"}},{"before":"88e5583e953b525c87d8b027bffb6d2a61282c3b","after":"a51848a6e9c211d8cf59de579596f40011eba5fa","ref":"refs/heads/dreal","pushedAt":"2024-03-21T10:56:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Add timeout and fix cvc5","shortMessageHtmlLink":"Add timeout and fix cvc5"}},{"before":"6bf516c29d4e1a4407fc2baa08e1a0f5a453a265","after":"88e5583e953b525c87d8b027bffb6d2a61282c3b","ref":"refs/heads/dreal","pushedAt":"2024-03-21T10:55:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Add timeout and fix cvc5","shortMessageHtmlLink":"Add timeout and fix cvc5"}},{"before":"2c179ae60ca54a1165ab4e4e68b7fff9f51eb314","after":"6bf516c29d4e1a4407fc2baa08e1a0f5a453a265","ref":"refs/heads/dreal","pushedAt":"2024-03-21T10:47:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Add timeout and fix cvc5.And","shortMessageHtmlLink":"Add timeout and fix cvc5.And"}},{"before":"0fa8124b9aa4315a57555b87d751b579c9429cf8","after":"2c179ae60ca54a1165ab4e4e68b7fff9f51eb314","ref":"refs/heads/dreal","pushedAt":"2024-03-17T23:37:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Add timeout","shortMessageHtmlLink":"Add timeout"}},{"before":null,"after":"0fa8124b9aa4315a57555b87d751b579c9429cf8","ref":"refs/heads/dreal","pushedAt":"2024-03-16T23:34:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"try dreal","shortMessageHtmlLink":"try dreal"}},{"before":"54f77d675b2eb78e1e1e3fe1f72d6558a0d8f0b9","after":"c5b29ccfdb34dd0f2e419b52d9b4cac19aca3aa5","ref":"refs/heads/main","pushedAt":"2024-03-16T23:22:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Simplify the code and add cvc5","shortMessageHtmlLink":"Simplify the code and add cvc5"}},{"before":"cf7183a78a3e56de74749a6be5de5f18aa19de7b","after":"54f77d675b2eb78e1e1e3fe1f72d6558a0d8f0b9","ref":"refs/heads/main","pushedAt":"2024-02-29T10:19:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"run with a complex DNN to check runtime","shortMessageHtmlLink":"run with a complex DNN to check runtime"}},{"before":"50ce14e7305be2532e383c5e608ebaba3cd4d0c2","after":"cf7183a78a3e56de74749a6be5de5f18aa19de7b","ref":"refs/heads/main","pushedAt":"2024-02-29T10:14:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"run with a complex DNN to check runtime","shortMessageHtmlLink":"run with a complex DNN to check runtime"}},{"before":"cc63a5b1208930294d46a7dbe8857d21629c3d5e","after":"50ce14e7305be2532e383c5e608ebaba3cd4d0c2","ref":"refs/heads/main","pushedAt":"2024-02-27T08:29:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"measure.py: run the same random DNN multiple times","shortMessageHtmlLink":"measure.py: run the same random DNN multiple times"}},{"before":"42ce0ac9c8ad50cebf62c51ef4d395cf78ed3a83","after":"cc63a5b1208930294d46a7dbe8857d21629c3d5e","ref":"refs/heads/main","pushedAt":"2024-02-27T08:26:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"measure.py: run the same random DNN multiple times","shortMessageHtmlLink":"measure.py: run the same random DNN multiple times"}},{"before":"60e4ee921d4e2a755ffcb87d1d49ab447bc083ab","after":"42ce0ac9c8ad50cebf62c51ef4d395cf78ed3a83","ref":"refs/heads/main","pushedAt":"2024-02-27T08:21:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"measure.py: run the same random DNN multiple times","shortMessageHtmlLink":"measure.py: run the same random DNN multiple times"}},{"before":"a13ddbf78953767fdf71f15a4064de457a4b7bc4","after":"60e4ee921d4e2a755ffcb87d1d49ab447bc083ab","ref":"refs/heads/main","pushedAt":"2024-02-15T09:24:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Run unsat only","shortMessageHtmlLink":"Run unsat only"}},{"before":"d9188de9cea5909b4ca69a912472c9dc581e5c4f","after":"a13ddbf78953767fdf71f15a4064de457a4b7bc4","ref":"refs/heads/main","pushedAt":"2024-02-01T10:32:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Update makeup data","shortMessageHtmlLink":"Update makeup data"}},{"before":"01372f6986e4eb97dd77e937443b3111d3e1b319","after":"d9188de9cea5909b4ca69a912472c9dc581e5c4f","ref":"refs/heads/main","pushedAt":"2024-02-01T10:27:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Break down ACAS Xu data to run","shortMessageHtmlLink":"Break down ACAS Xu data to run"}},{"before":"4bf297b2817a8e8846fa80accc6b5fccc5e20031","after":"01372f6986e4eb97dd77e937443b3111d3e1b319","ref":"refs/heads/main","pushedAt":"2024-01-23T20:37:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Add more complexity to measure.py","shortMessageHtmlLink":"Add more complexity to measure.py"}},{"before":"67bf54ed6842359a8709b4587b0007f911f9a0fb","after":"4bf297b2817a8e8846fa80accc6b5fccc5e20031","ref":"refs/heads/main","pushedAt":"2024-01-22T22:30:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Measure.py: Add timeout and update repititions","shortMessageHtmlLink":"Measure.py: Add timeout and update repititions"}},{"before":"a572e7c13160c6f9ce7e354ced07aff97c4467d1","after":"67bf54ed6842359a8709b4587b0007f911f9a0fb","ref":"refs/heads/main","pushedAt":"2024-01-16T11:06:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"measure.py: add more cases","shortMessageHtmlLink":"measure.py: add more cases"}},{"before":"f2efda17b8b645432fe0ddafb13e938b8231fedd","after":"a572e7c13160c6f9ce7e354ced07aff97c4467d1","ref":"refs/heads/main","pushedAt":"2024-01-16T02:25:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Add measure.py","shortMessageHtmlLink":"Add measure.py"}},{"before":"c6e916505e06a222efe3beae855b5b0c25d646e9","after":"f2efda17b8b645432fe0ddafb13e938b8231fedd","ref":"refs/heads/main","pushedAt":"2024-01-16T00:33:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Fix the second argument as variable","shortMessageHtmlLink":"Fix the second argument as variable"}},{"before":"5a316159fdca67d894a90b4f16c7f3aede1fb0a2","after":"c6e916505e06a222efe3beae855b5b0c25d646e9","ref":"refs/heads/main","pushedAt":"2024-01-16T00:28:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Read ACAS Xu .nnet and spec files","shortMessageHtmlLink":"Read ACAS Xu .nnet and spec files"}},{"before":null,"after":"5a316159fdca67d894a90b4f16c7f3aede1fb0a2","ref":"refs/heads/main","pushedAt":"2024-01-10T09:40:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hodangkhoinguyen","name":null,"path":"/hodangkhoinguyen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50374959?s=80&v=4"},"commit":{"message":"Init","shortMessageHtmlLink":"Init"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAET4wDJgA","startCursor":null,"endCursor":null}},"title":"Activity · dynaroars/symbolic-execution-analysis"}