Commits · ba88147bec679bb981e2736c6d4e6b3b72c71597 · W. Spencer Smith / cas741 · GitLab

Snippets Groups Projects

Mar 25, 2025
- Add link to user manual slides · ba88147b
  W. Spencer Smith authored 2 weeks ago
  
  ba88147b
- Addition of a link to latexdiff · 3ada46ba
  W. Spencer Smith authored 3 weeks ago
  
  3ada46ba
- Addition of slide on course evaluations · a0263b1b
  W. Spencer Smith authored 3 weeks ago
  
  a0263b1b
- Updates for Assurance Case Lecture · f608da45
  W. Spencer Smith authored 3 weeks ago
  
  f608da45
Jan 15, 2025
- Fix links to swhs and other examples · 87d75644
  W. Spencer Smith authored 2 months ago
  
  87d75644
May 27, 2024
- Changes related to challenge level and extras · 336a714d
  W. Spencer Smith authored 10 months ago
  
  336a714d
May 25, 2024
- Update reflection and trace section of slides to be more explicit on expectations · 6100fbcd
  W. Spencer Smith authored 10 months ago
  
  6100fbcd
- Changes to incorporate challenge levels and extras; presentation critique expectations · e71524e0
  W. Spencer Smith authored 10 months ago
  
  e71524e0
Apr 24, 2024
- Addition of reminders on README and INSTALL.md · fe73c274
  W. Spencer Smith authored 11 months ago
  
  fe73c274
Apr 23, 2024
- Added advice to include a header for each source file · 2ef72591
  W. Spencer Smith authored 11 months ago
  
  2ef72591
Apr 16, 2024
- Addition of some notes related to the final presentation · bf1d4db0
  W. Spencer Smith authored 11 months ago
  
  bf1d4db0
Mar 19, 2024
- Updates to L19 · ddbab38f
  W. Spencer Smith authored 1 year ago
  
  ddbab38f
Mar 16, 2024
- Updates to L19 on topics for final presentation · a492bbe8
  W. Spencer Smith authored 1 year ago
  
  a492bbe8
Mar 15, 2024
- Added a reminder for draft participation grade · acb41683
  W. Spencer Smith authored 1 year ago
  
  acb41683
Mar 22, 2023
- Final revisions of L19 · 546ab60e
  W. Spencer Smith authored 2 years ago
  
  546ab60e
- Renamed Implementation to Assurance Case · 311c816e
  W. Spencer Smith authored 2 years ago
  
  311c816e
- Additions to L19 · d85cf876
  W. Spencer Smith authored 2 years ago
  
  d85cf876
Mar 15, 2023
- Rename lecture for assurance cases · 505ba969
  W. Spencer Smith authored 2 years ago
  
  505ba969