See #5810 for a bit of context. There's an inconsistency with XmlPoke and XslTransformation. The docs on XmlReaderSettings.DtdProcessing state that the default value is Prohibit, which neit...

Originally from https://gitter.im/eclipse/xtext?at=5d12129718e3256238394794 Git clone can fail on Windows due to long file paths. Resolving deltas: 100% (68762/68762), done. error: unable to create...

White foreground vs pink background contrast ratio Add lang to html element

The rumble pak had a large number of supported games, and the controller pak likewise had an extensive list of support, with not insignificant crossover. Many of the games that supported both allow...

When running a highstate, I was getting the following error and traceback: [ERROR ] An un-handled exception was caught by salt's global exception handler: AttributeError: 'NoneType&...

This issue is to remind us to develop a new option in ESBMC (e.g., --undef-behaviour-check) to check for undefined behaviour. In particular, this check would add an assert(const >= 0) or ass...

Issue Description Pretty minor issue, but MissingRestorePropertyError isn't a thing, so we shouldn't pretend we can throw it. Steps to Reproduce dotnet build /rp: on anything. Expec...

Is your feature request related to a use case or problem? Please describe. The only place that uses atol in that function is cirq.linalg.linalg.allclose_up_to_global_phase and it too takes in a def...

Description of the issue Doing operations like __pow__, __mul__, __rmul__, __abs__, tensor_product etc. on a MutableDensePauliString return a DensePauliString because these methods are inherited fr...

Is your feature request related to a use case or problem? Please describe. Right now a lot of modules (in particular tests) are pretty free form with how they do imports. It's a good practi...

Related to #319 and and a prerequisite to #944 The Record and RecordMetadata classes should be marked with @Deprecated annotation.

According to this report it appears that the library does not distinguish between failed external link traversal due to file access mode EACCES (Permission denied) or file existence ENOENT (No such...

Énis

Today I used patch-package to patch aegir@36.1.3 for the project I'm working on. I'm working on building out https://github.com/ipfs-shipyard/js-pinning-service-http-client. For thi...

Our simplification code has some design flaws that hurt performance: It is performed top-down: we try to simplify the top expr, then the operands, then the top expr again (if the simplification of ...

Is your feature request related to a problem? Please describe. No, but would be good to have a consistent look all around Describe the solution you'd like Would integrate eslint unicorn

Description of the issue cirq.two_qubit_matrix_to_operations decomposes a 2q unitary matrix into CZs + single qubit rotations. The method was originally written when we had only decomposition into ...

We need a list of every intrinsic function that we have and how to use it. This would be useful for users and developers.

In the following example int main() { int a; assert(a != 42); } ESBMC would not give the value of "a" in the counterexample. We should be able to know that "a" a...

Every assert that are using dynamic strings: assert(0 && oss.str().c_str()); I think that we should: Replace them with the default_msg.error Make msg.error abort