Callum Macpherson

Hi, Can I ask what the syntax would be in `_config.yml` to use different logo images in light vs dark mode? My light mode logo is black which obviously doesn't...

Thanks @janash ! That works for me. I've done it in `conf.py` before with `sphinx_book_theme` but wasn't sure if it was the same in `_config.yml`.

I'm working on putting something together for this.

Could this be a Boolean flag? i.e `Backend.get_compiled_circuit(check_predicates=True)` Or maybe just give a warning saying that not all predicates are satisfied and specifying which one?

I think a warning could also be informative here. If your compiled circuit is invalid - it's probably useful to know which predicates are not satisfied.

Wouldn't this be better as a new method? We would still want to be able to get an explicit module by name.

Modules no longer exist, I think we can close this.

Is this issue causing problems for tket-json-rs?

Hi, Thanks a lot for rasing this. One of us will take a look.

I think it should be made a bit clearer to the user what the `allow_swaps=False` flag means. In the case of `FullPeepholeOptimise` does `allow_swaps=False` just prevent implicit swaps? We do...