Ignore:
Timestamp:
May 13, 2025, 1:17:50 PM (4 months ago)
Author:
Mike Brooks <mlbrooks@…>
Branches:
master
Children:
0528d79
Parents:
7d02d35 (diff), 2410424 (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

    r7d02d35 rbd72f517  
    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.