Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/xldenis/whycode
https://github.com/xldenis/whycode
Last synced: about 19 hours ago
JSON representation
- Host: GitHub
- URL: https://github.com/xldenis/whycode
- Owner: xldenis
- License: lgpl-2.1
- Created: 2021-10-04T21:36:04.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2024-09-13T11:19:57.000Z (21 days ago)
- Last Synced: 2024-09-14T09:57:13.994Z (20 days ago)
- Language: OCaml
- Size: 335 KB
- Stars: 17
- Watchers: 5
- Forks: 4
- Open Issues: 10
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# WhyCode: A VsCode front-end for Why3
This repository contains an experiment in using VsCode as a front-end for the [Why3](http://why3.lri.fr) prover framework, rather than its hand-built GTK frontend.
# Using the VSCode Extension
- Launch VSCode and run the command `Start Why3`
# Proving Rust code with Creusot
- Setup the server and client like shown above
- Go to your VSCode settings
- In `Whycode: Extra Args` add `-L/path/to/creusot/prelude/`# FAQ
- I can't see the task tree!
- Unfortunately that is not yet supproted
- Something seems like a bug!
- It probably is, so don't hesitate to [open an issue](https://github.com/xldenis/whycode).