Jeremy Salwen

Support newer versions of llvm

3

llvm3.4 is getting old, and code written against newer compiler/standards versions fails to compile with clang3.4. Moving to a newer version of llvm would help keep this tool alive. Feature...

std::swap noexcept workaround is inaccurate

3

The commit b74e3a9 fixes clang 4.0's complaint, but still exhibits a bug. The noexcept specification will check the noexceptness of std::swap(E&, E&), but inside the function, ADL is used, and...

Add assertion macros that work inside both RC and non-RC GTest tests.

1

The macros RC_GTEST_* ipmlement assertions that work inside GTest tests that use rapidcheck, and GTest tests that don't use rapidcheck. This allows users to write utility functions that work in...

[Feature Request] Assertion macro that works inside both RC and non-RC GTest tests.

3

Right now, inside RapidCheck tests, it is necessary to assert using RC_ASSERT, and inside GTest tests it is necessary to use EXPECT_EQ and whatnot. However, I would like to write...

Here is the output from the reduce_opencl test http://pastebin.com/enVGPrxt from the ireduce_opencl (using gdb to debug the segfault) http://pastebin.com/28VD2Uew from medfilt_opencl http://pastebin.com/aQkRYyGF from mean_opencl: http://pastebin.com/YnxY3uvu

I have a test that perform an invalid write inside unsafe code. However, this program just crashes with a segfault when asan is enabled. No backtrace, or error message besides...

Add support for per-object retraction settings.

5

This change adds support for per-object retraction settings to CuraEngine. The main mechanism is through changing the code to track a pointer to the SliceMeshStorage instead of just storing the...

'index out of bounds' panic in mir_encoder

3

Installed prusti through VS Code plugin, ran the checker on a small project, and hit the following crash: ``` thread 'rustc' panicked at 'index out of bounds: the len is...

Very cool project! I was just testing it out with some examples from the Software Foundations book. One example I tried it seemed Z3 found a proof, but the reconstruction...

I noticed that this project reserved the crate embassy-avr: https://lib.rs/crates/embassy-avr Does this foretell AVR support in the near future?