Commits · main · Jan de Muijnck-Hughes / CS886 Advanced-Security-by-Design · GitLab

Snippets Groups Projects

Apr 10, 2025
- [ admin ] moved parts of the preamble upstream · 3deab8c3
  Jan de Muijnck-Hughes authored 2 weeks ago
  
  3deab8c3
Apr 03, 2025
- [ AY2425 ][ admin ] Academic year over \0/ now archiving. · bfb7b0d7
  Jan de Muijnck-Hughes authored 3 weeks ago
  
  View commits for tag AY2425 AY2425
  
  bfb7b0d7
Mar 27, 2025
- [ Admin ][ Oops ] · 72ad3389
  Jan de Muijnck-Hughes authored 4 weeks ago
  
  72ad3389
- [ Admin ] Harmonise Makefiles · c76c734e
  Jan de Muijnck-Hughes authored 4 weeks ago
  c76c734e
- [ Admin ] · 85e4cd1e
  Jan de Muijnck-Hughes authored 4 weeks ago
  
  85e4cd1e
- [ AY2425 ][ WK10 ] Update · 8df60111
  Jan de Muijnck-Hughes authored 4 weeks ago
  
  8df60111
Mar 26, 2025
- [ AY2425 ][ Week 10 ] reset marker... · 01fee4ae
  Jan de Muijnck-Hughes authored 4 weeks ago
  
  01fee4ae
- [ AY2425 ][ Week 10 ] over... · c42d55e9
  Jan de Muijnck-Hughes authored 4 weeks ago
  
  c42d55e9
Mar 21, 2025
- [ AY2425 ][ Week 9 ] handout · 9d2c359c
  Jan de Muijnck-Hughes authored 1 month ago
  
  9d2c359c
- [ AY2425 ][ Week 8 ] Exercise and Tutorial · 69bb5510
  Jan de Muijnck-Hughes authored 1 month ago
  
  69bb5510
- [ AY2425 ][ Week 7 ] oops wrong title. · dfc109ee
  Jan de Muijnck-Hughes authored 1 month ago
  
  dfc109ee
- [ AY2425 ][ Syllabus ] Updates and cleaning. · e60da9b9
  Jan de Muijnck-Hughes authored 1 month ago
  
  e60da9b9
Mar 19, 2025
- [ AY2425 ][ Week 8 ] Initial dump of week 8. · 761c5560
  Jan de Muijnck-Hughes authored 1 month ago
  
  761c5560
Mar 12, 2025
- [ AY2425 ][ Week 08 ] init · b67ed42a
  Jan de Muijnck-Hughes authored 1 month ago
  
  b67ed42a
- [ AY2425 ][ Week 6/7 ] fix. · a86227b4
  Jan de Muijnck-Hughes authored 1 month ago
  
  a86227b4
- [ AY2425 ][ Week 7/8 ] materials · e1163b45
  Jan de Muijnck-Hughes authored 1 month ago
  
  e1163b45
Mar 07, 2025
- [ AY2425 ][ Week 7/8 ] initial dump of materials. · 29d168a7
  Jan de Muijnck-Hughes authored 1 month ago
  
  29d168a7
Mar 05, 2025
- [ AY2425 ][ Week 6 ] Updates · cccd75b5
  Jan de Muijnck-Hughes authored 1 month ago
  
  cccd75b5
Feb 26, 2025
- [ AY2425 ][ Week 5 ] materials. · 9cfb10ce
  Jan de Muijnck-Hughes authored 1 month ago
  
  9cfb10ce
Feb 25, 2025
- [ AY2425 ] A great renaming + Week 5 content · 363d8270
  Jan de Muijnck-Hughes authored 1 month ago
  
  363d8270
- [ AY2425 ][ Tutorial + Exercise ] naming · 4d86a674
  Jan de Muijnck-Hughes authored 1 month ago
  
  4d86a674
- [ AY2425 ][ Objectives ] naming · f13d9289
  Jan de Muijnck-Hughes authored 1 month ago
  
  f13d9289
Feb 21, 2025
- [ AY2425 ][ Week 6 ] exercise · a48f5fa7
  Jan de Muijnck-Hughes authored 2 months ago
  
  a48f5fa7
- [ AY2425 ][ Week 6 ] Exercise · 6409bb5a
  Jan de Muijnck-Hughes authored 2 months ago
  
  6409bb5a
- [ AY2425 ][ Week 6 ] exercise · c38b64ee
  Jan de Muijnck-Hughes authored 2 months ago
  
  c38b64ee
- [ AY2425 ] Updates to Week 4 lecture, Week 5 Exercise · 2cf3a8fe
  Jan de Muijnck-Hughes authored 2 months ago
  
  2cf3a8fe
Feb 20, 2025
- [ AY2425 ][ Week 5/6 ] resoures for live coding. · 00c64708
  Jan de Muijnck-Hughes authored 2 months ago
  
  00c64708
Feb 19, 2025
- [ AY2425 ][ Week 5/6 ] has live code · 6eea91de
  Jan de Muijnck-Hughes authored 2 months ago
  
  6eea91de
- [ AY2425 ] Many changes · 66420e68
  Jan de Muijnck-Hughes authored 2 months ago
  66420e68
Feb 18, 2025
- [ AY2425 ][ Consolidation ] · fe051b25
  Jan de Muijnck-Hughes authored 2 months ago
  
  fe051b25
- [ AY2425 ][ Week 5 ] Live code for pivot · 92c99f5e
  Jan de Muijnck-Hughes authored 2 months ago
  
  92c99f5e
- [ AY2425 ][ Week 6 ] live code examples · 294b3414
  Jan de Muijnck-Hughes authored 2 months ago
  
  294b3414
- [ AY2425 ] Updates to exercises and tutorials. · d29a6d3f
  Jan de Muijnck-Hughes authored 2 months ago
  
  d29a6d3f
Feb 14, 2025
- [ AY2425 ][ Admin ] major pivot. · 96376d7f
  Jan de Muijnck-Hughes authored 2 months ago
  
  96376d7f
- [ AY2425 ][ Live Code ] tempaltes. · a32f2339
  Jan de Muijnck-Hughes authored 2 months ago
  
  a32f2339
Feb 13, 2025
- [ AY2425 ][ Guides ] idris basics · dab5cd1e
  Jan de Muijnck-Hughes authored 2 months ago
  
  dab5cd1e
- [ AY2425 ][ Guides ] basic dafny. · c6c50e83
  Jan de Muijnck-Hughes authored 2 months ago
  
  c6c50e83
- [ AY2425 ][ Week 5 ] live code · b6daa378
  Jan de Muijnck-Hughes authored 2 months ago
  
  b6daa378
Feb 12, 2025
- [ AY2425 ][ Week4 ] updates · 8e34f130
  Jan de Muijnck-Hughes authored 2 months ago
  
  8e34f130
- [ AY2425 ][ Week 4 ] tutorial and notes · 2549e2c2
  Jan de Muijnck-Hughes authored 2 months ago
  
  2549e2c2