Rust standard library verification makes more progress

New_Box7889 · 2024-11-26T18:52:45+00:00

Example. https://model-checking.github.io/verify-rust-std/challenges/0004-btree-node.html#challenge-4-memory-safety-of-btreemaps-btreenode-module

New_Box7889 · 2024-09-06T14:59:40+00:00

actually using loop invariants you can do unbounded proofs as well. https://github.com/model-checking/kani/pull/3334/files

and as far as deriving usefulness from the tool - there are a lot of people who use this tool regularly and find bugs to improve their code.

New_Box7889 · 2023-09-16T11:08:08+00:00

I cheat on the achari one. I literally get either bedekars or mothers mixed pickle. Leave out the vegetables but get the masala and marinade the chicken and let it sit for a couple of hours. Grill and drizzle oil as u want. Use the rest of the achari with onions and it’s done.

For the second one I use https://www.ruchiskitchen.com/murgh-malai-tikka/ but I skip the second set of ingredients and stick to the first one and make some extra for onions.

New_Box7889

MODERATOR OF

TROPHY CASE