{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":541746951,"defaultBranch":"main","name":"wasm-verify","ownerLogin":"DavidMazarro","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-09-26T19:17:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22799724?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1664219871.952308","currentOid":""},"activityList":{"items":[{"before":"cd0575f0eb8fbfabad32fdc73b80f7105d716e58","after":"11ee98660ba3592ab69d50b9973210a34c6f848f","ref":"refs/heads/main","pushedAt":"2024-03-03T16:24:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Updated example in usage instructions","shortMessageHtmlLink":"docs: Updated example in usage instructions"}},{"before":"03fafa4d758bd35f5fb228c5f7986471604c043d","after":"cd0575f0eb8fbfabad32fdc73b80f7105d716e58","ref":"refs/heads/main","pushedAt":"2024-03-03T16:14:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"ci: Modified GHC matrix\n\n- Changed GHC 9.2.6 in favor of latest fix version GHC 9.2.8\r\n- Added GHC 9.4.8 to build matrix","shortMessageHtmlLink":"ci: Modified GHC matrix"}},{"before":"84f31a28d83fd4381cb44593ad40d1233268fe8e","after":"03fafa4d758bd35f5fb228c5f7986471604c043d","ref":"refs/heads/main","pushedAt":"2024-03-03T16:12:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Install instructions no longer misleading\n\nI mentioned that running plain `cabal install` added the `wasm-verify` executable to your path: that was a lie, which makes me an 嘘つき. You have to do the `cabal install` before the `cabal exec`.","shortMessageHtmlLink":"docs: Install instructions no longer misleading"}},{"before":"378d33a170d9b56c7589a318a9baf392c99e9cd5","after":"84f31a28d83fd4381cb44593ad40d1233268fe8e","ref":"refs/heads/main","pushedAt":"2023-09-15T09:51:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"Added link to published thesis","shortMessageHtmlLink":"Added link to published thesis"}},{"before":"21e0f1bae65067a0fa247193579fd343abd9dd05","after":"378d33a170d9b56c7589a318a9baf392c99e9cd5","ref":"refs/heads/main","pushedAt":"2023-06-16T18:20:43.776Z","pushType":"push","commitsCount":2,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"refactor: changed `spec` arguments into `specification`\n\nTo avoid name clashing with the test spec (which is also called `spec`)","shortMessageHtmlLink":"refactor: changed spec
arguments into specification
"}},{"before":"0fbf453154f1bdbbcf0072e4fd0d1c48b898892e","after":"21e0f1bae65067a0fa247193579fd343abd9dd05","ref":"refs/heads/main","pushedAt":"2023-06-16T17:57:17.037Z","pushType":"push","commitsCount":2,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"refactor: `VerifiWASM` and `WasmVerify` monads fail silently\n\nPreviously, errors within the two monads were duplicated, since they are written when running the monads and then a Haskell error was being thrown. With these changes, now we are not throwing a Haskell error, we are only exitting with exit code 1 (the logs from the monads are still kept and printed).","shortMessageHtmlLink":"refactor: VerifiWASM
and WasmVerify
monads fail silently"}},{"before":"f7431b363a7517b9376b44e79906a70a3c238994","after":"0fbf453154f1bdbbcf0072e4fd0d1c48b898892e","ref":"refs/heads/main","pushedAt":"2023-06-14T20:44:40.678Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"refactor(app): Removed now unused `runZ3WithFile` function","shortMessageHtmlLink":"refactor(app): Removed now unused runZ3WithFile
function"}},{"before":"37039ab797eb1401a60cd2ee502ea213576b1904","after":"f7431b363a7517b9376b44e79906a70a3c238994","ref":"refs/heads/main","pushedAt":"2023-06-14T20:44:12.798Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"refactor(app): Removed now unused `runZ3WithFile` function","shortMessageHtmlLink":"refactor(app): Removed now unused runZ3WithFile
function"}},{"before":"44dd7cd23266321debbcd40c85f24455c8cd549d","after":"37039ab797eb1401a60cd2ee502ea213576b1904","ref":"refs/heads/main","pushedAt":"2023-06-14T20:40:28.084Z","pushType":"push","commitsCount":3,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:DavidMazarro/wasm-verify","shortMessageHtmlLink":"Merge branch 'main' of github.com:DavidMazarro/wasm-verify"}},{"before":"68c578c19c308caa92c3e2269cbdf3cf69fc7ef3","after":"44dd7cd23266321debbcd40c85f24455c8cd549d","ref":"refs/heads/main","pushedAt":"2023-06-14T19:43:36.588Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Added partial correctness note","shortMessageHtmlLink":"docs: Added partial correctness note"}},{"before":"1c1378ad3c90ca0cbb90acca535be6e0e9e71719","after":"68c578c19c308caa92c3e2269cbdf3cf69fc7ef3","ref":"refs/heads/main","pushedAt":"2023-06-14T19:26:00.698Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: prettified README\n\nBased on the wasm-bindgen README: https://github.com/rustwasm/wasm-bindgen/blob/main/README.md","shortMessageHtmlLink":"docs: prettified README"}},{"before":"9080e4474a9466e5b9fdd166c6f9d4202d323c0d","after":"1c1378ad3c90ca0cbb90acca535be6e0e9e71719","ref":"refs/heads/main","pushedAt":"2023-06-13T22:28:12.692Z","pushType":"push","commitsCount":2,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:DavidMazarro/wasm-verify","shortMessageHtmlLink":"Merge branch 'main' of github.com:DavidMazarro/wasm-verify"}},{"before":"01e0aa7867d078117a6aeb16d7df0b258f901bfc","after":"9080e4474a9466e5b9fdd166c6f9d4202d323c0d","ref":"refs/heads/main","pushedAt":"2023-06-13T22:05:33.561Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"ci: Install Z3 with apt","shortMessageHtmlLink":"ci: Install Z3 with apt"}},{"before":"d746f5f33ddba368b9ef867aaedce4c68036b784","after":"01e0aa7867d078117a6aeb16d7df0b258f901bfc","ref":"refs/heads/main","pushedAt":"2023-06-13T21:54:09.014Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"ci: Now installs Z3 as a dependency","shortMessageHtmlLink":"ci: Now installs Z3 as a dependency"}},{"before":"d4471f996fda242abef00c516d1e1d8af499b339","after":"d746f5f33ddba368b9ef867aaedce4c68036b784","ref":"refs/heads/main","pushedAt":"2023-06-13T21:18:34.911Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"fix: Main now uses `void` when calling `verifyModule`","shortMessageHtmlLink":"fix: Main now uses void
when calling verifyModule
"}},{"before":"94dd94f34a0fed72e6901edbeb60cb938ab48259","after":"d4471f996fda242abef00c516d1e1d8af499b339","ref":"refs/heads/main","pushedAt":"2023-06-13T21:16:22.131Z","pushType":"push","commitsCount":10,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"Merge commit '94dd94f34a0fed72e6901edbeb60cb938ab48259'","shortMessageHtmlLink":"Merge commit '94dd94f34a0fed72e6901edbeb60cb938ab48259'"}},{"before":"36338d82b753521b7540e50ecf0511db5716979d","after":"94dd94f34a0fed72e6901edbeb60cb938ab48259","ref":"refs/heads/main","pushedAt":"2023-06-07T20:43:33.888Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Changed \"WASM\" for \"WebAssembly\" in info","shortMessageHtmlLink":"docs: Changed \"WASM\" for \"WebAssembly\" in info"}},{"before":"f67b3e761ef9f8381eea4e3d88d9ee507c8a5b76","after":"36338d82b753521b7540e50ecf0511db5716979d","ref":"refs/heads/main","pushedAt":"2023-06-05T12:50:18.809Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"build: Pinned `wasm` dependency to version 1.1.1","shortMessageHtmlLink":"build: Pinned wasm
dependency to version 1.1.1"}},{"before":"0726eafbb1abbee096b1c0ef75a765bcebadfb02","after":"f67b3e761ef9f8381eea4e3d88d9ee507c8a5b76","ref":"refs/heads/main","pushedAt":"2023-06-04T21:52:23.019Z","pushType":"push","commitsCount":2,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"a2d76fe0fb8fb4b013e237a3dbe8f9b0e750ac26","after":"0726eafbb1abbee096b1c0ef75a765bcebadfb02","ref":"refs/heads/main","pushedAt":"2023-06-04T21:48:11.801Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"Changed license from MIT to MPL 2.0","shortMessageHtmlLink":"Changed license from MIT to MPL 2.0"}},{"before":"3898da54a4d09fe96c2923424fc89efa79afb25d","after":"a2d76fe0fb8fb4b013e237a3dbe8f9b0e750ac26","ref":"refs/heads/main","pushedAt":"2023-06-03T23:11:04.083Z","pushType":"push","commitsCount":4,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"feat: Added `eqz` instruction symbolic execution support","shortMessageHtmlLink":"feat: Added eqz
instruction symbolic execution support"}},{"before":"55a622be68ebe382f3180ecf32fd2b1723c89817","after":"3898da54a4d09fe96c2923424fc89efa79afb25d","ref":"refs/heads/main","pushedAt":"2023-06-02T11:10:28.271Z","pushType":"push","commitsCount":3,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"fix: local variables initialization and declaration in SMT\n\nPreviously, local variables were getting initialized in paths in which they were not supposed to. Besides, the identifier map was not getting cleaned up in-between different paths' symbolic executions.","shortMessageHtmlLink":"fix: local variables initialization and declaration in SMT"}},{"before":"43ebd03829de88295acfa9e3f1440416f47253dd","after":"55a622be68ebe382f3180ecf32fd2b1723c89817","ref":"refs/heads/main","pushedAt":"2023-05-21T18:10:01.217Z","pushType":"push","commitsCount":2,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"fix: Nodes with `else` now index instructions properly","shortMessageHtmlLink":"fix: Nodes with else
now index instructions properly"}},{"before":"234bbecd77b63ab5619c43c313397f3aef354ca5","after":"43ebd03829de88295acfa9e3f1440416f47253dd","ref":"refs/heads/main","pushedAt":"2023-05-19T13:08:59.936Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Added WASM `br_table` example and specification","shortMessageHtmlLink":"docs: Added WASM br_table
example and specification"}},{"before":"ef3b0789fae6cfa4d6b68e1af676e3d5a9599c59","after":"234bbecd77b63ab5619c43c313397f3aef354ca5","ref":"refs/heads/main","pushedAt":"2023-05-19T12:41:33.706Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Added WASM `br_table` example and specification","shortMessageHtmlLink":"docs: Added WASM br_table
example and specification"}},{"before":"520ddbde1d30c8379269c44c9a20e865546dc431","after":"ef3b0789fae6cfa4d6b68e1af676e3d5a9599c59","ref":"refs/heads/main","pushedAt":"2023-05-19T12:39:53.515Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"feat: Add WASM `br_table` support to symbolic execution","shortMessageHtmlLink":"feat: Add WASM br_table
support to symbolic execution"}},{"before":"6d28351cc8fbb9100612a26eac6896385d940db1","after":"520ddbde1d30c8379269c44c9a20e865546dc431","ref":"refs/heads/main","pushedAt":"2023-05-19T09:37:52.938Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"refactor: Removed non-exhaustive pattern let assignment","shortMessageHtmlLink":"refactor: Removed non-exhaustive pattern let assignment"}},{"before":"fe363eb02c818606c4c8424eb81fa74b6e703271","after":"6d28351cc8fbb9100612a26eac6896385d940db1","ref":"refs/heads/main","pushedAt":"2023-05-19T09:06:28.598Z","pushType":"push","commitsCount":1,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"ci: Replaced GHC 9.6.1 with 9.2.6","shortMessageHtmlLink":"ci: Replaced GHC 9.6.1 with 9.2.6"}},{"before":"4a7d9e1f576aca778215460459019b0441b0cb26","after":"fe363eb02c818606c4c8424eb81fa74b6e703271","ref":"refs/heads/main","pushedAt":"2023-05-19T08:40:28.159Z","pushType":"push","commitsCount":2,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"docs: Added GHC versions section to README","shortMessageHtmlLink":"docs: Added GHC versions section to README"}},{"before":"dc5a359c225a9308512a3bbdd73208e55daf637b","after":"4a7d9e1f576aca778215460459019b0441b0cb26","ref":"refs/heads/main","pushedAt":"2023-05-18T22:15:21.956Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"DavidMazarro","name":"David Mazarro","path":"/DavidMazarro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22799724?s=80&v=4"},"commit":{"message":"fix: Now importing `naturalToInt` in Validation module\n\nAlso fixed a couple of imports in the Execution module","shortMessageHtmlLink":"fix: Now importing naturalToInt
in Validation module"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wM1QxNjoyNDo1Mi4wMDAwMDBazwAAAAQLD43O","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wM1QxNjoyNDo1Mi4wMDAwMDBazwAAAAQLD43O","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0xOFQyMjoxNToyMS45NTY2OThazwAAAAMvwNMP"}},"title":"Activity · DavidMazarro/wasm-verify"}