Ignore:
Timestamp:
May 3, 2025, 8:06:20 AM (5 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
f466d6b
Parents:
99a7163 (diff), 57c7e6c4 (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

  • src/Parser/TypeData.cpp

    r99a7163 rc9c1a7e6  
    737737                        location,
    738738                        "?=?",
    739                         {}, // forall
    740                         {}, // assertions
    741739                        {
    742740                                new ast::ObjectDecl(
    … …  
    779777                        location,
    780778                        "?{}",
    781                         {}, // forall
    782                         {}, // assertions
    783779                        {
    784780                                new ast::ObjectDecl(
    … …  
    802798                        location,
    803799                        "?{}",
    804                         {}, // forall
    805                         {}, // assertions
    806800                        {
    807801                                new ast::ObjectDecl(
    … …  
    834828                        location,
    835829                        "^?{}",
    836                         {}, // forall
    837                         {}, // assertions
    838830                        {
    839831                                new ast::ObjectDecl(
    … …  
    882874                        location,
    883875                        "?=?",
    884                         {}, // forall
    885                         {}, // assertions
    886876                        {
    887877                                new ast::ObjectDecl(
    … …  
    924914                        location,
    925915                        "?{}",
    926                         {}, // forall
    927                         {}, // assertions
    928916                        {
    929917                                new ast::ObjectDecl(
    … …  
    948936                        location,
    949937                        "?{}",
    950                         {}, // forall
    951                         {}, // assertions
    952938                        {
    953939                                new ast::ObjectDecl(
    … …  
    981967                        location,
    982968                        "^?{}",
    983                         {}, // forall
    984                         {}, // assertions
    985969                        {
    986970                                new ast::ObjectDecl(
Note: See TracChangeset for help on using the changeset viewer.