Ian McCormack

Sure! I'll be able to look at this in the next day or so, and I'll get back to you ASAP.

My apologies for the delay! I tried building this in the first docker container configuration I mentioned, which I had linked under [Dockerfile-custom.txt](https://github.com/secure-software-engineering/phasar/files/9914681/Dockerfile-custom.txt). I received the following error: ``` CMake...

Sorry for the wait! I just tried building in a local docker container using ./bootstrap.sh on my M1 Mac, and it worked correctly, passing all tests. Closing this issue.

The extension requires forks of Miri and the LLVM toolchain, so we had to use a different compiler build to avoid symbol clashes. This is still a research experiment, and...

I ran a couple of the tests I mentioned above using an updated version of the tool, and I'm seeing the same error for each one. * `fft::domain::tests::test_roots_of_unity` * `fft::polynomial::dense::tests::double_polynomials_random`...

I've developed a version of Miri that can execute foreign functions by interpreting LLVM bytecode, and it found a Tree Borrows violation related to mutating through `self.as_ptr()`. Writing through the...

> If you [add extern types to the mix](https://play.rust-lang.org/?version=stable&mode=release&edition=2021&gist=eadb927c958434ba2094d88164a43af8), you'll see the exact same LLVM IR @madsmtm I think you accidentally used the same link twice. Based on [this pull...

Gotcha! To clarify my thought process here: I'm new to working with `Rc`, so I had thought that you could get around this with a change to using `Weak`, but...