Solutions

This page contains links to the solutions developed by participants during the competition, and polished afterwards. Solutions may be updated as time goes on.
ċ
ChallengeI.zip
(5k)
Marieke Huisman,
Jun 22, 2016, 12:18 PM
ċ
ChallengeII.zip
(6k)
Marieke Huisman,
Jun 22, 2016, 12:18 PM
ċ
ChallengeIII.zip
(246k)
Marieke Huisman,
Jun 22, 2016, 12:18 PM
ċ
barrier.cvl
(3k)
Marieke Huisman,
Mar 17, 2017, 1:38 AM
ċ
challenge1.dfy
(2k)
Marieke Huisman,
Apr 17, 2016, 5:09 AM
ċ
matmul.java
(5k)
Marieke Huisman,
Apr 6, 2016, 2:41 AM
ċ
mmp1.cvl
(2k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
mmp2.cvl
(1k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
mmp3.cvl
(5k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
tree.cvl
(2k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
tree_barrier.java
(10k)
Marieke Huisman,
Apr 6, 2016, 2:42 AM
ċ
tree_traversal.java
(4k)
Marieke Huisman,
Apr 6, 2016, 2:42 AM