Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Shuttle is a library for testing concurrent Rust code
A synthesis-enabled solver for relational logic
An advanced automated reasoning tool for memory consistency model specifications.
Optimizing Synthesis with Metasketches, POPL 2016
Forked from awslabs/quivela
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
run z3 on iOS for some reason
Seeing something unexpected? Take a look at the
GitHub profile guide.