Branches

• fix-just-shell-and-deps

  28317acb · Set windows shell to powershell · Jul 29, 2025
• main default protected

  b9d1eefb · Merge branch '2-auxiliary-verbs' into 'main' · Jul 30, 2025
• 6-migrate-esl-sysml-mapping

  46e4cb0c · general update · Jul 30, 2025
  !18
• 3-migrate-functional-dependencies

  c4bd8802 · typo · Jul 30, 2025
  !19
• 4-migrate-logical-dependencies

  9f17adba · include figure and text · Jul 30, 2025
  !20
• 5-migrate-pdf-generation

  ae15956e · typo · Jul 31, 2025
  !21
• 8-migrate-design-dependency-analysis

  68ba361a · text and figure · Jul 31, 2025
  !23
• 7-migrate-dependency-graph-generation

  07007d9b · include esl file used for graph generation · Jul 31, 2025
  !22