p4lang-p4c-nightly:hanw/remove-annotations

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

2db6a4b... by Han Wang <email address hidden> on 2018-10-19

use struct name instead of annotation

b1678d7... by Han Wang <email address hidden> on 2018-10-19

remove unnecessary annotations in v1model

817b8b5... by Han Wang <email address hidden> on 2018-10-18

fix for issue 1559 (#1561)

e4e233b... by Antonin Bas <email address hidden> on 2018-10-18

Extend arch-handler interface in P4Runtime serializer code

* modify postCollect method to accept a pointer to symbol table instead
  of a const reference, in case the architecture-specific code needs to
  add some new symbols to the table
* add postAdd method so that some architecture-specific post-processing
  can be performed on the P4Info message after all objects have been
  added

4678d8b... by Mihai Budiu <email address hidden> on 2018-10-18

Fix for issue #1544 (#1555)

* Fix for issue #1544
* One more test case

8f07f7b... by Mihai Budiu <email address hidden> on 2018-10-17

Fix for issue #1542 (#1556)

* Fix for issue #1542
* Fix for issue #1557

53da97e... by Chris Dodd <email address hidden> on 2018-10-17

Save/restore prune_flag in Transform::apply_visitor

5f94852... by zma-barefoot <email address hidden> on 2018-10-16

get parser value set size from annotation (#1554)

943ef16... by Calin Cascaval <email address hidden> on 2018-10-14

add saturated arithmetic support to p4-14

Implements saturated arithmetic in P4-14.

This also requires refactoring the map caching the bit
types. Previously, we were storing signed and unsigned in separate
maps. We unified the maps and added a key consisting of
(width, sign).

Since P4-16 supports only operations as saturated, the conversion
routines for the supported primitives, add, subtract, add_to_field,
subtract_from_field, change the operation to saturated if any of its
arguments are saturated.

13a5f7b... by ChrisDodd on 2018-10-15

'saturating' as attribute in P4_14 parser. (#1553)