3 ms·
This looks great. I look forward to using this to verify unsafe Rust codes I write. (It can verify linear probing hashmap, which is very impressive.)
by sanxiyn 5y ago
This looks great. I look forward to using this to verify unsafe Rust codes I write. (It can verify linear probing hashmap, which is very impressive.)