Ignore:
Timestamp:
Aug 31, 2021, 1:23:59 PM (9 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master
Children:
0660962, e37db11
Parents:
0a55a53
Message:

Andrew MMath: First pass on adding missing citations.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/andrew_beach_MMath/existing.tex

    r0a55a53 r6cf21ed8  
    224224The global definition of @do_once@ is ignored, however if quadruple took a
    225225@double@ argument, then the global definition would be used instead as it
    226 would then be a better match.
    227 \todo{cite Aaron's thesis (maybe)}
     226would then be a better match.\cite{Moss19}
    228227
    229228To avoid typing long lists of assertions, constraints can be collected into
Note: See TracChangeset for help on using the changeset viewer.