mkeda/remove_primitives : lp:p4lang-p4c-nightly : Git : Code : p4lang-p4c-nightly

Get this branch:: git clone -b mkeda/remove_primitives https://git.launchpad.net/p4lang-p4c-nightly

Branch information

e20b834... by mkeda <email address hidden> on 2019-07-22

Remove primitives not defined in v1model

Also remove P4-14 examples that exercise them.

4f04121... by Antonin Bas <email address hidden> on 2019-07-19

Support serializable enums in const table entries

Most of the changes are in the p4RuntimeSerializer. One change was
required in type unification to support:
`((bit<16>)MyEnum2B.MBR2) &&& 0xff00`

`MyEnum2B.MBR2 &&& 0xff00` gives a compiler error, but AFAIK that is
conformant to the P4_16 spec.

ac15b6f... by Aashlesha Patil <email address hidden> on 2019-07-18

Added support for zeros_as_ones (#2005)

a7f145c... by Andy Fingerhut <email address hidden> on 2019-07-15

Add documentation of assert and assume statements (#2002)

47c0d7e... by Mihai Budiu <email address hidden> on 2019-07-12

Warn on unsupported use of recirculate/resubmit/clone (#2000)

* Warn on unsupported constructs

22c96f1... by Mihai Budiu <email address hidden> on 2019-07-11

Constant fold values with type int; fixes #1997 (#1998)

91046b0... by Mihai Budiu <email address hidden> on 2019-07-10

emit braces for ifs; fixes #1992 (#1995)

b3d150e... by Han Wang <email address hidden> on 2019-07-10

add type args to extern instance (#1996)

aabd499... by Mihai Budiu <email address hidden> on 2019-07-10

Bug fix in typechecker: fixes #1937 (#1948)

* Bug fix in typechecker: fixes #1937

05383ad... by Chris Dodd <email address hidden> on 2019-07-10

Fix gc.cpp tracing (#1993)

»