sun-wendy/DafnyBench - GitHub Explorer | GitHub Explorer | Trending

Stars

59

Forks

11

Watchers

59

Open Issues

1

Repository Health Score

🧡

60/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Regular updates - updated this month

20/30

67%

Recent Commits

Revert

sun-wendy•1 year ago

0cd28feView on GitHub

Fix README.md

Wendy Sun•1 year ago

e2f97fbView on GitHub

Fix README.md

Wendy Sun•1 year ago

dcd3091View on GitHub

Add files via upload

Chloe•1 year ago

7fd18efView on GitHub

Updated README.md

Wendy Sun•1 year ago

d37f1d0View on GitHub

Updated README.md

Wendy Sun•1 year ago

3bb98ecView on GitHub

Updated README.md

Wendy Sun•1 year ago

51bfe45View on GitHub

Update arXiv link

Wendy Sun•1 year ago

43bdb7cView on GitHub

Delete assets/.DS_Store

Wendy Sun•1 year ago

b2f00deView on GitHub

Delete DafnyBench/.DS_Store

Wendy Sun•1 year ago

1fc0169View on GitHub

Delete DafnyBench/metadata/.DS_Store

Wendy Sun•1 year ago

67c95f7View on GitHub

Updated CodeLlama results

Wendy Sun•1 year ago

df590e4View on GitHub

Delete results/.DS_Store

Wendy Sun•1 year ago

a2f6dbdView on GitHub

Delete assets/.DS_Store

Wendy Sun•1 year ago

01665c4View on GitHub

Updated experiment results

Wendy Sun•1 year ago

b502649View on GitHub

View all commits

GitHub Explorer

DafnyBench

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues