実行するパスがpanicしないことを調べる。"cargo mirai"だけで検証できるのはお手軽。注釈を付けるクレートが二種類あるらしい。他のプロジェクトより実用性を重視していると表明している。比較記事が読みたい

masterq のブックマーク 2022/11/01 18:48

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4665307030289527777/comment/masterq" data-user-id="masterq" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/facebookexperimental/MIRAI" data-original-href="https://github.com/facebookexperimental/MIRAI" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Ffacebookexperimental%2FMIRAI" data-user-icon="/users/masterq/profile.png">GitHub - facebookexperimental/MIRAI: Rust mid-level IR Abstract Interpreter</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/rust">rust</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/static">static</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/verify">verify</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/language">language</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/facebook">facebook</a>]</li></ul><br><p style="clear: left">実行するパスがpanicしないことを調べる。&quot;cargo mirai&quot;だけで検証できるのはお手軽。注釈を付けるクレートが二種類あるらしい。他のプロジェクトより実用性を重視していると表明している。比較記事が読みたい</p><a class="datetime" href="https://b.hatena.ne.jp/masterq/20221101#bookmark-4665307030289527777"><span class="datetime-body">2022/11/01 18:48</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

GitHub - facebookexperimental/MIRAI: Rust mid-level IR Abstract Interpreter

github.com/facebookexperimental2019/03/02

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re...

3 人がブックマーク・1 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

GitHub - facebookexperimental/MIRAI: Rust mid-level IR Abstract Interpreter

はてなブックマーク

公式Twitter

はてなのサービス