https://github.com/unikraft/lib-dafny
Unikraft library for Dafny programming language.
https://github.com/unikraft/lib-dafny
dafny library unikraft
Last synced: about 2 months ago
JSON representation
Unikraft library for Dafny programming language.
- Host: GitHub
- URL: https://github.com/unikraft/lib-dafny
- Owner: unikraft
- License: other
- Created: 2021-04-19T10:33:55.000Z (about 4 years ago)
- Default Branch: staging
- Last Pushed: 2024-01-02T20:54:40.000Z (over 1 year ago)
- Last Synced: 2025-01-19T04:12:42.628Z (3 months ago)
- Topics: dafny, library, unikraft
- Language: C++
- Homepage:
- Size: 8.79 KB
- Stars: 1
- Watchers: 12
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: COPYING.md
Awesome Lists containing this project
README
Dafny for Unikraft
=============================
This is the port of Dafny as a Unikraft external library. We currently
support only the C++ output. It depends on the following libraries
that need to be added to `Makefile` in this order:
* `libc`, e.g. `newlib`
* `libcxx'
* `libunwind`
* `libcxxabi`
* `compiler-rt`
# Using Dafny in your projects
We the following suffix to `>.cpp`. For example:
```
APPHELLOWORLD_SRCS-y += $(APPHELLOWORLD_BASE)/test.dfy>.cpp
```
Please refer to the `README.md` as well as the documentation in the `doc/`
subdirectory of the main unikraft repository.