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