Skip to content

Actions: ChuyueSun/VeriStruct

Actions

Pre-commit Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
29 workflow runs
29 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Extract code from LLM responses in refinement modules Pre-commit Checks #29: Commit 2c19dfc pushed by ChuyueSun
53s main
main
53s
Delete empty exemplar stubs and skip empty exemplars in get_examples Pre-commit Checks #28: Commit de31828 pushed by ChuyueSun
54s main
main
54s
Clamp temperature to [0, 1] for Anthropic API Pre-commit Checks #27: Commit a8d5f87 pushed by ChuyueSun
57s main
main
57s
Log HTTP response body on LLM API failures Pre-commit Checks #26: Commit 1291ee4 pushed by ChuyueSun
46s main
main
46s
Route repair_assertion through _get_llm_responses with retry loop Pre-commit Checks #25: Commit 9cf2c22 pushed by ChuyueSun
47s main
main
47s
Extract code from LLM responses before repair safety check Pre-commit Checks #24: Commit 76f32b8 pushed by ChuyueSun
49s main
main
49s
Roll back repair when result is strictly worse, not only on new compi… Pre-commit Checks #23: Commit a1a718d pushed by ChuyueSun
58s main
main
58s
Add Anthropic Claude Opus 4.6 backend Pre-commit Checks #22: Commit ed9d88f pushed by ChuyueSun
48s main
main
48s
Add TACAS 2026 slides and link from README Pre-commit Checks #21: Commit 34a2574 pushed by ChuyueSun
49s main
main
49s
Update README to reflect TACAS 2026 acceptance Pre-commit Checks #20: Commit c163d21 pushed by ChuyueSun
58s main
main
58s
Refactor: Clean up assertion repair module separation Pre-commit Checks #19: Commit ac41543 pushed by ChuyueSun
30s main
main
30s
cleanup Pre-commit Checks #18: Commit baf00b2 pushed by ChuyueSun
30s main
main
30s
Merge remote changes and add workflow diagram with repair module coun… Pre-commit Checks #17: Commit 9a9de36 pushed by ChuyueSun
35s main
main
35s
Merge pull request #57 from ChuyueSun/new-workflow Pre-commit Checks #16: Commit d2f79a0 pushed by ChuyueSun
55s main
main
55s
Fix view_inference spec deletion bug + add abstraction level examples Pre-commit Checks #15: Pull request #57 synchronize by ChuyueSun
28s new-workflow
new-workflow
28s
update Pre-commit Checks #14: Commit a845c88 pushed by ChuyueSun
29s new-workflow
new-workflow
29s
Fix view_inference spec deletion bug + add abstraction level examples Pre-commit Checks #13: Pull request #57 synchronize by ChuyueSun
23s new-workflow
new-workflow
23s
Update project branding to VeriStruct and improve script consistency Pre-commit Checks #12: Commit 6090459 pushed by ChuyueSun
31s new-workflow
new-workflow
31s
Fix view_inference spec deletion bug + add abstraction level examples Pre-commit Checks #11: Pull request #57 synchronize by ChuyueSun
29s new-workflow
new-workflow
29s
Fix view_inference: normalize indentation and improve impl block dete… Pre-commit Checks #10: Commit aebd4d0 pushed by ChuyueSun
25s new-workflow
new-workflow
25s
Fix view_inference spec deletion bug + add abstraction level examples Pre-commit Checks #9: Pull request #57 synchronize by ChuyueSun
30s new-workflow
new-workflow
30s
Improve view inference parsing with robust brace matching Pre-commit Checks #8: Commit 62221ea pushed by ChuyueSun
29s new-workflow
new-workflow
29s
Fix view_inference spec deletion bug + add abstraction level examples Pre-commit Checks #7: Pull request #57 synchronize by ChuyueSun
1m 4s new-workflow
new-workflow
1m 4s
Apply pre-commit auto-fixes: trailing whitespace and end-of-file fixes Pre-commit Checks #6: Commit 25fb746 pushed by ChuyueSun
1m 7s new-workflow
new-workflow
1m 7s
Fix view_inference spec deletion bug + add abstraction level examples Pre-commit Checks #5: Pull request #57 synchronize by ChuyueSun
58s new-workflow
new-workflow
58s