Smatch the Source Matcher
Smatch -- The Source Matcher, brought to you by the good folks at KernelJanitors. Smatch has been completely rewritten in C and now uses sparse as a C parser instead of gcc as a C parser. The new URL is http://repo.or.cz/w/smatch.git. Here are the new instructions: git clone git://repo.or.cz/smatch.git cd smatch make cd ~/your/code/ make clean make CHECK="~/path/to/smatch/smatch --full-path" \ CC=
ACL2 Version 2.9 ACL2 is both a programming language in which you can model systems and a tool to help you prove properties of those models. lisp
Welcome to the ACL2 home page! We highlight a few aspects of ACL2: Libraries (Books). Libraries of books (files containing definitions and theorems) extend the code that we have written. In particular, the distribution tarball includes the community books, which are contributed and maintained by the members of the ACL2 community. Documentation. There is an extensive user's manual for the ACL2 syst
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Payday Cash Advance Loans Online - It's Easier Than You Think
http://gulliver.eu.org/ateliers/fv-tools/fv-tool-list.html
UP4ALL Inc - uppaal.com
