|version2.1.0 | 2010/06/10 | 抽象化機能の追加。全体的な高速化。 |
|version2.0.0 | 2010/05/25 | 処理系の名前をLMNtalEditorからLaViTに変更。 |
||||
|version1.3.5 | 2010/04/22 | 受理サイクルを分かりやすくするAdjust(Find) Reset機能、Search Short Cycle機能を追加。|
|version1.3.4 | 2010/04/13 | 新しいCygwinに対応。UYNOの新バージョンに対応。env.txtの補完機能追加。|
|version1.3.3 | 2010/01/29 | 状態探索状況の表示機能のMC Profilerを新たにStateProfilerとして復活。|
|version1.3.2 | 2009/12/24 | StateViewerに深さ制限機能を追加。SLIMのインストール方法の内部変更。|
|version1.3.1 | 2009/12/13 | LTL2BAの自動解凍機能を追加。|
|version1.3.0 | 2009/12/06 | State Viewerに適用ルール名の表示機能の追加。ルール名での検索機能追加。|
||||
|version1.2.2 | 2009/11/23 | LMNtal処理系、SLIMの新バージョンに対応。起動オプション--stateviewerを追加。|
|version1.2.1 | 2009/10/20 | State Viewerのズームを0.01%〜400%まで拡張。力学モデルの調節できるパラメータの増加。|
|version1.2.0 | 2009/10/07 | State Viewerに遺伝的アルゴリズム、力学モデルを導入。|
||||
|version1.1.6 | 2009/09/28 | State ViewerでSLIMからの状態遷移グラフの保存、読み込みを可能に。|
|version1.1.5 | 2009/08/31 | SLIMのバージョンをアップ。UNYOが起動できないバグを修正。|
|version1.1.4 | 2009/08/16 | SLIMのバージョンをアップ。LTLのオプション変更を可能に。|
|version1.1.3 | 2009/08/14 | SLIMのバージョンをアップ。それに伴いStateViewerも変更。|
|version1.1.2 | 2009/06/11 | LMNtalコンパイラ、SLIMのバージョンをアップ。LMNtal Editorのメモリ使用量変更機能を追加。State Viewerの特定ノードの状態遷移強調機能を追加。|
|version1.1.1 | 2009/05/21 | State Viewerのバグを修正。ノード間の距離を詰めることができる機能を追加。|
|version1.1.0 | 2009/05/18 | State Viewerにダミーノード機能、交差数削減機能を追加。状態数などの情報の表示位置も変更。|
||||
|version1.0.3 | 2009/04/16 | State Viewerのリセット機能の強化。unyo0.5.3に対応。unyo用オプション指定パネルを新設。|
|version1.0.2 | 2009/03/09 | 出力制限機能の追加。一部機能のデバッグ。|
|version1.0.1 | 2009/02/13 | PORを含んだStateViewerを可能に|
|version1.0.0 | 2009/01/19 | 細かいバグを修正してモデル検査統合環境として完成|
||||
|version0.9.7 | 2008/12/30 | LTLのシステム記述の変更に対応してLTLタブを新設。|
|version0.9.6 | 2008/12/25 | LTLのSTATEVIEWERの実装。インストーラの改善。|
|version0.9.5 | 2008/12/20 | UNYO UNYO 3Gを制限無しで起動できるように。State Viewerのスケーラビリティの大幅向上。adjust resetをさらに改良。|
|version0.9.4 | 2008/12/12 | SLIMのインストーラを追加。adjust resetを改良。|
|version0.9.3 | 2008/12/09 | State Viewer（adjust reset,group move,検索機能の見易さ向上,グラフ描写に順位,キーボード対応）の改良。エディタのファイルの扱い方を変更。slimcodeファイルの削減。|
|version0.9.2 | 2008/11/24 | MC Profilerを追加。State Viewerの状態のダブルクリックで別ウィンドウ起動。|
|version0.9.1 | 2008/11/11 | STATEVIEWERで検索機能を追加。Look&Feel,タブの大きさの変更を可能に。オートインデント機能追加。|
|version0.9.0 | 2008/11/06 | 領域を２分割しツールをタブで切り替えられるように改良。右クリックができるなど大幅にSTATEVIEWERを変更。|
||||
|version0.8.2 | 2008/10/18 | slim0.4.0に変更。Dotファイルの生成を改良。|
|version0.8.1 | 2008/10/11 | RedoUndoのバグの除去。Dotファイルの生成。STATEVIEWERの状態表示方法の変更。|
|version0.8.0 | 2008/10/01 | 要望を取り入れ、快適に使えるように様々な細かい部分を修正。プログラムの色付けも開始。|
||||
|version0.7.4 | 2008/09/05 | 現時点では新UNYOのパネル表示を廃止。ソースをチェックする『CHECK』ボタン新設。もろもろバグ出し。|
|version0.7.3 | 2008/08/23 | ioなどのライブラリが使用をできるように改良|
|version0.7.2 | 2008/08/01 | ファイル選択の初期ディレクトリをdemoになるように改良|
|version0.7.1 | 2008/08/01 | slimのパスを変更可能に改良|
|version0.7.0 | 2008/07/23 | LMNtalEditor制限付き公開開始|
