Commits · main · program-verification / course-2021-2022

23 Jun, 2022 1 commit
- Deadline extension. · cb149198
  Jules Jacobs authored Jun 23, 2022
  
  cb149198
22 Jun, 2022 1 commit
- Add 2021/2022 exam. · cfddc72b
  Robbert Krebbers authored Jun 22, 2022
  
  cfddc72b
14 Jun, 2022 1 commit
- Fix bug in practice exam exercise 6b and answer of 6d. Thanks Loes Kruger for noticing. · 0c25aca3
  Robbert Krebbers authored Jun 14, 2022
  
  0c25aca3
08 Jun, 2022 1 commit
- Answers practice exam. · 8a609390
  Robbert Krebbers authored Jun 08, 2022
  
  8a609390
02 Jun, 2022 1 commit
- Note about Hoare rules in project. · e095215b
  Robbert Krebbers authored Jun 02, 2022
  
  e095215b
24 May, 2022 2 commits
- Fix typo. Thanks Loes Kruger. · ff6e5761
  Robbert Krebbers authored May 24, 2022
  
  ff6e5761
- Lecture material week 13. · 522260e0
  Robbert Krebbers authored May 24, 2022
  
  522260e0
23 May, 2022 5 commits
- Typo fix. · 044da46f
  Robbert Krebbers authored May 23, 2022
  
  044da46f
- Small update to practice exam. · 1045dda5
  Robbert Krebbers authored May 23, 2022
  
  1045dda5
- Tweaks. · 7ea9be90
  Robbert Krebbers authored May 23, 2022
  
  7ea9be90
- Typo. · cef01873
  Robbert Krebbers authored May 23, 2022
  
  cef01873
- Practice exam. · bde1db0d
  Robbert Krebbers authored May 23, 2022
  
  bde1db0d
20 May, 2022 5 commits
- Another typo fix. · 7db44740
  Robbert Krebbers authored May 20, 2022
  
  7db44740
- Fix typo. · 6d08930d
  Robbert Krebbers authored May 20, 2022
  
  6d08930d
- Nits. · 1fcc5156
  Robbert Krebbers authored May 20, 2022
  
  1fcc5156
- Another link. · f9cdb158
  Robbert Krebbers authored May 20, 2022
  
  f9cdb158
- Project 2. · aa8bb913
  Robbert Krebbers authored May 20, 2022
  
  aa8bb913
17 May, 2022 2 commits
- Schedule. · 940a6cff
  Robbert Krebbers authored May 17, 2022
  
  940a6cff
- Rust week 12. · 8acc7f3e
  Robbert Krebbers authored May 17, 2022
  
  8acc7f3e
13 May, 2022 1 commit
- Clarification week 10. · d5563856
  Robbert Krebbers authored May 13, 2022
  
  d5563856
10 May, 2022 8 commits
- Fix typo. · 170df6b0
  Robbert Krebbers authored May 10, 2022
  
  170df6b0
- Fix typo in header week 11. · dc25963f
  Robbert Krebbers authored May 10, 2022
  
  dc25963f
- Lecture notes and homework week 11. · d59cce3c
  Robbert Krebbers authored May 10, 2022
  
  d59cce3c
- Add some results about substitution. · 95616db1
  Robbert Krebbers authored May 10, 2022
  
  95616db1
- Add header to week 10. · 75aa8858
  Robbert Krebbers authored May 10, 2022
  
  75aa8858
- Fix typo in week 6. · 2ff481fe
  Robbert Krebbers authored May 10, 2022
  
  2ff481fe
- Fix a bug in the substitution function in week 9. · 6e8b5797
  Robbert Krebbers authored May 10, 2022
  
  6e8b5797
- Tweak `StringMap` so that it no longer unifies with `NatMap`. · ef8d6e0e
  Robbert Krebbers authored May 10, 2022
  
  ef8d6e0e
26 Apr, 2022 6 commits
- Write something about `iSpecialize`. · 1a256c79
  Robbert Krebbers authored Apr 26, 2022
  
  1a256c79
- Remove superfluous comments. · 5efe2dd4
  Robbert Krebbers authored Apr 26, 2022
  
  5efe2dd4
- Week 10. · e422b715
  Robbert Krebbers authored Apr 26, 2022
  
  e422b715
- Add recursive functions to week 9. · e370ef6b
  Robbert Krebbers authored Apr 26, 2022
  
  e370ef6b
- Notation loc, so we can more clearly express intent. · 3824461f
  Robbert Krebbers authored Apr 26, 2022
  
  3824461f
- A little more consistent naming in week 6. · f640a0fd
  Robbert Krebbers authored Apr 26, 2022
  
  f640a0fd
19 Apr, 2022 4 commits
- Material week 9. · 76ca5214
  Robbert Krebbers authored Apr 19, 2022
  
  76ca5214
- Minor fixes lecture notes week 8. · a601ade0
  Robbert Krebbers authored Apr 19, 2022
  
  a601ade0
- Add some more lemmas about finite maps. · f382bc09
  Robbert Krebbers authored Apr 19, 2022
  
  f382bc09
- Change notation of entailment from `|-` to `|~` so that it does not conflict with Ltac's `|-`. · b0015abd
  Robbert Krebbers authored Apr 19, 2022
  
  b0015abd
13 Apr, 2022 1 commit
- I forgot a lemma about points_to, added the key property. · 628404fa
  Robbert Krebbers authored Apr 13, 2022
  
  628404fa
12 Apr, 2022 1 commit
- Tweak order and add hint. · c1fb826c
  Robbert Krebbers authored Apr 12, 2022
  
  c1fb826c