Rik-de-Kort

Idea: leverage PyPy

1

Given that * The PyPy interpreter is built upon RPython which is a subset of Python * CrossHair essentially reimplements the Python interpreter in z3 and derives useful results from...

Undocumented dependency on tk

2

**Expected vs actual behavior** After forking the repo I followed the stebs in [contributing](https://crosshair.readthedocs.io/en/latest/contributing.html), but go thte error that tkinter could not be found. I am on Arch so there's...

Documentation lacks a clear explanation of what num-traits does

1

"Numeric traits for generic mathematics in Rust." is a nice concise one-line description of num_traits. There's just one problem: I have no clue what the crate actually does! Provide traits...

@guvectorize not accepting new size variable (i.e. () -> (n)) in output argument

7

MnWE: ````python from numba import guvectorize @guvectorize("int64, int64[:]", "() -> (n)") def result(x, res): for i in range(3): res[i] = x if __name__ == "__main__": print(result(3)) ```` Yields the following...

Clarify shrinking

1

This PR mainly extracts shrinking passes into their own functions, and tries to write these functions to be a bit more legible.