p4lang-p4c-nightly:hanw/4-to-6

Last commit made on 2019-06-18
Get this branch:
git clone -b hanw/4-to-6 https://git.launchpad.net/p4lang-p4c-nightly

Branch merges

Branch information

Name:
hanw/4-to-6
Repository:
lp:p4lang-p4c-nightly

Recent commits

900ee18... by Han Wang <email address hidden>

allowing backend to disable two passes in p4-14 conversion

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

fix access to CompilerOptions

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

minor fix

9b3b7a8... by Han Wang <email address hidden>

minor fix

739c7c2... by Han Wang <email address hidden>

checkpoint

9652bf1... by Han Wang <email address hidden>

checkpoint

6466ecc... by enisah <email address hidden>

Added support for assert and assume statement in bmv2 backend (#1548) (#1859)

* Added support for assert and assume statement

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

add erase method to NamedObjectInfo (#1971)

95d3274... by Andy Fingerhut <email address hidden>

Fix for issue 1923 (#1970)

* fix for issue 1923: assignments in ingress apply block not represented
* Add a PSA test program that works with the fix, fails without

fbe06f5... by Andy Fingerhut <email address hidden>

Small updates to the same command lines in README (#1965)

The sample commands given used to create a P4Info file, but not
additional command line options are needed for that to happen.