{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":716628952,"defaultBranch":"master","name":"weak-memory-models-simulator","ownerLogin":"dmitrii-artuhov","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-09T14:36:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/51288598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700693865.0","currentOid":""},"activityList":{"items":[{"before":"f99db06b7c32c0e9d77a3d417294136cca1c4fe5","after":"d32ca8139b756528fdd25aed3ad0210c8aee985b","ref":"refs/heads/master","pushedAt":"2023-12-12T20:23:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Flush single buffer before CAS & FAI operations instead of all buffers","shortMessageHtmlLink":"Flush single buffer before CAS &amp; FAI operations instead of all buffers"}},{"before":"3bb2af565c0de40f075374867d1f221d14fabde3","after":"f99db06b7c32c0e9d77a3d417294136cca1c4fe5","ref":"refs/heads/master","pushedAt":"2023-12-07T22:46:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add tests for memory models (tested in model checking mode)","shortMessageHtmlLink":"Add tests for memory models (tested in model checking mode)"}},{"before":"2d56efc458d696b389fbdf6dcde3943f78dee018","after":"3bb2af565c0de40f075374867d1f221d14fabde3","ref":"refs/heads/master","pushedAt":"2023-12-07T21:05:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Make RMW operations (CAS, FAI) run after flushed memory","shortMessageHtmlLink":"Make RMW operations (CAS, FAI) run after flushed memory"}},{"before":"89a73c34c4a4bfe0ad9a1a338ff9bd2e5242dd00","after":"2d56efc458d696b389fbdf6dcde3943f78dee018","ref":"refs/heads/master","pushedAt":"2023-12-07T14:12:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Update readme","shortMessageHtmlLink":"Update readme"}},{"before":"fa37f4946c66a066c6c415c406b76d8f339ce641","after":"89a73c34c4a4bfe0ad9a1a338ff9bd2e5242dd00","ref":"refs/heads/master","pushedAt":"2023-12-07T14:06:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add tests for parser","shortMessageHtmlLink":"Add tests for parser"}},{"before":"db0ec7d77adc62d3e759740df5e3e92c71382e5b","after":"fa37f4946c66a066c6c415c406b76d8f339ce641","ref":"refs/heads/master","pushedAt":"2023-12-07T13:55:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Update readme","shortMessageHtmlLink":"Update readme"}},{"before":"14456adaf2e6bd358e85dd4a6d0db2dcfce1df16","after":"db0ec7d77adc62d3e759740df5e3e92c71382e5b","ref":"refs/heads/master","pushedAt":"2023-11-27T00:32:01.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Merge pull request #1 from dmitrii-artuhov/feature/stateless-interpreter\n\nRewrite interpreter into stateless version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2011287209\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dmitrii-artuhov/weak-memory-models-simulator/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dmitrii-artuhov/weak-memory-models-simulator/pull/1/hovercard\" href=\"https://github.com/dmitrii-artuhov/weak-memory-models-simulator/pull/1\">#1</a> from dmitrii-artuhov/feature/stateless-interpreter"}},{"before":"a246bce1932f246e18ebb0b885d3bbffd49473ec","after":"fb4f43b70bbf3521fbdd47b6c7bf523c653db0c6","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-27T00:29:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Update readme","shortMessageHtmlLink":"Update readme"}},{"before":"872708626b94b9949b7cf666e62eb33963e5705c","after":"a246bce1932f246e18ebb0b885d3bbffd49473ec","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-27T00:28:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Update readme","shortMessageHtmlLink":"Update readme"}},{"before":"ec88482a9aee97e45b091d297f4749c7ba279c6b","after":"872708626b94b9949b7cf666e62eb33963e5705c","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-27T00:26:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Implement Strong RA memory model, update readme","shortMessageHtmlLink":"Implement Strong RA memory model, update readme"}},{"before":"94600ecb914458ead5fdc14e284cb6a138fc3dd3","after":"ec88482a9aee97e45b091d297f4749c7ba279c6b","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-26T16:08:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add arguments parser","shortMessageHtmlLink":"Add arguments parser"}},{"before":"a8ba38027dfa96f4de449b7deca5d9541521087d","after":"94600ecb914458ead5fdc14e284cb6a138fc3dd3","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-26T15:16:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Implement interactive interpreter for SC, TSO, PSO","shortMessageHtmlLink":"Implement interactive interpreter for SC, TSO, PSO"}},{"before":"42150c83a196b3f5288b222ec8372cef8e526739","after":"a8ba38027dfa96f4de449b7deca5d9541521087d","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-24T22:30:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Implement model-checking interpreter","shortMessageHtmlLink":"Implement model-checking interpreter"}},{"before":"e6cb32695dc81ac2fbd6485bff070780f5e44630","after":"42150c83a196b3f5288b222ec8372cef8e526739","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-24T19:05:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Split different types of interpreters","shortMessageHtmlLink":"Split different types of interpreters"}},{"before":"ac426a4192d3155bacce6e7f97630cec1edc446e","after":"e6cb32695dc81ac2fbd6485bff070780f5e44630","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-24T14:54:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Implement Non-deterministic execution for SC, TSO, and PSO","shortMessageHtmlLink":"Implement Non-deterministic execution for SC, TSO, and PSO"}},{"before":null,"after":"ac426a4192d3155bacce6e7f97630cec1edc446e","ref":"refs/heads/feature/stateless-interpreter","pushedAt":"2023-11-22T22:57:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Make interpreter stateless","shortMessageHtmlLink":"Make interpreter stateless"}},{"before":"94b313453b04144cef52b9ad841f4b5777d8410b","after":"14456adaf2e6bd358e85dd4a6d0db2dcfce1df16","ref":"refs/heads/master","pushedAt":"2023-11-22T14:07:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Fix errors with reading in TSO & PSO (they should try reading from local store buffers, then in main memory)","shortMessageHtmlLink":"Fix errors with reading in TSO &amp; PSO (they should try reading from lo…"}},{"before":"f27eadf2a6463aa84934c1ddb83da2e460b00c7f","after":"94b313453b04144cef52b9ad841f4b5777d8410b","ref":"refs/heads/master","pushedAt":"2023-11-20T22:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Remove some comments","shortMessageHtmlLink":"Remove some comments"}},{"before":"bd51a046310f7f203c713aceacfdcb4999341248","after":"f27eadf2a6463aa84934c1ddb83da2e460b00c7f","ref":"refs/heads/master","pushedAt":"2023-11-19T21:18:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add tracing mode to interpreter","shortMessageHtmlLink":"Add tracing mode to interpreter"}},{"before":"bb882f92f3d745368bec0c0355b2550c87ac57ee","after":"bd51a046310f7f203c713aceacfdcb4999341248","ref":"refs/heads/master","pushedAt":"2023-11-17T23:27:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add PSO memory model","shortMessageHtmlLink":"Add PSO memory model"}},{"before":"a75130c05ea1e4f25826de5c14a23a2d68d6b2a1","after":"bb882f92f3d745368bec0c0355b2550c87ac57ee","ref":"refs/heads/master","pushedAt":"2023-11-17T20:39:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add TSO memory model","shortMessageHtmlLink":"Add TSO memory model"}},{"before":"e98c3a4c91b3444855e36709652e473adf72b8ab","after":"a75130c05ea1e4f25826de5c14a23a2d68d6b2a1","ref":"refs/heads/master","pushedAt":"2023-11-16T15:48:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Make some progress in setting up Thread and Storage subsystems","shortMessageHtmlLink":"Make some progress in setting up Thread and Storage subsystems"}},{"before":"133a782063986dae32f6af27a1ec084fe7d39168","after":"e98c3a4c91b3444855e36709652e473adf72b8ab","ref":"refs/heads/master","pushedAt":"2023-11-12T21:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add visitor interface","shortMessageHtmlLink":"Add visitor interface"}},{"before":"afb8148ee7e23ddb79fe5016e93809ecb0d22938","after":"133a782063986dae32f6af27a1ec084fe7d39168","ref":"refs/heads/master","pushedAt":"2023-11-12T00:42:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"5281ed79642f977ae948d0bb32993eeb73744e2d","after":"afb8148ee7e23ddb79fe5016e93809ecb0d22938","ref":"refs/heads/master","pushedAt":"2023-11-12T00:42:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Create README","shortMessageHtmlLink":"Create README"}},{"before":"bd12f5711396e3731ff3237f62fa6caced2fdef8","after":"5281ed79642f977ae948d0bb32993eeb73744e2d","ref":"refs/heads/master","pushedAt":"2023-11-11T23:59:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Create parser, add minor updates to lexer and its tests","shortMessageHtmlLink":"Create parser, add minor updates to lexer and its tests"}},{"before":"01bc0f82639777e0048d33fd911efb5af073703f","after":"bd12f5711396e3731ff3237f62fa6caced2fdef8","ref":"refs/heads/master","pushedAt":"2023-11-11T19:55:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Enhance lexer, start implementing parser & ast nodes","shortMessageHtmlLink":"Enhance lexer, start implementing parser &amp; ast nodes"}},{"before":"2ceee3beeae77ccbfe6abc09ccf44d7fbcef1bc2","after":"01bc0f82639777e0048d33fd911efb5af073703f","ref":"refs/heads/master","pushedAt":"2023-11-11T15:44:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Add tests for lexer, fix bugs","shortMessageHtmlLink":"Add tests for lexer, fix bugs"}},{"before":"182860b57d7a8aacbd906e26c230a8054d7da2b7","after":"2ceee3beeae77ccbfe6abc09ccf44d7fbcef1bc2","ref":"refs/heads/master","pushedAt":"2023-11-09T22:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Implement lexer","shortMessageHtmlLink":"Implement lexer"}},{"before":"148b9aae5c55e8c9c13713aa5748b683c4355864","after":"182860b57d7a8aacbd906e26c230a8054d7da2b7","ref":"refs/heads/master","pushedAt":"2023-11-09T15:48:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmitrii-artuhov","name":"Dmitrii Art","path":"/dmitrii-artuhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51288598?s=80&v=4"},"commit":{"message":"Setup folder structure, doctest, implement reading file content","shortMessageHtmlLink":"Setup folder structure, doctest, implement reading file content"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADyMFlDgA","startCursor":null,"endCursor":null}},"title":"Activity · dmitrii-artuhov/weak-memory-models-simulator"}