From ec1ebefd55ebe8d0eb302399aa47ed5e0c2cc482 Mon Sep 17 00:00:00 2001 From: Ellen Xu Date: Sun, 28 Apr 2024 09:58:16 +0800 Subject: [PATCH 1/3] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index d4e6401..3311e37 100644 --- a/README.md +++ b/README.md @@ -4,6 +4,8 @@ PR-Verify is an automated LLM agent for reviewing and verifying Github PRs. We verify that contributor code works as intended, by generating unit tests and executing the code with LLM-generated "oracle verifiers" (https://arxiv.org/html/2305.14591v3). +[demo video](https://www.loom.com/share/1569250d090b434da6e64abb8c284e60?sid=58f32c61-ff5f-4d4c-8c6d-93b87cc50bed)) + ## setup 1. In repository settings From 80786101fc4b27193a808b9e6f05afa22d7869bd Mon Sep 17 00:00:00 2001 From: Ellen Xu Date: Sun, 28 Apr 2024 09:58:50 +0800 Subject: [PATCH 2/3] Update README.md --- README.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 3311e37..bd438ca 100644 --- a/README.md +++ b/README.md @@ -2,9 +2,9 @@ PR-Verify is an automated LLM agent for reviewing and verifying Github PRs. -We verify that contributor code works as intended, by generating unit tests and executing the code with LLM-generated "oracle verifiers" (https://arxiv.org/html/2305.14591v3). +We verify that contributor code works as intended, by generating unit tests and executing the code with LLM-generated ["oracle verifiers"](https://arxiv.org/html/2305.14591v3). -[demo video](https://www.loom.com/share/1569250d090b434da6e64abb8c284e60?sid=58f32c61-ff5f-4d4c-8c6d-93b87cc50bed)) +[demo video](https://www.loom.com/share/1569250d090b434da6e64abb8c284e60?sid=58f32c61-ff5f-4d4c-8c6d-93b87cc50bed) ## setup @@ -17,8 +17,6 @@ We verify that contributor code works as intended, by generating unit tests and That's it! Just add the `pr-verify` label and let PR-Verify do the rest. ---- - ## todo - [ ] GH actions workflow, spin up docker container (code execution sandbox) From c0e5d4ae83354114fdd8c27821dff61c19a04c3d Mon Sep 17 00:00:00 2001 From: Ellen Xu Date: Sun, 28 Apr 2024 10:08:46 +0800 Subject: [PATCH 3/3] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index bd438ca..95993bb 100644 --- a/README.md +++ b/README.md @@ -22,3 +22,4 @@ That's it! Just add the `pr-verify` label and let PR-Verify do the rest. - [ ] GH actions workflow, spin up docker container (code execution sandbox) - [ ] automated repo installation setup (infer instructions from readme) - [ ] synopsis/threat analysis comment on PR +- [ ] merging conflicts in feature branch?