Commits · 505ba969c52cb48eb49f342117d305152e495028 · W. Spencer Smith / cas741

Mar 15, 2023
- Rename lecture for assurance cases · 505ba969
  W. Spencer Smith authored 2 years ago
  
  505ba969
Mar 09, 2023
- Updates to MIS continued lecture · 8a7e5e65
  W. Spencer Smith authored 2 years ago
  
  8a7e5e65
Mar 08, 2023
- Addition of a comment about declartive specification · 74ff2cfa
  W. Spencer Smith authored 2 years ago
  
  74ff2cfa
- Update pdf of slides · 7671a65d
  W. Spencer Smith authored 2 years ago
  
  7671a65d
- Added a space for easier hyperlink access · 11cd68e7
  W. Spencer Smith authored 2 years ago
  
  11cd68e7
- Updates to MIS lectures · d34e2cc8
  W. Spencer Smith authored 2 years ago
  
  d34e2cc8
- Changes to POC 2 class · 957afbf3
  W. Spencer Smith authored 2 years ago
  
  957afbf3
Mar 03, 2023
- Update deadlines, add reminder notes to implementation lecture · dd4a2cb9
  W. Spencer Smith authored 2 years ago
  
  dd4a2cb9
Feb 28, 2023
- Updates for L13 on modular design · 535caf8b
  W. Spencer Smith authored 2 years ago
  
  535caf8b
Feb 23, 2023
- Updates to L13 for an introduction to modular design · 4c60818a
  W. Spencer Smith authored 2 years ago
  
  4c60818a
Feb 20, 2023
- Merge branch 'master' into 'master' · 877bb581
  W. Spencer Smith authored 2 years ago
  
  change Sam's repo to forked version of Drasil See merge request !16
  877bb581
- change Sam's repo to forked version of Drasil · fd0d2247
  Samuel Crawford authored 2 years ago
  
  fd0d2247
- Merge branch 'master' of https://gitlab.cas.mcmaster.ca/smiths/cas741 · fb17de53
  Samuel Crawford authored 2 years ago
  
  fb17de53
Feb 10, 2023
- Updates slides related to next week's presentations · fb25ab67
  W. Spencer Smith authored 2 years ago
  
  fb25ab67
- Link to vdisp as an example of CI for a Julia program · df5fb9c1
  W. Spencer Smith authored 2 years ago
  
  df5fb9c1
Feb 09, 2023
- Updates to VnV lectures, especially VnVContinued · fb1195bb
  W. Spencer Smith authored 2 years ago
  
  fb1195bb
Feb 08, 2023
- Updates to some DE and SE assignments · 0bdea9ed
  W. Spencer Smith authored 2 years ago
  
  0bdea9ed
- Added clarification that length is a state variable · 506c33fa
  W. Spencer Smith authored 2 years ago
  
  506c33fa
- Addition of a link on constructive criticism · 0e4c2f0a
  W. Spencer Smith authored 2 years ago
  
  0e4c2f0a
Feb 07, 2023
- Updates to vnv related slides, github review notes · 2c0d2cb0
  W. Spencer Smith authored 2 years ago
  
  2c0d2cb0
Feb 03, 2023
- Updated deadlines file · 39cecff5
  W. Spencer Smith authored 2 years ago
  
  39cecff5
- Updates to VM instructions (use ssh and update pointer to CI info) · 8b3793d6
  W. Spencer Smith authored 2 years ago
  
  8b3793d6
Feb 02, 2023
- Updates to deadlines and SRS Presentation 3 slides · 47f933db
  W. Spencer Smith authored 2 years ago
  
  47f933db
Jan 27, 2023
- Updates to SRS Presentation slides · dbef4341
  W. Spencer Smith authored 2 years ago
  
  dbef4341
- Update to deadline dates (switched Karen and Lesley) · 4a6eab05
  W. Spencer Smith authored 2 years ago
  
  4a6eab05
Jan 26, 2023
- Approval of Maryam's project. All projects now approved. · cbc8f166
  W. Spencer Smith authored 2 years ago
  
  cbc8f166
- Merge branch 'master' into 'master' · c40ed82e
  W. Spencer Smith authored 2 years ago
  
  Update repos.csv for Maryam See merge request !15
  c40ed82e
- Update repos.csv for Maryam · ce64850d
  Maryam Valian authored 2 years ago
  
  ce64850d
- Approval of Karen's project · afeca150
  W. Spencer Smith authored 2 years ago
  
  afeca150
Jan 25, 2023
- Assignment of domain and secondary reviewers · db7b460b
  W. Spencer Smith authored 2 years ago
  
  db7b460b
- Approval of Mina's project · 25fd8a3e
  W. Spencer Smith authored 2 years ago
  
  25fd8a3e
- Merge branch 'master' into 'master' · 76bb274a
  W. Spencer Smith authored 2 years ago
  
  added mina's project information See merge request !14
  76bb274a
- added my info · cb3e75d7
  Mina authored 2 years ago
  
  cb3e75d7
- For Sam! · a8e1ffa5
  W. Spencer Smith authored 2 years ago
  
  a8e1ffa5
Jan 22, 2023
- Deesha's project approved. · 4c3d584b
  W. Spencer Smith authored 2 years ago
  
  4c3d584b
Jan 21, 2023
- Remove those that have very likely dropped the course · a03327e7
  W. Spencer Smith authored 2 years ago
  
  a03327e7
- Approval of Lesley's project · 68ec3f48
  W. Spencer Smith authored 2 years ago
  
  68ec3f48
- Approval of Joachim's problem statement · 2d32474d
  W. Spencer Smith authored 2 years ago
  
  2d32474d
- Approval of Zehong's problem statement · b3b182b4
  W. Spencer Smith authored 2 years ago
  
  b3b182b4
- Approved Jason's project · 494cec77
  W. Spencer Smith authored 2 years ago
  
  494cec77