現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the source.
- Go to バージョン履歴.
バージョン履歴 †
- 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 領域を2分割しツールをタブで切り替えられるように改良。右クリックができるなど大幅に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?制限付き公開開始