Ignore:
Timestamp:
Aug 31, 2021, 1:41:42 PM (10 months ago)
Author:
Jacob Prud'homme <jafprudhomme@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master
Children:
4a1bc44
Parents:
480389d2 (diff), 6cf21ed8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into jacob/cs343-translation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/andrew_beach_MMath/existing.tex

    r480389d2 r0660962  
    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.