diff --git a/labs/lab1/README.md b/labs/lab1/README.md index 2977fc3c18c8467d66343c0256c0b0a70e06ffad..378199b7aaa13c05c2095fdad4fc245beb0b8f57 100644 --- a/labs/lab1/README.md +++ b/labs/lab1/README.md @@ -47,7 +47,7 @@ Download the latest stainless release from its [repository](https://github.com/e On Windows, it is recommended to run the linux version on top of the Windows Subsystem for Linux (WSL 2). -The release is an archive containing, among other things, a script called **stainless**, that you should make available on your path. Detailed instructions can be found in [this video](https://tube.switch.ch/videos/03edee61). +The release is an archive containing, among other things, a script called **stainless**, that you should make available on your path. Detailed instructions can be found in [this video](https://mediaspace.epfl.ch/media/01-21%2C%20Stainless%20Tutorial%201_4/0_h1bv5a7v). On Mac, you should also make the `z3` executable (which is part of the stainless release) available on your path. diff --git a/labs/lab2/README.md b/labs/lab2/README.md index d846e9b87a158147633be70d8f7a188917360e47..b4904c3011620a32ba57d8f086ad1d659fb44ca3 100644 --- a/labs/lab2/README.md +++ b/labs/lab2/README.md @@ -2,7 +2,7 @@ In this second lab, you will use stainless to verify a simple communication protocol. As we will see, Stainless also allows us to prove properties on traits and classes, which are at the core of every Scala program. -By now you should already have some familiarities with Stainless. You can nonetheless find useful ressources in the handout of [Lab 1](../../lab2/README.md#Tutorial) or on [Stainless repository](https://github.com/epfl-lara/stainless). +By now you should already have some familiarities with Stainless. You can nonetheless find useful ressources in the handout of [Lab 1](../lab1/README.md#Tutorial) or on [Stainless repository](https://github.com/epfl-lara/stainless). ### Getting the source diff --git a/labs/lab2/stainless-library-sources.jar b/labs/lab2/stainless-library-sources.jar new file mode 100644 index 0000000000000000000000000000000000000000..c3a5914e34888b09c7ef0f32dda81e7788c8f6fa Binary files /dev/null and b/labs/lab2/stainless-library-sources.jar differ diff --git a/labs/lab2/stainless-library.jar b/labs/lab2/stainless-library.jar new file mode 100644 index 0000000000000000000000000000000000000000..dca9abf5e1804df19412fb56f5ced01e9203a1e7 Binary files /dev/null and b/labs/lab2/stainless-library.jar differ diff --git a/labs/lab2/stainless-library_2.13-0.9.8.jar b/labs/lab2/stainless-library_2.13-0.9.8.jar deleted file mode 100644 index cb64fe8fcdbc57af44e5ecd4f4ac6eba9077db6d..0000000000000000000000000000000000000000 Binary files a/labs/lab2/stainless-library_2.13-0.9.8.jar and /dev/null differ