Changeset bfcd3af for doc/proposals


Ignore:
Timestamp:
May 24, 2024, 2:46:33 PM (16 months ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
c819d90
Parents:
e6f1a4b (diff), dc74231 (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' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/proposals/autogen.md

    re6f1a4b rbfcd3af  
    4646
    4747Results in the following autogenerated expands to:
    48     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     48        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    4949        void ?{}(Cell(T)&);
    50     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     50        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5151        void ?{}(Cell(T)&, Cell(T));
    52     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     52        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5353        void ^?{}(Cell(T)&);
    54     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     54        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5555        void ?=?(Cell(T)&, Cell(T));
    56     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     56        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5757        void ?{}(Cell(T)&, T);
    5858
    5959If these assertions were reduced to the minimial required assertions the result would instead look something like the:
    60     forall(T* | { void ?{}(T&); })
     60        forall(T* | { void ?{}(T&); })
    6161        void ?{}(Cell(T)&);
    62     forall(T* | { void ?{}(T&, T); })
     62        forall(T* | { void ?{}(T&, T); })
    6363        void ?{}(Cell(T)&, Cell(T));
    64     forall(T* | { void ^?{}(T&); })
     64        forall(T* | { void ^?{}(T&); })
    6565        void ^?{}(Cell(T)&);
    66     forall(T* | { T ?=?(T&, T); })
     66        forall(T* | { T ?=?(T&, T); })
    6767        void ?=?(Cell(T)&, Cell(T));
    68     forall(T* | { void ?{}(T&, T); })
     68        forall(T* | { void ?{}(T&, T); })
    6969        void ?{}(Cell(T)&, T);
    7070
Note: See TracChangeset for help on using the changeset viewer.