search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Add documentation for codespaces use and link to a sample repo #1440

Closed samuelchassot closed 3 months ago

vkuncak commented 10 months ago

@samuelchassot maybe we should write slightly more general remark on using vscode as a default IDE for Stainless? Because we are not using Scala 3 and that only really seems to work in vscode. Decoupling ssh functionality from codespaces functionality seems more to the point of what workflow we recommend.

samuelchassot commented 10 months ago

@samuelchassot maybe we should write slightly more general remark on using vscode as a default IDE for Stainless? Because we are not using Scala 3 and that only really seems to work in vscode. Decoupling ssh functionality from codespaces functionality seems more to the point of what workflow we recommend.

@vkuncak I agree on the VSCode as default IDE, that sounds good! Concerning the SSH, it would indeed be good to mention. I don't think it would apply to as many people, as it requires to own and setup a server.

samuelchassot commented 3 months ago

Can you remove scala 2 references in the example repo https://github.com/samuelchassot/Stainless-codespaces Then we can link the documentation change.

Done! I also applied the suggested change above