| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-23 | pseudocode: a collection of variable declaration fixes | Kevin Petit | |
| Only cases where types are obvious. - Add missing types - Do not re-declare variables - Fix scope of declaration Signed-off-by: Kevin Petit <kevin.petit@arm.com> Change-Id: I7d44d9adde606094e0a7910fb438649521ff3ec0 | |||
| 2024-01-15 | Move operator pseudocode to separate files | Kevin Petit | |
| This makes it easier to process the pseudocode automatically. Change-Id: I84394192598e589de07d43a7af60b96788e14f86 Signed-off-by: Kevin Petit <kevin.petit@arm.com> | |||
 |
index : specification.git | |
| [no description] |
| aboutsummaryrefslogtreecommitdiff |