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

‎bugs/tofino/crash/fixed/bug16.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug16.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/bug18.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug18.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/bug19.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug19.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/bug20.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug20.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/bug21.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug21.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/bug24.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug24.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/bug25.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug25.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/bug30.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug30.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/bug31.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug31.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/bug33.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug33.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/bug35.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug35.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/bug5.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug5.p4

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

53
struct ingress_metadata_t {}

‎bugs/tofino/crash/fixed/bug6.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug6.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/bug7.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug7.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/bug8.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug8.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/bug9.p4 renamed to ‎bugs/bf-p4c/crash/fixed/bug9.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/denied/bug1.p4 renamed to ‎bugs/bf-p4c/crash/rejected/bug1.p4

File renamed without changes.

‎bugs/tofino/crash/denied/bug2.p4 renamed to ‎bugs/bf-p4c/crash/rejected/bug2.p4

File renamed without changes.

‎bugs/tofino/crash/denied/bug28.p4 renamed to ‎bugs/bf-p4c/crash/rejected/bug28.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/denied/bug32.p4 renamed to ‎bugs/bf-p4c/crash/rejected/bug32.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/denied/bug4.p4 renamed to ‎bugs/bf-p4c/crash/rejected/bug4.p4

File renamed without changes.

‎bugs/tofino/missing_pass/bug13.p4 renamed to ‎bugs/bf-p4c/missing_pass/bug13.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/missing_pass/bug27.p4 renamed to ‎bugs/bf-p4c/missing_pass/bug27.p4

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

53
header ethernet_t {

‎bugs/tofino/missing_pass/bug29.p4 renamed to ‎bugs/bf-p4c/missing_pass/bug29.p4

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

53
header ethernet_t {

‎bugs/tofino/missing_pass/bug3.p4 renamed to ‎bugs/bf-p4c/missing_pass/bug3.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/missing_pass/bug34.p4 renamed to ‎bugs/bf-p4c/missing_pass/bug34.p4

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

53
header ethernet_t {

‎bugs/tofino/semantic/semantic_bug1.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug1.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/semantic/semantic_bug1.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug1.stf

File renamed without changes.

‎bugs/tofino/semantic/fixed/semantic_bug2.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug2.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/semantic/fixed/semantic_bug2.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug2.stf

File renamed without changes.

‎bugs/tofino/semantic/semantic_bug3.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug3.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/semantic/semantic_bug3.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug3.stf

File renamed without changes.

‎bugs/tofino/semantic/fixed/semantic_bug4.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug4.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/semantic/fixed/semantic_bug4.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug4.stf

File renamed without changes.

‎bugs/tofino/semantic/fixed/semantic_bug5.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug5.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/semantic/fixed/semantic_bug5.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug5.stf

File renamed without changes.

‎bugs/tofino/semantic/fixed/semantic_bug7.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug7.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/semantic/fixed/semantic_bug7.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug7.stf

File renamed without changes.

‎bugs/tofino/semantic/fixed/semantic_bug8.p4 renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug8.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/semantic/fixed/semantic_bug8.stf renamed to ‎bugs/bf-p4c/semantic/fixed/semantic_bug8.stf

File renamed without changes.

‎bugs/tofino/semantic/denied/semantic_bug10.p4 renamed to ‎bugs/bf-p4c/semantic/rejected/semantic_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
header ethernet_t {
74
bit<48> dst_addr;
85
bit<48> src_addr;

‎bugs/tofino/semantic/denied/semantic_bug10.stf renamed to ‎bugs/bf-p4c/semantic/rejected/semantic_bug10.stf

File renamed without changes.

‎bugs/tofino/semantic/denied/semantic_bug6.p4 renamed to ‎bugs/bf-p4c/semantic/rejected/semantic_bug6.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/semantic/denied/semantic_bug6.stf renamed to ‎bugs/bf-p4c/semantic/rejected/semantic_bug6.stf

File renamed without changes.

‎bugs/tofino/semantic/denied/semantic_bug9.p4 renamed to ‎bugs/bf-p4c/semantic/rejected/semantic_bug9.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/semantic/denied/semantic_bug9.stf renamed to ‎bugs/bf-p4c/semantic/rejected/semantic_bug9.stf

File renamed without changes.

‎bugs/crash/denied/2207.p4 renamed to ‎bugs/crash/rejected/2207.p4

File renamed without changes.

‎bugs/crash/denied/2486.p4 renamed to ‎bugs/crash/rejected/2486.p4

File renamed without changes.

‎bugs/crash/denied/2542.p4 renamed to ‎bugs/crash/rejected/2542.p4

File renamed without changes.

‎bugs/tofino/crash/bug10.txt

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎bugs/tofino/crash/bug11.txt

Lines changed: 0 additions & 22 deletions
This file was deleted.

0 commit comments

Comments
 (0)