Adam T. Geller comments

Results 8 comments of


                                            Adam T. Geller

Getting Prusti internal error related to while loop condition

Would the same problem possibly arise for other sorts of checks as well? Or just overflow checks? I'm getting a similar error in a loop condition without any addition or...

Error about chaining pure functions

I was able to minimize the example some. Here's a smaller example where chaining a dereference with a pure function causes issues (the error occurs at the line `let y...

Implemented a Racket FFI

I think we should ensure that the returned store is an extension of the store that we call the host function with. This will give us Racket errors instead of...

Draft of dependency graph generation algorithm

I have read the Contributor License Agreement and I hereby accept the Terms.

Draft of dependency graph generation algorithm

Can be used like so: `cudaq-quake FILE | cudaq-opt --add-dealloc --factor-quantum-alloc --memtoreg --cse --canonicalize --assign-ids --dep-analysis`. Use `--debug` to see lifetime info printed. An example test case can be found...

Draft of dependency graph generation algorithm

Closing in lieu of #2163

[Python] Support named argument syntax for passing kernel parameters to `sample` and `observe` APIs

This issue is still present: keyword arguments are not supported in `observe`.

python/tests/backends/test_resource_counter.py isn't stable

I've been unable to reproduce this particular failure (though I've seen other intermittent failures presumably related to #3347). It seems that the changes from `dyn_cast` to `dyn_cast_if_present` in `RuntimeMLIRCommonImpl.h` from...