source: src/Validate/ForallPointerDecay.hpp

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @14c0f7b   2 years ajbeach Added invariant to check that referenced declarations are in scope. …
(edit) @11df881   3 years ajbeach Updated documentation on pre-resolver passes, moving code to headers … ADT ast-experimental pthread-emulation qualifiedEnum
(edit) @298fe57   3 years ajbeach Translated 3/4 of validate_B. Link Reference To Types has been removed … ADT ast-experimental pthread-emulation qualifiedEnum
(add) @9490621   4 years ajbeach My work in progress implementation of ForallPointerDecay for Fangren. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
Note: See TracRevisionLog for help on using the revision log.