{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":26978879,"defaultBranch":"master","name":"VST","ownerLogin":"PrincetonUniversity","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-11-21T21:36:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1919273?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725400889.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"be3bba11445b9a395331aaf30f7b4d51eb3fe535","ref":"refs/heads/dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7","pushedAt":"2024-09-03T22:01:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows\n\nBumps [actions/download-artifact](https://github.com/actions/download-artifact) from 2 to 4.1.7.\n- [Release notes](https://github.com/actions/download-artifact/releases)\n- [Commits](https://github.com/actions/download-artifact/compare/v2...v4.1.7)\n\n---\nupdated-dependencies:\n- dependency-name: actions/download-artifact\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows"}},{"before":"e176949878bd3298ae9bd5d2723d9309f8bcc0e2","after":"e3d3ff27179eb65b86dbc19da1c91bf354035a47","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-29T14:49:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"Merge pull request #791 from rinshankaihou/rVST\n\ncan frame affine props in lithium","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480362185\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/791\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/791/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/791\">#791</a> from rinshankaihou/rVST"}},{"before":"a642284fe48fa7eca4b71e8dc893bfd5a4f552f4","after":"e176949878bd3298ae9bd5d2723d9309f8bcc0e2","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-26T15:36:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"updating concurrent soundness infrastructure","shortMessageHtmlLink":"updating concurrent soundness infrastructure"}},{"before":"8ffa19468ed5afe114dc5054005824337e9b573b","after":"51d00ab95af86ce8bc03ff813af47c383a97184b","ref":"refs/heads/OpenMP","pushedAt":"2024-08-22T18:45:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"updated","shortMessageHtmlLink":"updated"}},{"before":"0bc541b20843c4a17bbe2f6b2c012b9e6d7763ac","after":"a642284fe48fa7eca4b71e8dc893bfd5a4f552f4","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-21T17:30:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"tweaking type_set","shortMessageHtmlLink":"tweaking type_set"}},{"before":"2349cc82239f58f823046322d2a4ba1c2f16f9c4","after":"0bc541b20843c4a17bbe2f6b2c012b9e6d7763ac","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-21T15:56:49.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"Merge pull request #790 from rinshankaihou/rVST\n\nMore typing example","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2478391062\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/790\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/790/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/790\">#790</a> from rinshankaihou/rVST"}},{"before":"eeaf86a8446e3ff3bfbaf9b843b28d01b908c1dc","after":"2349cc82239f58f823046322d2a4ba1c2f16f9c4","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-20T20:28:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"mostly-correct function type and call rule","shortMessageHtmlLink":"mostly-correct function type and call rule"}},{"before":"2f9da0143b32ca7432af1863366ee5441435a91e","after":"eeaf86a8446e3ff3bfbaf9b843b28d01b908c1dc","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-19T18:53:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"trying to state typing rule for call","shortMessageHtmlLink":"trying to state typing rule for call"}},{"before":"7657e4dd13cdac7726f693b5c7ee7d028f3b1163","after":"2f9da0143b32ca7432af1863366ee5441435a91e","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-15T19:37:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"maybe-working sketch of adequacy for typed_function","shortMessageHtmlLink":"maybe-working sketch of adequacy for typed_function"}},{"before":"56a53e4769115085e2b4dce90cab6c9a9f18088d","after":"7657e4dd13cdac7726f693b5c7ee7d028f3b1163","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-12T20:47:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"some progress on small-footprint function rules","shortMessageHtmlLink":"some progress on small-footprint function rules"}},{"before":"e677e7d05ea95849370c64123de506fc46b1844e","after":"56a53e4769115085e2b4dce90cab6c9a9f18088d","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-12T14:38:30.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"Merge pull request #788 from rinshankaihou/rVST\n\nR vst","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2461179118\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/788\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/788/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/788\">#788</a> from rinshankaihou/rVST"}},{"before":"6c978e678d86dc05665e6d5765ef5140ddf06a8e","after":"1ba625ace6c57d7742aa34e3a8f9381a24ffd574","ref":"refs/heads/master","pushedAt":"2024-08-09T12:05:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Merge pull request #787 from ppedrot/template-no-sup-constraint\n\nAdapt w.r.t. coq/coq#19228.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2455538247\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/787\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/787/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/787\">#787</a> from ppedrot/template-no-sup-constraint"}},{"before":"4ea8312e516bc8db427d53d50c80ee6a5e5b104d","after":"e677e7d05ea95849370c64123de506fc46b1844e","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-08T17:13:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"fix singleton","shortMessageHtmlLink":"fix singleton"}},{"before":"5aa275abb03cb0dfd083296956656c676b5198f8","after":"4ea8312e516bc8db427d53d50c80ee6a5e5b104d","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-08T08:16:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"fix breakage","shortMessageHtmlLink":"fix breakage"}},{"before":"3301c41696faca81ebc0492b8750f95f92601a60","after":"5aa275abb03cb0dfd083296956656c676b5198f8","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-08T08:11:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"Remove .DS_Store","shortMessageHtmlLink":"Remove .DS_Store"}},{"before":"56edae9810f53ab9d6518d2ed712d2f5ad4bbd66","after":"8ffa19468ed5afe114dc5054005824337e9b573b","ref":"refs/heads/OpenMP","pushedAt":"2024-08-06T23:10:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"fixed HybirdMachine","shortMessageHtmlLink":"fixed HybirdMachine"}},{"before":"d1ace2728cc34749d406a5e5d5e2238e5635bfc3","after":"3301c41696faca81ebc0492b8750f95f92601a60","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-06T23:02:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"wrong merging, reverted it","shortMessageHtmlLink":"wrong merging, reverted it"}},{"before":"7aacc96af58cbb9addb7c92814ae6ec82c2a19b2","after":"d1ace2728cc34749d406a5e5d5e2238e5635bfc3","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-06T22:19:13.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"Merge branch 'OpenMP' into vst_on_iris","shortMessageHtmlLink":"Merge branch 'OpenMP' into vst_on_iris"}},{"before":"933ef95b29fcc2c6b6d26ddf17501eda5b7b78e7","after":"7aacc96af58cbb9addb7c92814ae6ec82c2a19b2","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-06T22:10:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"resolved Admitted","shortMessageHtmlLink":"resolved Admitted"}},{"before":"bb8c0a58d93f6aab621c3f3cbeb8b68588e0c5db","after":"933ef95b29fcc2c6b6d26ddf17501eda5b7b78e7","ref":"refs/heads/vst_on_iris","pushedAt":"2024-08-03T21:14:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"fix some obsolete errors to run HybridMachine.v","shortMessageHtmlLink":"fix some obsolete errors to run HybridMachine.v"}},{"before":"3870a70f1916c482cff0eb149052785df87b955b","after":"56edae9810f53ab9d6518d2ed712d2f5ad4bbd66","ref":"refs/heads/OpenMP","pushedAt":"2024-08-03T21:12:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"fix errors to run HybridMachine.v","shortMessageHtmlLink":"fix errors to run HybridMachine.v"}},{"before":"9ac38c9c82f8e38de661e7e3a20ddea16802c8bf","after":"3870a70f1916c482cff0eb149052785df87b955b","ref":"refs/heads/OpenMP","pushedAt":"2024-08-03T21:08:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"fix errors to run HybridMachine.v","shortMessageHtmlLink":"fix errors to run HybridMachine.v"}},{"before":"bb8c0a58d93f6aab621c3f3cbeb8b68588e0c5db","after":"9ac38c9c82f8e38de661e7e3a20ddea16802c8bf","ref":"refs/heads/OpenMP","pushedAt":"2024-08-03T05:10:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"fix breakage to run HybridMachine","shortMessageHtmlLink":"fix breakage to run HybridMachine"}},{"before":null,"after":"bb8c0a58d93f6aab621c3f3cbeb8b68588e0c5db","ref":"refs/heads/OpenMP","pushedAt":"2024-08-03T04:55:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ducthann","name":"Duc-Than Nguyen","path":"/ducthann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32882068?s=80&v=4"},"commit":{"message":"Merge pull request #785 from rinshankaihou/rvst\n\nport everything for lithium","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2440034193\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/785\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/785/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/785\">#785</a> from rinshankaihou/rvst"}},{"before":"c94ab1d308ee29b213af243dd9f6d41dd7999435","after":"bb8c0a58d93f6aab621c3f3cbeb8b68588e0c5db","ref":"refs/heads/vst_on_iris","pushedAt":"2024-07-31T13:40:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"Merge pull request #785 from rinshankaihou/rvst\n\nport everything for lithium","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2440034193\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/785\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/785/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/785\">#785</a> from rinshankaihou/rvst"}},{"before":"bc1c4043c3fad7c80023a004e79894c9f996b6cd","after":"c94ab1d308ee29b213af243dd9f6d41dd7999435","ref":"refs/heads/vst_on_iris","pushedAt":"2024-07-30T17:31:53.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"Merge pull request #784 from rinshankaihou/rvst\n\nport some automation related files and a bit of program.v","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2435647452\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/784\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/784/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/784\">#784</a> from rinshankaihou/rvst"}},{"before":"6d5b7e66f0cffc3504dc1c92662ad988869a15d2","after":"bc1c4043c3fad7c80023a004e79894c9f996b6cd","ref":"refs/heads/vst_on_iris","pushedAt":"2024-07-29T16:43:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mansky1","name":"William Mansky","path":"/mansky1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154122?s=80&v=4"},"commit":{"message":"first attempt at stating adequacy","shortMessageHtmlLink":"first attempt at stating adequacy"}},{"before":"4a0f56996af7f76d7301519cf763a9a9993979da","after":null,"ref":"refs/heads/mailbox_fix","pushedAt":"2024-07-28T18:33:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"}},{"before":"8c765153cff8abdc16d818215b0f7c2b3d02c414","after":null,"ref":"refs/heads/compcert3.15","pushedAt":"2024-07-28T18:33:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"}},{"before":"0eed04f85ecfa9607d200b37aa69ac0fb39a1071","after":"6c978e678d86dc05665e6d5765ef5140ddf06a8e","ref":"refs/heads/master","pushedAt":"2024-07-28T18:33:22.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Merge pull request #781 from PrincetonUniversity/compcert3.15\n\nPort VST 2.x to CompCert master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2428227175\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PrincetonUniversity/VST/issues/781\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PrincetonUniversity/VST/pull/781/hovercard\" href=\"https://github.com/PrincetonUniversity/VST/pull/781\">#781</a> from PrincetonUniversity/compcert3.15"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAErA_RlgA","startCursor":null,"endCursor":null}},"title":"Activity · PrincetonUniversity/VST"}