{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":376724502,"defaultBranch":"main","name":"gasol-optimizer","ownerLogin":"costa-group","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-06-14T06:29:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21335849?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1708421239.0","currentOid":""},"activityList":{"items":[{"before":"365fe89d68a97cdeb7915f9d5c08c327b9d44f7c","after":"ab226665d256ec054727a31eaef3316fdf90a31a","ref":"refs/heads/optimization_options","pushedAt":"2024-04-25T15:59:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Missing statemenet","shortMessageHtmlLink":"Missing statemenet"}},{"before":"a678e8cd0176004ce5f1994899f004d69362cd2b","after":"365fe89d68a97cdeb7915f9d5c08c327b9d44f7c","ref":"refs/heads/optimization_options","pushedAt":"2024-04-25T15:57:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Options for new parameters","shortMessageHtmlLink":"Options for new parameters"}},{"before":"d5274bef370af95239b32f454f90fd089db75f42","after":"a678e8cd0176004ce5f1994899f004d69362cd2b","ref":"refs/heads/optimization_options","pushedAt":"2024-04-25T15:54:03.000Z","pushType":"push","commitsCount":66,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Merge branch 'smt_refactor' into optimization_options","shortMessageHtmlLink":"Merge branch 'smt_refactor' into optimization_options"}},{"before":"a8da23b44670129b7e1bde6186ed45dc5f11fb32","after":"d5274bef370af95239b32f454f90fd089db75f42","ref":"refs/heads/optimization_options","pushedAt":"2024-04-25T14:49:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Minor with partition","shortMessageHtmlLink":"Minor with partition"}},{"before":"73c317888b17becd1ec37bb079ef19bb003f85e3","after":"a8da23b44670129b7e1bde6186ed45dc5f11fb32","ref":"refs/heads/optimization_options","pushedAt":"2024-04-22T08:33:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Missing param in forves call","shortMessageHtmlLink":"Missing param in forves call"}},{"before":"a67130bd0db4b8a46f3e37fac967e6d76e407ce0","after":"73c317888b17becd1ec37bb079ef19bb003f85e3","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T15:59:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Ensure value field is a string","shortMessageHtmlLink":"Ensure value field is a string"}},{"before":"bb95f8b06c7d28081c0e80492e578c95bd609b94","after":"a67130bd0db4b8a46f3e37fac967e6d76e407ce0","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T15:06:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Minor arg in csv_from_asm_blocks","shortMessageHtmlLink":"Minor arg in csv_from_asm_blocks"}},{"before":"8a0782dad88509387c3742f5ef1f8a9495bf24a6","after":"bb95f8b06c7d28081c0e80492e578c95bd609b94","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T15:02:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Generate -asm-json file when single contract is specified","shortMessageHtmlLink":"Generate -asm-json file when single contract is specified"}},{"before":"18e0d53eb0eb871f91bb6993f91753872eb5406b","after":"8a0782dad88509387c3742f5ef1f8a9495bf24a6","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T14:51:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Minor rules","shortMessageHtmlLink":"Minor rules"}},{"before":"ac5164d10fd2ca17a296ab0c0ea5c6be773fb4a7","after":"18e0d53eb0eb871f91bb6993f91753872eb5406b","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T14:49:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Minor rule application","shortMessageHtmlLink":"Minor rule application"}},{"before":"04d1efbaff0bc3aa2a1448688be4440d282fbbb6","after":"ac5164d10fd2ca17a296ab0c0ea5c6be773fb4a7","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T14:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Forves checker disabled by default","shortMessageHtmlLink":"Forves checker disabled by default"}},{"before":"66e88548d92a42ba519f4d7205e16280822d3dd2","after":"04d1efbaff0bc3aa2a1448688be4440d282fbbb6","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T12:30:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Add support for --asm-json options","shortMessageHtmlLink":"Add support for --asm-json options"}},{"before":"cf42f981156b73607bd01e40190a6aa4502ab3e2","after":"66e88548d92a42ba519f4d7205e16280822d3dd2","ref":"refs/heads/optimization_options","pushedAt":"2024-02-22T11:36:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Separated function to optimize a contract","shortMessageHtmlLink":"Separated function to optimize a contract"}},{"before":"31917b3ac339b9e693b69799d8f9311f101f9233","after":"cf42f981156b73607bd01e40190a6aa4502ab3e2","ref":"refs/heads/optimization_options","pushedAt":"2024-02-21T10:24:08.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Merge branch 'optimization_options' of github.com:costa-group/gasol-optimizer into optimization_options","shortMessageHtmlLink":"Merge branch 'optimization_options' of github.com:costa-group/gasol-o…"}},{"before":"0822cf04007de6d333ed4f74118979f82139f83e","after":"65e5905730127e92795512050de19764fd15d113","ref":"refs/heads/forves_push0","pushedAt":"2024-02-21T10:21:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Computing bytes-in-size instead of length","shortMessageHtmlLink":"Computing bytes-in-size instead of length"}},{"before":"9973204a031180a4193372b292e411862bb00157","after":"31917b3ac339b9e693b69799d8f9311f101f9233","ref":"refs/heads/optimization_options","pushedAt":"2024-02-20T11:03:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Minor fixes","shortMessageHtmlLink":"Minor fixes"}},{"before":"7d944ba8f0964370da21bc0918cfa32184ca6ae7","after":"9973204a031180a4193372b292e411862bb00157","ref":"refs/heads/optimization_options","pushedAt":"2024-02-20T10:49:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Merge branch 'forves_push0' into optimization_options","shortMessageHtmlLink":"Merge branch 'forves_push0' into optimization_options"}},{"before":"1af049ec99bf8b73e5d4374e623bee09560eba87","after":"0822cf04007de6d333ed4f74118979f82139f83e","ref":"refs/heads/forves_push0","pushedAt":"2024-02-20T09:52:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"#44 Skip value field in representation of JUMP instructions","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2131966478\" data-permission-text=\"Title is private\" data-url=\"https://github.com/costa-group/gasol-optimizer/issues/44\" data-hovercard-type=\"issue\" data-hovercard-url=\"/costa-group/gasol-optimizer/issues/44/hovercard\" href=\"https://github.com/costa-group/gasol-optimizer/issues/44\">#44</a> Skip value field in representation of JUMP instructions"}},{"before":null,"after":"7d944ba8f0964370da21bc0918cfa32184ca6ae7","ref":"refs/heads/optimization_options","pushedAt":"2024-02-20T09:27:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Optimization Params isolated (yet to be tested)","shortMessageHtmlLink":"Optimization Params isolated (yet to be tested)"}},{"before":"479f848071099fa3bd56d03d6b4a2199e52b5058","after":"1af049ec99bf8b73e5d4374e623bee09560eba87","ref":"refs/heads/forves_push0","pushedAt":"2024-02-19T10:31:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"#44 Forves Verification module and Statistics","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2131966478\" data-permission-text=\"Title is private\" data-url=\"https://github.com/costa-group/gasol-optimizer/issues/44\" data-hovercard-type=\"issue\" data-hovercard-url=\"/costa-group/gasol-optimizer/issues/44/hovercard\" href=\"https://github.com/costa-group/gasol-optimizer/issues/44\">#44</a> Forves Verification module and Statistics"}},{"before":"5cb455e28f273e481eebaeaff732bc1bd348a4ac","after":"479f848071099fa3bd56d03d6b4a2199e52b5058","ref":"refs/heads/forves_push0","pushedAt":"2024-02-19T09:55:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Extra field for push instructions and deps in json format","shortMessageHtmlLink":"Extra field for push instructions and deps in json format"}},{"before":"61c8f68902148cbf3c4de827b7ef767b7c49893a","after":"5cb455e28f273e481eebaeaff732bc1bd348a4ac","ref":"refs/heads/forves_push0","pushedAt":"2024-02-19T09:25:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Skip tag for printing and counting","shortMessageHtmlLink":"Skip tag for printing and counting"}},{"before":null,"after":"61c8f68902148cbf3c4de827b7ef767b7c49893a","ref":"refs/heads/forves_push0","pushedAt":"2024-02-19T08:52:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":" Enable PUSH0 generation by default #43","shortMessageHtmlLink":" Enable PUSH0 generation by default <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2131955570\" data-permission-text=\"Title is private\" data-url=\"https://github.com/costa-group/gasol-optimizer/issues/43\" data-hovercard-type=\"issue\" data-hovercard-url=\"/costa-group/gasol-optimizer/issues/43/hovercard\" href=\"https://github.com/costa-group/gasol-optimizer/issues/43\">#43</a>"}},{"before":"39fbcc01d163e32433fc2ddab32a9c2496b9fd3e","after":"6393d03b616a3661c4a033d4d5cdd8e9a21ab247","ref":"refs/heads/smt_refactor","pushedAt":"2024-02-13T09:48:37.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"alexcere","name":"Alejandro Hernández Cerezo","path":"/alexcere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48130030?s=80&v=4"},"commit":{"message":"Merge pull request #42 from costa-group/main\n\nSMT refactor including commits in main","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2131904276\" data-permission-text=\"Title is private\" data-url=\"https://github.com/costa-group/gasol-optimizer/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/costa-group/gasol-optimizer/pull/42/hovercard\" href=\"https://github.com/costa-group/gasol-optimizer/pull/42\">#42</a> from costa-group/main"}},{"before":"bff84c3ea57c3cc79415bb7bd7384b6633880671","after":"39fbcc01d163e32433fc2ddab32a9c2496b9fd3e","ref":"refs/heads/smt_refactor","pushedAt":"2023-10-06T07:00:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tutugordillo","name":"Pablo Gordillo","path":"/tutugordillo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11059321?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"68997efaedcdf57fcc72a5bf63fa0e3d87321949","after":"bff84c3ea57c3cc79415bb7bd7384b6633880671","ref":"refs/heads/smt_refactor","pushedAt":"2023-10-05T16:18:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tutugordillo","name":"Pablo Gordillo","path":"/tutugordillo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11059321?s=80&v=4"},"commit":{"message":"fixing optimization and adding disabled_aliasing flag","shortMessageHtmlLink":"fixing optimization and adding disabled_aliasing flag"}},{"before":"e6f6576787d59e04e39a834698ea197a003c1e7f","after":"68997efaedcdf57fcc72a5bf63fa0e3d87321949","ref":"refs/heads/smt_refactor","pushedAt":"2023-10-04T18:24:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tutugordillo","name":"Pablo Gordillo","path":"/tutugordillo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11059321?s=80&v=4"},"commit":{"message":"fixing errors with simplifications","shortMessageHtmlLink":"fixing errors with simplifications"}},{"before":"a1db9aae21de4119eee46679990e1c33443cbb78","after":"e6f6576787d59e04e39a834698ea197a003c1e7f","ref":"refs/heads/smt_refactor","pushedAt":"2023-10-04T15:32:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tutugordillo","name":"Pablo Gordillo","path":"/tutugordillo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11059321?s=80&v=4"},"commit":{"message":"fixing pops","shortMessageHtmlLink":"fixing pops"}},{"before":"67e319b0fd37e4dcc189e989bb3e8bfe673adcd9","after":"a1db9aae21de4119eee46679990e1c33443cbb78","ref":"refs/heads/smt_refactor","pushedAt":"2023-10-03T16:11:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tutugordillo","name":"Pablo Gordillo","path":"/tutugordillo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11059321?s=80&v=4"},"commit":{"message":"non_aliasing_disabled flag","shortMessageHtmlLink":"non_aliasing_disabled flag"}},{"before":"d730155d7f64f59bcac6661ea598417833d3a86b","after":"67e319b0fd37e4dcc189e989bb3e8bfe673adcd9","ref":"refs/heads/smt_refactor","pushedAt":"2023-10-03T15:39:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tutugordillo","name":"Pablo Gordillo","path":"/tutugordillo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11059321?s=80&v=4"},"commit":{"message":"cleaning","shortMessageHtmlLink":"cleaning"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOlrFtgA","startCursor":null,"endCursor":null}},"title":"Activity · costa-group/gasol-optimizer"}