p4lang-p4c-nightly

p4lang-p4c-nightly:hanw/fix-type-infer

  1. Git
  2. lp:p4lang-p4c-nightly
  3. hanw/fix-type-infer
Last commit made on 2019-04-15
Get this branch:
git clone -b hanw/fix-type-infer https://git.launchpad.net/p4lang-p4c-nightly

Branch merges

Branch information

Name:
hanw/fix-type-infer
Repository:
lp:p4lang-p4c-nightly

Recent commits

8a0ad18... by Han Wang <email address hidden>

do not remove extern method type parameter during type inference

e0e1139... by Han Wang <email address hidden>

add p4parser.hpp to controlplane dependency (#1851)

63d6efb... by Mihai Budiu <email address hidden>

Convert some error messages to the new format (#1813)

* Convert some error messages to the new format

a7aa7d0... by Antonin Bas <email address hidden>

Restrict duplicate name check for P4Info to objects of the same "type" (#1849)

It seems that some people use P4Runtime with P4_14 programs. In P4_14 it
is valid (and quite common) when defining a keyless table with a const
default action to use the same same for both the table and the default
action. When the compiler translates the program to P4_16, it ensures
that the names are different but preserves the original names with a
@name annotation. The @name annotation is used when generating the
P4Info message. In order to avoid breaking backward-compatibility for
these P4_14 programs, it seems that we need to restrict the duplicate
name check to objects of the same type. This is a weaker guarantee than
what is required by both the P4_16 and the P4Runtime spec but in my
experience consumers of P4Info are capable of handling non-unique names,
as longs as names are unique for a given object type.

b73449d... by Han Wang <email address hidden>

remove dependency between controlplane and frontend (#1850)

74bcfa3... by "Peter J. Li" <email address hidden>

add bmv2 psa_switch stf tests for drop all, unicast, multicast (#1848)

* add drop-all and unicast-or-drop stf tests

* update unicast stf test to be andys instead of my incorrect version

* add basic multicast test from demo

* psa tests should fail on travis, add them to xfail

899f77a... by Han Wang <email address hidden>

A couple bugfixes (#1847)

* do not discard header annotation while flattening

* bugfix in stringref.h

7fbe8d3... by Antonin Bas <email address hidden>

Detect duplicate names in P4Info (#1844)

* Detect duplicate names in P4Info

1debc8b... by Han Wang <email address hidden>

fix stf test (#1846)

afcf5fc... by Han Wang <email address hidden>

opts.json_source is only available in DEVELOPER mode (#1843)