VerifyThis-Verus

More info on the challenges

Checklist:

2024

• Challenge 0
• Challenge 1
• Challenge 2+3

2023

• Challenge 1
• Challenge 2 (Tasks 1, 2, 3)
• Challenge 3

2022

• Challenge 1 (Tasks 1, 2)
• Challenge 2 (Tasks 1, 2)
• Challenge 3

2021

• Challenge 1 (Tasks 1, 4, 6, partial: 2, 5)
• Challenge 2
• Challenge 3 (Tasks 1, 2, 3)

2019

• Challenge 1 (Part A)
• Challenge 2
• Challenge 3

2018

• Challenge 1
• Challenge 2 (assuming no Rust overflows occur)
• Challenge 3
• Challenge 4

2017

• Challenge 1
• Challenge 3
• Challenge 4

2016

• Challenge 1
• Challenge 2
• Challenge 3

2015

• Challenge 1
• Challenge 2
• Challenge 3

2014

• Challenge 1
• Challenge 2

2012

• Challenge 1
• Challenge 2 (admits)
• Challenge 3

2011

• Challenge 1
• Challenge 2
• Challenge 3