Code

Mbudiu#46

Code

Merged

ChrisDodd merged 3 commits intomasterp4lang/p4c:masterfrom mbudiup4lang/p4c:mbudiuCopy head branch name to clipboardMay 10, 2016

+127,045-82,047

Commits

Commits on May 9, 2016

• Moved P4/IR dumping into options and made uniform

  mbudiu-bfn

  committed
  6b1a8ed

• Merge branch 'master' into mbudiu

  mbudiu-bfn

  committed
  e7b70c4

Commits on May 10, 2016

• Changed setValid(bool) to setValid() and setInvalid()

  mbudiu-bfn

  committed
  b9304c0