Nico Schottelius
|
56d2f2ee65
|
cleanup && integrate headers.p4 into minip4
|
2019-06-03 23:00:32 +02:00 |
|
Nico Schottelius
|
1afcd82e42
|
Update names
|
2019-04-11 10:13:54 +02:00 |
|
Nico Schottelius
|
bf59808806
|
Add checksums for udp_6, udp_v4, tcp_v6, tcp_v4
|
2019-04-11 10:08:11 +02:00 |
|
Nico Schottelius
|
16a1620002
|
Also emit the arp header
|
2019-04-02 17:16:17 +02:00 |
|
Nico Schottelius
|
26605a43e7
|
Arp is not IPv4
|
2019-03-31 16:37:21 +02:00 |
|
Nico Schottelius
|
ec40bc2c54
|
s/bool/bit<1>/
Fixing
Invalid entry type 'expression' in field list
bad json:
{
"type" : "expression",
"value" : {
"type" : "expression",
"value" : {
"left" : null,
"op" : "d2b",
"right" : {
"type" : "field",
"value" : [ "scalars", "metadata.chk_icmp6" ]
}
}
}
}
|
2019-03-30 17:02:18 +01:00 |
|
Nico Schottelius
|
d1cc9d2643
|
Rewrite one check to bit<1>
|
2019-03-30 17:01:04 +01:00 |
|
Nico Schottelius
|
f32ad44e0b
|
Refactor #n: go back to generic entry point, use if in apply{}
|
2019-03-30 14:59:46 +01:00 |
|
Nico Schottelius
|
39c280cd33
|
Correct state parser to match on icmp6.type
|
2019-03-23 14:30:20 +01:00 |
|
Nico Schottelius
|
22538a93c9
|
Update deparser type, add emitting of option field
|
2019-03-23 14:20:11 +01:00 |
|
Nico Schottelius
|
9f5a37f7f6
|
Prepare switch for fully answering NDP/NS query
Including parser which might be broken in case there are no options present
|
2019-03-23 14:15:31 +01:00 |
|
Nico Schottelius
|
f79033c0c9
|
Parse down to icmp6_na_ns
|
2019-03-23 13:33:25 +01:00 |
|
Nico Schottelius
|
7db850a731
|
[p4] remove "rest" type
|
2019-03-21 20:48:56 +01:00 |
|
Nico Schottelius
|
25f80b1b76
|
Try moving the cast to ingrees
|
2019-03-06 13:19:10 +01:00 |
|
Nico Schottelius
|
1b95179fc5
|
-typo
|
2019-03-06 13:13:01 +01:00 |
|
Nico Schottelius
|
0ca0b94b1c
|
+notes; Try shifting the cast into the parser
|
2019-03-06 13:12:06 +01:00 |
|
Nico Schottelius
|
542b4ddd50
|
rename to v4networks
|
2019-03-04 16:38:06 +01:00 |
|
Nico Schottelius
|
ea1873c14c
|
Use types for signalling expected action
|
2019-03-04 16:23:28 +01:00 |
|
Nico Schottelius
|
e8e33c78ea
|
[p4] --typo
|
2019-02-23 21:15:47 +01:00 |
|
Nico Schottelius
|
67bf3878d0
|
[p4] update parser to emit all (potentially] modified headers
|
2019-02-23 21:15:10 +01:00 |
|
Nico Schottelius
|
214ccd4479
|
+headers +parsers [udp, icmp, icmp6]
|
2019-02-22 00:01:53 +01:00 |
|
Nico Schottelius
|
b795374efb
|
Add tcp_length
|
2019-02-21 23:27:55 +01:00 |
|
Nico Schottelius
|
d20c8a0a8b
|
[P4] basic parser
|
2019-02-21 23:09:03 +01:00 |
|