{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":143214193,"defaultBranch":"master","name":"avr","ownerLogin":"aman-goel","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-08-01T22:21:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22667198?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1642392183.0097432","currentOid":""},"activityList":{"items":[{"before":"c4e29d86c56a6bb4772236165d74165933b1d443","after":"f145cbccd9c90f1b263f6f02fac938e9d0e07ad5","ref":"refs/heads/master","pushedAt":"2024-02-25T00:44:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Minor correction","shortMessageHtmlLink":"Minor correction"}},{"before":"f5238a31f7a0aba1c6c2505940d23e6e7f2880b0","after":"c4e29d86c56a6bb4772236165d74165933b1d443","ref":"refs/heads/master","pushedAt":"2024-02-24T22:26:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Avoid copying input directory for yosys for includes in verilog frontend\n\nInstead, passing include directory to yosys for searching includes in verilog","shortMessageHtmlLink":"Avoid copying input directory for yosys for includes in verilog frontend"}},{"before":"3fd6834659df7d0a5de2c425253b58367da7f250","after":"f5238a31f7a0aba1c6c2505940d23e6e7f2880b0","ref":"refs/heads/master","pushedAt":"2024-02-24T21:04:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Use Y2 backend for all abstract queries\n\nSet Yices as the backend for all abstract queries\n\nNote that bt and m5 backends for abstract queries were only experimental (disabled)\n\nNow flags BACKEND_* only configures bitvector solver\n\nRefs: #15, #16","shortMessageHtmlLink":"Use Y2 backend for all abstract queries"}},{"before":"fbbfaa1eea8697bb794af9aedb2e0005814851b5","after":"3fd6834659df7d0a5de2c425253b58367da7f250","ref":"refs/heads/master","pushedAt":"2024-02-24T20:35:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Check for non-constant bv rotate btor2 frontend\n\nCorrect y2 rotate by fixed amount\n\nRefer #10","shortMessageHtmlLink":"Check for non-constant bv rotate btor2 frontend"}},{"before":"2b526eb0d5a79d681f35ddde35a4ad76f024046b","after":"fbbfaa1eea8697bb794af9aedb2e0005814851b5","ref":"refs/heads/master","pushedAt":"2024-02-24T20:33:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Change CI to ubuntu 20.04","shortMessageHtmlLink":"Change CI to ubuntu 20.04"}},{"before":"63b95c034a7717e3bcf7b6a711afbdd822fb384d","after":"2b526eb0d5a79d681f35ddde35a4ad76f024046b","ref":"refs/heads/master","pushedAt":"2024-02-24T16:43:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Add workflow status badge","shortMessageHtmlLink":"Add workflow status badge"}},{"before":"279c298622a34d028e051b8eb469e1fa64dacf87","after":"63b95c034a7717e3bcf7b6a711afbdd822fb384d","ref":"refs/heads/master","pushedAt":"2024-02-24T16:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Use gcc instead of clang for Yosys install\n\nRun build workflow on all push/pull","shortMessageHtmlLink":"Use gcc instead of clang for Yosys install"}},{"before":"b4a9ec0fd39462cae8ccde3b97dfd5742fe41587","after":"279c298622a34d028e051b8eb469e1fa64dacf87","ref":"refs/heads/master","pushedAt":"2024-02-24T16:23:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Experimenting with building yosys as dependency","shortMessageHtmlLink":"Experimenting with building yosys as dependency"}},{"before":"3eaa376e66df496348803da32e4c5ea1fbafb755","after":"b4a9ec0fd39462cae8ccde3b97dfd5742fe41587","ref":"refs/heads/master","pushedAt":"2024-02-24T13:50:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Correcting and improving building AVR and deps\n\nFixes #14\n\nFixes #13\n\nAdds experimental support for Centos/AL2 installation\n\nCorrects docker container name","shortMessageHtmlLink":"Correcting and improving building AVR and deps"}},{"before":"2d16b848ad085f3078046008b68bc3b78451f6bc","after":"3eaa376e66df496348803da32e4c5ea1fbafb755","ref":"refs/heads/master","pushedAt":"2024-02-24T13:35:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Added docker files","shortMessageHtmlLink":"Added docker files"}},{"before":"dbc3371abe7b284db61636fc2b5c60f2922d17d7","after":"2d16b848ad085f3078046008b68bc3b78451f6bc","ref":"refs/heads/master","pushedAt":"2024-02-23T02:40:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"Adds option --parse to just parse input (and skip verification)\n\nThis is useful to convert Verilog to BTOR2 or AIG via yosys","shortMessageHtmlLink":"Adds option --parse to just parse input (and skip verification)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEBD9CewA","startCursor":null,"endCursor":null}},"title":"Activity · aman-goel/avr"}