Hacker GitHub

← All repos

nrc/libhoare

View on GitHub ↗ ★ 260 Rust

Design by contract style assertions for Rust

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2015-04-25 · latest 2019-04-17

Mentions per year 3 mentions · busiest year 2015 (1)
20082026
AllStoriesComments NewestTopOldest
  1. There's actually already a library that does what the author is talking about: https://github.com/nrc/libhoare They call it "design by contract" rather than "deductive verification" though. Wish there wouldn't be so many terms for the same…
    comment by kaiby · 2019-04-17 · in Rust: Beyond the Typechecker
  2. …DbC as a language feature and a library [2]. [1] https://github.com/rust-lang/rfcs/issues/1077 [2] https://github.com/nrc/libhoare
    comment by wyldfire · 2016-09-30 · in A Hoare Logic for Rust
  3. …(x < 0) return 0; return x; } I noticed there are annotations for Rust with the LibHoare library ( https://github.com/nrc/libhoare ). The example above might look like: #[postcond="result >= 0"] fn foo(x: int) -> int { if x < 0 { 0 } else…
    comment by eliteraspberrie · 2015-04-25 · in Rust once, run everywhere