bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

Alloy4 rc11

完全にalloyな人向けのメモですが、リリースされてます。自分はまだ試せてませんけど。
変更内容はこんな感じ。結構メジャーチェンジ。(以下alloy-discuss のメーリングリストより引用)

1. The Evaluator can now name atoms and skolems. (yay! thank you Felix!)

2. "Magic Layout" infers vizualizer settings for you. This usually
produces a better looking and more meaningful picture than the default
yellow-box settings.

つか、実は1は個人的に要望してたものなので、実装されたのは結構ありがたかったり。
Magic Layoutもちょっと内容聞きかじってはいて、ちゃんと動けばすごく便利だと思いますが、ちゃんと動くかは果たして謎。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。