master-thesis/p4src
Nico Schottelius b8897a7b35 Adjust headers to work with netpfga #1
make[1]: Entering directory '/home/nico/master-thesis/netpfga/minip4/src'
p4c-sdnet -o minip4.sdnet --sdnet_info .sdnet_switch_info.dat minip4_solution.p4
headers.p4(12): error: Duplicate declaration of port_t; previous at
typedef bit<9> port_t
               ^^^^^^
/opt/xilinx/SDNet/2018.2/data/p4include/sume_switch.p4(37)
typedef bit<8> port_t;
               ^^^^^^
headers.p4(12): error: port_t: Duplicates declaration port_t
typedef bit<9> port_t;
               ^^^^^^
/opt/xilinx/SDNet/2018.2/data/p4include/sume_switch.p4(37)
typedef bit<8> port_t;
               ^^^^^^
error: 2 errors encountered, aborting compilation
make[1]: *** [Makefile:5: all] Error 1
make[1]: Leaving directory '/home/nico/master-thesis/netpfga/minip4/src'
make: *** [Makefile:31: frontend] Error 2
2019-06-06 22:34:32 +02:00
..
.gitignore doc + gitignore for p4src 2019-03-14 14:12:50 +01:00
bug1-bool.p4 Add checksums for udp_6, udp_v4, tcp_v6, tcp_v4 2019-04-11 10:08:11 +02:00
checksums.p4 -, 2019-04-11 10:11:57 +02:00
headers.p4 Adjust headers to work with netpfga #1 2019-06-06 22:34:32 +02:00
nat64.p4 begin to integrate headers of real code into netpfga 2019-06-03 22:33:37 +02:00
parsers.p4 cleanup && integrate headers.p4 into minip4 2019-06-03 23:00:32 +02:00
settings.p4 Add icmp handling / replying 2019-04-03 10:52:25 +02:00