Skip to content

Commit c43d869

Browse files
fruffyfruffy
committed
Bookkeeping. (#63)
1 parent 30f54c1 commit c43d869

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

103 files changed

+61
-485
lines changed

‎bugs/README.md‎

Lines changed: 60 additions & 60 deletions

‎bugs/tofino/crash/bug12.p4‎ renamed to ‎bugs/bf-p4c/crash/bug12.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

‎bugs/tofino/crash/bug17.p4‎ renamed to ‎bugs/bf-p4c/crash/bug17.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

‎bugs/tofino/crash/bug22.p4‎ renamed to ‎bugs/bf-p4c/crash/bug22.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

‎bugs/tofino/crash/bug23.p4‎ renamed to ‎bugs/bf-p4c/crash/bug23.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

53

6-
74
header ethernet_t {
85
bit<48> dst_addr;
96
bit<48> src_addr;

‎bugs/tofino/crash/bug26.p4‎ renamed to ‎bugs/bf-p4c/crash/bug26.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
header ethernet_t {
74
bit<48> dst_addr;
85
bit<48> src_addr;

‎bugs/tofino/crash/bug10.p4‎ renamed to ‎bugs/bf-p4c/crash/fixed/bug10.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

‎bugs/tofino/crash/bug11.p4‎ renamed to ‎bugs/bf-p4c/crash/fixed/bug11.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

‎bugs/tofino/crash/fixed/bug14.p4‎ renamed to ‎bugs/bf-p4c/crash/fixed/bug14.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

‎bugs/tofino/crash/fixed/bug15.p4‎ renamed to ‎bugs/bf-p4c/crash/fixed/bug15.p4‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
1-
#include <core.p4>
2-
#define __TARGET_TOFINO__ 1
31
#include <tna.p4>
42

5-
63
struct ingress_metadata_t {}
74
struct egress_metadata_t {}
85

0 commit comments

Comments
 (0)