Code

Specification Improvements#93

Code

Merged

l-kent merged 3 commits intomainUQ-PAC/BASIL:mainfrom direct-spec-improvementsUQ-PAC/BASIL:direct-spec-improvementsCopy head branch name to clipboardOct 13, 2023

+135-111

Commits

Commits on Oct 9, 2023

• allows user to manually specify modifies section by adding 'Modifies: R0' etc. to subroutine specifications

  

  l-kent

  committed
  68aed94

• fix direct functions parsing issue

  

  l-kent

  committed
  c2a6e8c

Commits on Oct 13, 2023

• Merge branch 'main' into direct-spec-improvements

  Show description for 7fabd61
  

  l-kent

  committed
  7fabd61