epfl-lara / asplos2022tutorial

ASPLOS 2022 Tutorial on Stainless

Home Page:https://epfl-lara.github.io/asplos2022tutorial/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ASPLOS 2022 Stainless tutorial

Welcome! This repository contains the examples and exercises for the Stainless tutorial.

To install Stainless and its requirements, please refer to https://epfl-lara.github.io/asplos2022tutorial/ for instructions. Do not hesitate to call us for any questions.

Happy hacking!

Further examples

The Bolts repository contains many more examples of what Stainless can verify.

About

ASPLOS 2022 Tutorial on Stainless

https://epfl-lara.github.io/asplos2022tutorial/


Languages

Language:C 91.9%Language:Scala 7.1%Language:Shell 0.9%Language:Makefile 0.1%