feat(barrier): add support for barrier meta instruction

[qartik]

Also updates some deps.

[qartik]

This is required to be able to treat Barrier as, e.g., an op under a conditional. See CQCL/pytket-phir#119

[qciaran]

Normal blocks seem to be working well for me; however, conditional blocks give me a validation error. I am guessing the true and false branches of the if block need to accept "meta" or "block" instructions.

[qartik]

conditional blocks give me a validation error. I am guessing the true and false branches of the if block need to accept "meta" or "block" instructions.

That's surprising. I have your test included in my PR at https://github.com/CQCL/pytket-phir/pull/118/files#diff-d6e59c872f76d32d22d06c331425ef74680d731ed77c20029e26f5fcfe551491 and I don't see a validation error there.

Can you share more what example is failing?

[qciaran]

I am not using pytket-phir but instead testing a PHIR file directly.

If I set interp.phir_validation = True for this test https://github.com/PECOS-packages/PECOS/blob/fb01d5caab71c743353dac76a22ea60ed64441ef/tests/integration/test_phir.py#L292 everything is fine.

But doing the same for https://github.com/PECOS-packages/PECOS/blob/fb01d5caab71c743353dac76a22ea60ed64441ef/tests/integration/test_phir.py#L308 leads to a validation error. Maybe the fault it mine, though.

[qartik]

I am guessing the true and false branches of the if block need to accept "meta" or "block" instructions.

You were right, the failure is because of the "qparallel" blocks being inside the branches of the conditional. "meta" (really "barrier" only) is already included as part of OpType. Pushing a fix.

[qartik]

@qciaran if you try again, it should pass. Thanks for pointing this issue out even though it was unrelated to the "barrier" instruction.

[qciaran]

Works for me.