Commits · main · Kacper Feliks Korban / CS550

Sep 26, 2024
- PDF for Lecture 4 as well · 9c6f8233
  Viktor Kuncak authored 5 months ago
  
  9c6f8233
- links to lecture slides · ba757dca
  Viktor Kuncak authored 5 months ago
  
  ba757dca
- Playlist for lectures 4,5 · 679e2114
  Viktor Kuncak authored 5 months ago
  
  679e2114
- Schedule and material for Week 3 · def74f15
  Viktor Kuncak authored 5 months ago
  
  def74f15
- update scala version and project settings · 60c3aaf4
  Simon Guilloud authored 5 months ago
  
  60c3aaf4
Sep 25, 2024
- update lab2 · d4e83d2a
  Simon Guilloud authored 5 months ago
  
  d4e83d2a
Sep 24, 2024
- Update README.md · 8c2d0c64
  Simon Guilloud authored 5 months ago
  
  8c2d0c64
- Update README.md · dc11e311
  Simon Guilloud authored 5 months ago
  
  dc11e311
- Update README.md · d4492478
  Simon Guilloud authored 5 months ago
  
  d4492478
- New version of jars · eca37e49
  Viktor Kuncak authored 5 months ago
  
  eca37e49
- Update versions in comments · edfc99e1
  Dario Halilovic authored 5 months ago
  
  edfc99e1
- Small changes · 0c2413f9
  Viktor Kuncak authored 5 months ago
  
  0c2413f9
- Update exercise 1 to color links rather than boxing them. · c9a7b751
  Simon Guilloud authored 5 months ago
  
  c9a7b751
- fix conflict with part 2 of lab · 971ca670
  Simon Guilloud authored 5 months ago
  
  971ca670
- Add new part to lab on propositions, reorganize files. · 30e39c62
  Simon Guilloud authored 5 months ago
  
  30e39c62
Sep 19, 2024
- fix stainless dependency · cb31ebaf
  Simon Guilloud authored 5 months ago
  
  cb31ebaf
- Extend lab01 with propositional logic. · 7eefd9e2
  Simon Guilloud authored 5 months ago
  
  7eefd9e2
Sep 17, 2024
- exam date · bd3f373f
  Viktor Kuncak authored 5 months ago
  
  bd3f373f
Sep 16, 2024
- Outline of week 2 · aeefd8fb
  Viktor Kuncak authored 5 months ago
  
  aeefd8fb
Sep 13, 2024
- Links for lecture 3 videos · e5225052
  Viktor Kuncak authored 5 months ago
  
  e5225052
- Fix broken links · f784109c
  Viktor Kuncak authored 5 months ago
  
  f784109c
Sep 10, 2024
- Cleanup · 0af69055
  Viktor Kuncak authored 6 months ago
  
  0af69055
- Mid-term is some time in November · 691714ab
  Viktor Kuncak authored 6 months ago
  
  691714ab
- Updated links for Week 01 · 937bb2ca
  Viktor Kuncak authored 6 months ago
  
  937bb2ca
- Lecture 01 with updated links · 66de205a
  Viktor Kuncak authored 6 months ago
  
  66de205a
Sep 06, 2024
- Repated note on videos · 41d58dd8
  Viktor Kuncak authored 6 months ago
  
  41d58dd8
Sep 05, 2024
- Note about channel links · d9443ccf
  Viktor Kuncak authored 6 months ago
  
  d9443ccf
Dec 21, 2023
- Move final day schedule 10 day earlier · 242bd8f3
  Viktor Kuncak authored 1 year ago
  
  242bd8f3
Dec 17, 2023
- Lecture slides for Hardware Verification lecture · d68e0d5d
  Viktor Kuncak authored 1 year ago
  
  d68e0d5d
Dec 11, 2023
- Update README.md with slight change on Friday's dates · dd41e809
  Simon Guilloud authored 1 year ago
  
  dd41e809
- Update README.md · 5710e681
  Simon Guilloud authored 1 year ago
  
  5710e681
- Update README.md with times of presentations · 03b0cfad
  Simon Guilloud authored 1 year ago
  
  03b0cfad
Dec 08, 2023
- Update README.md · 007b1660
  Simon Guilloud authored 1 year ago
  
  007b1660
- Upload New File · c1a662ae
  Simon Guilloud authored 1 year ago
  
  c1a662ae
- Outline till end of year · 4fd35118
  Viktor Kuncak authored 1 year ago
  
  4fd35118
Dec 07, 2023
- update solutions · 7c15e342
  Andrea Etienne Gilot authored 1 year ago
  
  7c15e342
Dec 06, 2023
- When repo is public, you must be careful with your commit messages · cea1e311
  Viktor Kuncak authored 1 year ago
  
  cea1e311
Dec 01, 2023
- Added termination · e5371671
  Viktor Kuncak authored 1 year ago
  
  e5371671
- moved midterm · 6ff80d37
  Viktor Kuncak authored 1 year ago
  
  6ff80d37
- exam solutions posted · 647fbb76
  Viktor Kuncak authored 1 year ago
  
  647fbb76