{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":69834435,"defaultBranch":"master","name":"evm-semantics","ownerLogin":"runtimeverification","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-03T02:08:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3732719?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715951970.0","currentOid":""},"activityList":{"items":[{"before":"b59414f7da04d14435502bd24a345977abe2fba3","after":null,"ref":"refs/heads/tolga/toml-options","pushedAt":"2024-05-17T13:19:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ovatman","name":"Tolga Ovatman","path":"/ovatman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4654078?s=80&v=4"}},{"before":"a93086ef26bda3dccb0254d58a0b8dad1acee2ba","after":"7b8e3b0c1c65cb3a297bde457bb1ae0ff2740547","ref":"refs/heads/master","pushedAt":"2024-05-17T13:19:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ovatman","name":"Tolga Ovatman","path":"/ovatman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4654078?s=80&v=4"},"commit":{"message":"added toml processing capability (#2369)\n\nFollowing changes are provided:\r\n\r\n* a parameter set is added to the command line arguments to input toml file name and profile\r\n* parse_toml_args function reads all the options available in the toml file provided, taking into account the provided profile name\r\n* get_option_string_destinationfunction collects the mathing option string according to the provided key in toml file by utilizing the newly added from_option_string method in *Options classes.\r\n* some methods and classes are moved to the pyk.clipackage to provide better testability\r\n* unit tests and test harness added for toml input sanity tests\r\n* required modifications made on code regarding the new functionality and the ones that ar moved to another package.\r\n* pyk's `parse_toml_args` function is re-used\r\n* type setting capability for the argument values provided from toml files is added together with related tests in this context\r\n* added typed checking support for toml list inputs\r\n\r\n---------\r\n\r\nCo-authored-by: Tolga Ovatman <tolga.ovatman@runtimeverification.com>\r\nCo-authored-by: devops <devops@runtimeverification.com>","shortMessageHtmlLink":"added toml processing capability (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2205170976\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/evm-semantics/issues/2369\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/evm-semantics/pull/2369/hovercard\" href=\"https://github.com/runtimeverification/evm-semantics/pull/2369\">#2369</a>)"}},{"before":"914a4b708dcd05955d58266fa1c23a7a6ebe9193","after":"b59414f7da04d14435502bd24a345977abe2fba3","ref":"refs/heads/tolga/toml-options","pushedAt":"2024-05-17T10:50:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 1.0.560","shortMessageHtmlLink":"Set Version: 1.0.560"}},{"before":"c1913c2e7f5a1a7df4eeb47c801c51d9097b74fe","after":"914a4b708dcd05955d58266fa1c23a7a6ebe9193","ref":"refs/heads/tolga/toml-options","pushedAt":"2024-05-17T10:50:36.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"ovatman","name":"Tolga Ovatman","path":"/ovatman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4654078?s=80&v=4"},"commit":{"message":"Merge branch 'master' into tolga/toml-options","shortMessageHtmlLink":"Merge branch 'master' into tolga/toml-options"}},{"before":"171ff97ea18a122c1131fc4f83d6049b6de59dbc","after":"ce398595ad0cc1b663209fa4d78fd3717b9dbc99","ref":"refs/heads/raoul/is-valid-jump-dest","pushedAt":"2024-05-17T09:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palinatolmach","name":"Palina Tolmach","path":"/palinatolmach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11912158?s=80&v=4"},"commit":{"message":"Fix remaining merge conflicts","shortMessageHtmlLink":"Fix remaining merge conflicts"}},{"before":"4366befd78beeded0b16588675db7298aafaaa33","after":"171ff97ea18a122c1131fc4f83d6049b6de59dbc","ref":"refs/heads/raoul/is-valid-jump-dest","pushedAt":"2024-05-17T09:24:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palinatolmach","name":"Palina Tolmach","path":"/palinatolmach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11912158?s=80&v=4"},"commit":{"message":"Set Version: 1.0.560","shortMessageHtmlLink":"Set Version: 1.0.560"}},{"before":"171ff97ea18a122c1131fc4f83d6049b6de59dbc","after":"4366befd78beeded0b16588675db7298aafaaa33","ref":"refs/heads/raoul/is-valid-jump-dest","pushedAt":"2024-05-17T09:23:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palinatolmach","name":"Palina Tolmach","path":"/palinatolmach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11912158?s=80&v=4"},"commit":{"message":"Fix remaining merge conflicts","shortMessageHtmlLink":"Fix remaining merge conflicts"}},{"before":"6f76074970c9fe6456b1c2998b549dce5d2c09e7","after":"171ff97ea18a122c1131fc4f83d6049b6de59dbc","ref":"refs/heads/raoul/is-valid-jump-dest","pushedAt":"2024-05-17T07:59:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 1.0.560","shortMessageHtmlLink":"Set Version: 1.0.560"}},{"before":"772ea3233f5b29b7a9de54715cb72e4818e7b51e","after":"6f76074970c9fe6456b1c2998b549dce5d2c09e7","ref":"refs/heads/raoul/is-valid-jump-dest","pushedAt":"2024-05-17T07:59:38.000Z","pushType":"push","commitsCount":171,"pusher":{"login":"palinatolmach","name":"Palina Tolmach","path":"/palinatolmach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11912158?s=80&v=4"},"commit":{"message":"Merge branch 'master' into raoul/is-valid-jump-dest","shortMessageHtmlLink":"Merge branch 'master' into raoul/is-valid-jump-dest"}},{"before":"3fae65ab6fc82363b3cedff2c50c2bed75883f98","after":"e749d4b7a7e320f4a5faca0e7faa858262d5e349","ref":"refs/heads/gh-pages","pushedAt":"2024-05-17T06:45:41.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/gh-pages' into gh-pages","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/gh-pages' into gh-pages"}},{"before":"0e953e10bf819f5d58ce0ad16f2ce5eeb45a804d","after":null,"ref":"refs/heads/booster-proofs","pushedAt":"2024-05-17T06:27:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"}},{"before":"3da41ebe40e04d7cce52bbe62a9c784c0be5ec1a","after":"a93086ef26bda3dccb0254d58a0b8dad1acee2ba","ref":"refs/heads/master","pushedAt":"2024-05-17T06:27:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Update failing proof lists (#2431)\n\n* tests/failing-symbolic.haskell-booster: enable more tests\n\n* tests/failing-symbolic.haskell-booster: add back failing tests\n\n* tests/failing-symbolic.haskell-booster: add back long-running proof\n\n* tests/failing-symbolic: disable tests running and passing on booster\n\n* Set Version: 1.0.559\n\n---------\n\nCo-authored-by: devops <devops@runtimeverification.com>","shortMessageHtmlLink":"Update failing proof lists (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301351145\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/evm-semantics/issues/2431\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/evm-semantics/pull/2431/hovercard\" href=\"https://github.com/runtimeverification/evm-semantics/pull/2431\">#2431</a>)"}},{"before":"dc1333759f2c3202b53bc36215fb24e74812eef8","after":"0e953e10bf819f5d58ce0ad16f2ce5eeb45a804d","ref":"refs/heads/booster-proofs","pushedAt":"2024-05-16T21:09:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 1.0.559","shortMessageHtmlLink":"Set Version: 1.0.559"}},{"before":null,"after":"dc1333759f2c3202b53bc36215fb24e74812eef8","ref":"refs/heads/booster-proofs","pushedAt":"2024-05-16T21:07:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ehildenb","name":"Everett Hildenbrandt","path":"/ehildenb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12721972?s=80&v=4"},"commit":{"message":"tests/failing-symbolic: disable tests running and passing on booster","shortMessageHtmlLink":"tests/failing-symbolic: disable tests running and passing on booster"}},{"before":"bad37f5f993af67533067ab4ec132ea8c1fe6d57","after":"3fae65ab6fc82363b3cedff2c50c2bed75883f98","ref":"refs/heads/gh-pages","pushedAt":"2024-05-16T15:42:38.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/gh-pages' into gh-pages","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/gh-pages' into gh-pages"}},{"before":"10dc6d3067bd9bf5b922a9dec0a914306f7dd1db","after":null,"ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-16T15:23:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"}},{"before":"ddef90a245c8f911c0aad2d37530f42595e28570","after":"3da41ebe40e04d7cce52bbe62a9c784c0be5ec1a","ref":"refs/heads/master","pushedAt":"2024-05-16T15:23:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Update dependency: deps/k_release (#2429)\n\n* deps/k_release: Set Version 7.0.70\n\n* Set Version: 1.0.558\n\n* kevm-pyk/: sync poetry files pyk version v7.0.70\n\n* flake.{nix,lock}: update Nix derivations\n\n---------\n\nCo-authored-by: devops <devops@runtimeverification.com>","shortMessageHtmlLink":"Update dependency: deps/k_release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300350532\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/evm-semantics/issues/2429\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/evm-semantics/pull/2429/hovercard\" href=\"https://github.com/runtimeverification/evm-semantics/pull/2429\">#2429</a>)"}},{"before":"d25b3ec7019120b9a1e9f6c2229c0acb1b86dc1e","after":"9af67771b106086f8c7a46b834d0484a88c8aeaf","ref":"refs/heads/kompile-cache","pushedAt":"2024-05-16T14:17:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 1.0.558","shortMessageHtmlLink":"Set Version: 1.0.558"}},{"before":null,"after":"d25b3ec7019120b9a1e9f6c2229c0acb1b86dc1e","ref":"refs/heads/kompile-cache","pushedAt":"2024-05-16T14:06:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tothtamas28","name":"Tamás Tóth","path":"/tothtamas28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10085903?s=80&v=4"},"commit":{"message":"Rename `kompiled_targets_dir` to `kompiled_target_dir`","shortMessageHtmlLink":"Rename <code>kompiled_targets_dir</code> to <code>kompiled_target_dir</code>"}},{"before":"6af8173c2e79a865e050a84e8bd62f0294b8b727","after":"10dc6d3067bd9bf5b922a9dec0a914306f7dd1db","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-16T13:09:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"flake.{nix,lock}: update Nix derivations","shortMessageHtmlLink":"flake.{nix,lock}: update Nix derivations"}},{"before":"a00f02385f092e2b01c44efe34fe3d669ae127db","after":"6af8173c2e79a865e050a84e8bd62f0294b8b727","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-16T13:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 1.0.558","shortMessageHtmlLink":"Set Version: 1.0.558"}},{"before":null,"after":"a00f02385f092e2b01c44efe34fe3d669ae127db","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-16T13:03:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.0.70","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.70"}},{"before":"f434c4c82dd0379334c39bbb341dc4b6fa3895ea","after":null,"ref":"refs/heads/jb/test-for-isStaticType-owise","pushedAt":"2024-05-16T09:40:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jberthold","name":"Jost Berthold","path":"/jberthold","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/669076?s=80&v=4"}},{"before":"737edac429d2bf163e79e2c550bc5ca6cdff8ad1","after":null,"ref":"refs/heads/hs-backend-test-extraction-branch","pushedAt":"2024-05-16T09:36:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jberthold","name":"Jost Berthold","path":"/jberthold","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/669076?s=80&v=4"}},{"before":"fa2b902cac6acd88938d36e1449adff0024ccf0e","after":"bad37f5f993af67533067ab4ec132ea8c1fe6d57","ref":"refs/heads/gh-pages","pushedAt":"2024-05-16T04:59:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/gh-pages' into gh-pages","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/gh-pages' into gh-pages"}},{"before":"aa911c1b2b4b2ff1db2a0682e4df483f05eec754","after":null,"ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-16T04:41:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"}},{"before":"6ada6ab59632c5949326d3b797a93f5238966f83","after":"ddef90a245c8f911c0aad2d37530f42595e28570","ref":"refs/heads/master","pushedAt":"2024-05-16T04:41:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Update dependency: deps/k_release (#2428)\n\n* deps/k_release: Set Version 7.0.69\n\n* Set Version: 1.0.557\n\n* kevm-pyk/: sync poetry files pyk version v7.0.69\n\n* flake.{nix,lock}: update Nix derivations\n\n---------\n\nCo-authored-by: devops <devops@runtimeverification.com>","shortMessageHtmlLink":"Update dependency: deps/k_release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2298871795\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/evm-semantics/issues/2428\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/evm-semantics/pull/2428/hovercard\" href=\"https://github.com/runtimeverification/evm-semantics/pull/2428\">#2428</a>)"}},{"before":"b27cdce01c730c6751ec04d3cc9f60edc810d105","after":"aa911c1b2b4b2ff1db2a0682e4df483f05eec754","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T21:31:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"flake.{nix,lock}: update Nix derivations","shortMessageHtmlLink":"flake.{nix,lock}: update Nix derivations"}},{"before":"a4ded6e98ecb93ebabbedc0d3ac116b773372fdb","after":"b27cdce01c730c6751ec04d3cc9f60edc810d105","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T21:25:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 1.0.557","shortMessageHtmlLink":"Set Version: 1.0.557"}},{"before":null,"after":"a4ded6e98ecb93ebabbedc0d3ac116b773372fdb","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T21:25:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.0.69","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.69"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETPETiAA","startCursor":null,"endCursor":null}},"title":"Activity · runtimeverification/evm-semantics"}