dafny-lang/libraries - GitHub Explorer | GitHub Explorer | Trending

Stars

49

Forks

27

Watchers

49

Open Issues

59

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

chore: update mutable maps (#170)

Rishav karanjit•7 months ago

b486ff7View on GitHub

Added missing tests for recent JSON change (#169)

Mikaël Mayer•11 months ago

7a6e203View on GitHub

fix: correct Unicode handling in JSON (#168)

Rishav karanjit•11 months ago

fd67943View on GitHub

chore: add FNeed (#167)

Andrew Jewell•11 months ago

f7b9214View on GitHub

chore: change FileIO to deal in uint8 rather than bv8 (#166)

Andrew Jewell•1 year ago

418de0cView on GitHub

chore: add file append (#163)

Andrew Jewell•1 year ago

c71deb6View on GitHub

fix: Drop SelectOpt from MutableMap (#162)

Shubham Chaturvedi•1 year ago

4b8201aView on GitHub

chore: Remove Dafny trigger warnings (#160)

seebees•1 year ago

fabf44dView on GitHub

Remove warnings in forall (#158)

seebees•1 year ago

dbb1949View on GitHub

fix: Add missing type characteristics (#154)

Rustan Leino•2 years ago

e9b898dView on GitHub

Update README.md (#155)

Robin Salkeld•2 years ago

84db322View on GitHub

Chore: Proofs not depending on leaks of opaque + brittleness reduction (#149)

Mikaël Mayer•2 years ago

ae8708cView on GitHub

chore: run dotnet format (#150)

seebees•2 years ago

5d89343View on GitHub

fix: deprecated style: a semi-colon is not needed here (#143)

seebees•2 years ago

8b0c399View on GitHub

Also test against Dafny 4.2.0 (#135)

Remy Willems•2 years ago

05beef6View on GitHub

View all commits

GitHub Explorer

libraries

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues