source: src/AST/ForallSubstitutor.hpp

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(add) @e0e9a0b   6 years a3moss Somewhat deeper clone for types with forall qualifiers. * Added … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Note: See TracRevisionLog for help on using the revision log.