AliveToolkit/alive2

LLVM 最適化の自動検証

↗ GitHub で開く

スター

1,163

フォーク

160

言語

C++

ライセンス

MIT

最終プッシュ

1 週間前

C++verification model-checking llvm llvm-ir smt symbolic-execution automatic-verification translation-validation

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。