サクサク読めて、アプリ限定の機能も多数!
ちゃんと使いこんでハマりポイントを書いていてくれて助かる。"ヒープを使ったリストといったデータ構造にも、多少不安定ですが使えます" 不安だ。。。
masterq のブックマーク 2022/10/28 16:50
Prustiを使ってRustでプログラム検証をしよう[prusti][rust][static][verify][doc][japanese]ちゃんと使いこんでハマりポイントを書いていてくれて助かる。"ヒープを使ったリストといったデータ構造にも、多少不安定ですが使えます" 不安だ。。。2022/10/28 16:50
ちゃんと使いこんでハマりポイントを書いていてくれて助かる。"ヒープを使ったリストといったデータ構造にも、多少不安定ですが使えます" 不安だ。。。
このブックマークにはスターがありません。 最初のスターをつけてみよう!
zenn.dev/iwancof2022/09/05
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、V...
25 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
ちゃんと使いこんでハマりポイントを書いていてくれて助かる。"ヒープを使ったリストといったデータ構造にも、多少不安定ですが使えます" 不安だ。。。
masterq のブックマーク 2022/10/28 16:50
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Prustiを使ってRustでプログラム検証をしよう
zenn.dev/iwancof2022/09/05
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、V...
25 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /