[asl][typing] Typing Reference Pre-Beta step 3 - Githubissues

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

215 stars 54 forks source link

[asl][typing] Typing Reference Pre-Beta step 3 #858

Closed Roman-Manevich closed 2 months ago

Roman-Manevich commented 3 months ago

Work to get the ASL Typing Reference ready for another round of reviews on May 13th.

[x] Introduction and background.
[x] Domain of Values for Types
[x] Basic Type Attributes
[x] Relations Over Types
[x] Typing of bitfields
[x] Typing of Types
[x] Typing of Expressions
[x] Typing of Left-Hand-Side Expressions
[x] Typing of Slices
[x] Typing of Patterns
[x] Typing of Local Declarations
[x] Typing of Blocks
[x] Typing of Catchers
[x] Typing of Subprograms