- May 14, 2024
-
-
Samuel Chassot authored
* make inox submodule tracking main branch * fix deprecated syntax in StainlessPlugin.scala * wrong return type for def globalSettings in StainlessPlugin.scala * add note about submodules in the readme
-
- May 13, 2024
-
-
Samuel Chassot authored
* add documentation for codespaces * add comment about vscode over ssh * update README for codespaces
-
- May 08, 2024
-
-
Samuel Chassot authored
* remove scalac frontend * readme upate to remove scala 2 * scripts * update scripts * add a note on scala 2.13 support * Update README.md --------- Co-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>
-
- May 06, 2024
-
-
Viktor Kunčak authored
-
- May 02, 2024
-
-
- Nov 04, 2023
-
-
Mario Bucev authored
-
- Oct 06, 2023
-
-
Mario Bucev authored
-
- Jun 23, 2023
-
-
Viktor Kunčak authored
-
- Nov 17, 2022
-
-
Mario Bucev authored
-
- Mar 19, 2022
-
-
Viktor Kuncak authored
-
- Mar 04, 2022
-
-
Mario Bucev authored
-
- Jan 21, 2022
-
-
Viktor Kunčak authored
-
- Jan 20, 2022
-
-
Viktor Kunčak authored
-
- Jan 18, 2022
-
-
Viktor Kunčak authored
-
- Aug 26, 2021
-
-
Viktor Kuncak authored
-
- Jan 20, 2021
-
-
Added links to videos
-
- Jul 03, 2020
- May 27, 2020
-
-
- Feb 03, 2020
-
-
Romain Ruetschi authored
-
- Sep 19, 2019
-
-
Romain Ruetschi authored
-
- Jul 20, 2019
-
-
- Jul 17, 2019
-
-
Romain Ruetschi authored
-
Romain Ruetschi authored
-
- Jul 09, 2019
-
-
Romain Ruetschi authored
-
- Jul 02, 2019
-
-
Romain Ruetschi authored
-
- May 28, 2019
-
-
- May 21, 2019
-
-
Viktor Kuncak authored
-
- Feb 28, 2019
-
-
Romain Ruetschi authored
-
- Feb 10, 2019
-
-
Viktor Kuncak authored
A few links in README to help users find other relevant information
-
- Apr 30, 2018
-
-
Mirco Dotta authored
-
- Feb 20, 2017
-
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
- Feb 18, 2017
-
-
Nicolas Voirol authored
-
- Feb 17, 2017
-
-
Nicolas Voirol authored
-
- Aug 17, 2016
-
-
Nicolas Voirol authored
-