Add missing ops and improve claripy compatibility #32

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cargo fmt	12s
cargo clippy	18s
Test on ubuntu-latest	29s
Test on macos-latest	27s
Test on windows-latest	1m 1s
	2m 27s