Top / ご意見・ご要望・バグ報告
ご意見・バグ報告等ありましたらここにお願いいたします。
- [2013-10-14] SLIMパス指定画面の挙動の改善をお願いします。 (miyahara)
- [2013-10-14] state viewer の状態の詳細表示ウィンドウを常にLaViTよりも前に表示されるようにしてください。 (miyahara)
- [2012-04-12] エディタとLTL Model Checkのタブを同期できたらいいな~。(experimental version)(meguro)
- [2012-04-10]
「lmntal --slimcode --hl-opt | slim --hl -」を実行したいのですが、現時点の仕様だとできないみたいです。できました、すいません!(meguro) - [2008-09-02] 今回の合宿で欲しくなった機能を無責任に書いてみます。(seiji)
- eclipseのようにファイルの同期・コミットができたらいいな~。
- 複数のファイルを同時に開いておけるといいな~。(既に取り掛かっているそうですが)
- [2008-11-14] ファイルを新規作成時にテンプレートを取り込むような機能が欲しい。その際に、テンプレートを選択可能にしてくれるとよりうれしい。(kobayashi)
- [2008-12-12] LE094をOS: XP SP2 pro. で実行してみましたので、感想、その他。(kobayashi)
- ダブルクリックでの起動は成功。
- SLIMのインストールは失敗。同封のバイナリでは実行可能。
- 各種機能(とくにStateViewer?の中の機能)の意味が全然わからないので、(このページ中でもいいので)どこかに説明を書いてほしい。
- LMNtalオプション以外の普段変えない設定は、Optionタブ中でなく設定ボタンに置いた方が良いかも。
- [2008-12-15] ファイルを開いたとき最後の行が\n(改行)のみだった場合、読み込まれない。何かしらの文字(スペース等でも)を入れれば、読み込まれる。(kobayashi)
- [2008-12-16] *.lmn以外(*.tal, *.ilなど)の形式でファイルを保存したいのですが、ファイル名保存時に、例えばファイル名をダブルクォーテーション""でくくったときは拡張子.lmnが自動で付かない、などの仕様があるとちょっと嬉しいです。(gocho)
- [2008-11-28] 班ゼミで言ってた始点と終点を与えると始点から終点までの通りうる全てのノードを表示させる機能について。おそらく始点から到達できるノードの集合と終点へ到達できるノードの集合の積集合を求めればいいと。・・・分かりにくいなあ。(iwasawa)
- [2008-12-26] LTL STATE VIEWER はltl_allの結果を強調表示じゃなくて、上の機能を実装して青から赤までの遷移のうち、最小な長さのものを表示とかの方が綺麗かと。むしろこれはSLIM側で実装するべきかな?(iwasawa)
- [2008-12-29] 無茶振りをいくつか。括弧の対応表示、選択行をコメントアウト、アンコメント。(iwasawa)
- [2009-05-07] LMNtalプログラム記述部で、ctrl-Fの検索みたいな、特定の単語を検索する機能が欲しい。(gocho)
- [2009-07-31] StateViewer? の色分けについて筑波でも意見が出たようですが、青 (0入力) と赤 (0出力) 以外のノードの色分け方法として、1入力1出力,1入力多出力,多入力1出力,多入力多出力の4種類が素早く識別できるとよいかもしれません。(いまは1入力1出力と3入力3出力が同じ色になるのですよね。)(ueda)
- [2009-11-19] LTL State Viewerへの要望です。受理サイクルを見やすくするための再配置機能は作れないでしょうか。(gocho)
- [2010-02-17] ファイルから状態遷移グラフを読み込む際, 既に何らかの状態遷移グラフが描画されていないと, 右クリックで選択画面が出てくれない(ファイル読込みボタンが出てこない)ようです. (gocho)
- [2010-02-17] State Viewerで, 各ノードの描画形式を指定したいです. 例えば, 色や形. 現在与えているStates, Transitions, Labelsに加えて, 例えばAttributesの出力(状態番号::属性情報 のようなもの)を与えることで, "赤色表示" "二重丸表示"させるなどの指示をモデル検査器側から行いたいです. (gocho)
- [2010-05-19] 性質オートマトンを与えた際, "同期積であること"が分かりやすくなるような再配置機能があると, 解析する上で役立つのではないかと思います. (gocho)
- [2010-07-20] エディタ改良要望. 自動インデントで挿入される文字を半角スペースに変更できるようにして欲しい. 膜の記述{ .. }では, }が入力された場合に対応する{を考慮してインデントをつけて欲しい. (gocho)
- [2010-09-07] version 2.1.1から交差数削減に関する機能を走らせるとフリーズしてしまう. (gocho)
- Related pages
- MenuBar(1796d)