https://github.com/dafny-lang/libraries
Libraries useful for Dafny programs
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (8.5%) to scientific vocabulary
Repository
Libraries useful for Dafny programs
Basic Info
- Host: GitHub
- Owner: dafny-lang
- License: other
- Language: Dafny
- Default Branch: master
- Size: 1.51 MB
Statistics
- Stars: 45
- Watchers: 14
- Forks: 25
- Open Issues: 59
- Releases: 0
Metadata Files
README-TESTING.md
Testing the libraries
The code in these libraries is tested both with deductive verification, using dafny,
and with traditional runtime testing of compilations by dafny.
The latter is important as a check that dafny compiled the (verified) dafny code correctly.
Also, some functionality (e.g. FileIO) is partially implemented using
custom code in the target programming language, which is not verified by dafny.
All files are also checked that they conform to standard dafny formatting,
using dafny format.
The tests are run using lit. The configuration of the tests is controlled by
(a) the lit.site.cfg file and (b) the yml files in .github/workflows.
The tests are run on each push to a pull_request and are required to pass to enable merging. They are also run on a nightly schedule.
To run the files manually: run lit . in this directory (libraries, at the top
of the clone of the repo). You can also manually run individual files or directories,
but lit must be invoked in the libraries directory. You can also trigger the workflow
using workflow_dispatch. To do a manual check of formatting, use dafny format --check <file or folder>.
The tests themselves are specially formatted lines (those beginning with // RUN:) in
each .dfy file. The tests use dafny's new command-line syntax, using the lit
macros %verify and %run and the like.
The versions of dafny being run are set in the tests.yml file. The versions tested
must be recent enough to support the new CLI syntax, so 3.11 and later. Also, if
verification logging is desired, the version must be at least that of 3/18/2023 when
the logging parameters were implemented in the new CLI.
Testing can be run on older versions if (a) the lit macros like %verify are redefined using
old CLI syntax and (b) the runtime testing tests are rewritten to not use dafny run.
Owner
- Name: Dafny
- Login: dafny-lang
- Kind: organization
- Repositories: 13
- Profile: https://github.com/dafny-lang
Dafny is a verification-aware programming language
GitHub Events
Total
- Create event: 6
- Issues event: 3
- Watch event: 2
- Delete event: 2
- Member event: 1
- Issue comment event: 6
- Push event: 21
- Pull request review comment event: 4
- Pull request review event: 17
- Pull request event: 13
- Fork event: 1
Last Year
- Create event: 6
- Issues event: 3
- Watch event: 2
- Delete event: 2
- Member event: 1
- Issue comment event: 6
- Push event: 21
- Pull request review comment event: 4
- Pull request review event: 17
- Pull request event: 13
- Fork event: 1
Issues and Pull Requests
Last synced: 10 months ago
All Time
- Total issues: 36
- Total pull requests: 73
- Average time to close issues: 4 months
- Average time to close pull requests: about 1 month
- Total issue authors: 11
- Total pull request authors: 21
- Average comments per issue: 1.44
- Average comments per pull request: 1.14
- Merged pull requests: 40
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 1
- Pull requests: 8
- Average time to close issues: 12 minutes
- Average time to close pull requests: 1 day
- Issue authors: 1
- Pull request authors: 3
- Average comments per issue: 1.0
- Average comments per pull request: 0.0
- Merged pull requests: 7
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- robin-aws (22)
- davidcok (2)
- seebees (2)
- cpitclaudel (2)
- stefan-aws (2)
- alex-chew (2)
- mschlaipfer (1)
- zhenkuny (1)
- lucasmcdonald3 (1)
- arsalan0c (1)
- ajewellamz (1)
- indolering (1)
Pull Request Authors
- davidcok (13)
- robin-aws (12)
- stefan-aws (8)
- seebees (7)
- atomb (6)
- MikaelMayer (5)
- alex-chew (4)
- ajewellamz (4)
- prvshah51 (3)
- RustanLeino (3)
- rishav-karanjit (2)
- cpitclaudel (2)
- JunyoungLim (1)
- gancherj (1)
- samuelgruetter (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- dorny/test-reporter v1 composite
- actions/checkout v2 composite
- actions/upload-artifact v2 composite
- dafny-lang/setup-dafny-action v1 composite