Giters
lmntal
/
lavit
LMNtal IDE
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
4
Issues:
23
Forks:
3
lmntal/lavit Issues
バージョンチェック機能の復活 or 削除
Closed
25 days ago
LMNTAL_HOMEを設定していない状態でGrapheneを呼び出すとエラーになる
Closed
3 months ago
Comments count
3
demo/unif.lmn の num 制約のバグ
Updated
2 years ago
StateViewerをLaViTから切り離したい
Updated
3 years ago
Comments count
1
自作のint_to_float関数に0を入力した際、一部の状態の情報が消える問題について
Closed
3 years ago
Comments count
2
原子論理式・LTL式およびそのBuchi Automatonがロードされない
Updated
4 years ago
Comments count
1
ソースを書く部分について, 1行に大量の文字を書くと表示がおかしくなる
Updated
4 years ago
Graphene実行時のSLIMパスの受け渡し
Closed
5 years ago
--nd オプションをオンにすると、Graphene が正常に動作しない
Updated
5 years ago
特定環境でビルドするとSLIM設定画面表示がおかしくなる
Updated
5 years ago
env.txt と properties/* の統合
Updated
5 years ago
実行方法・OS・Javaのバージョンによる表示の違い
Updated
5 years ago
アンチエイリアス
Updated
5 years ago
Comments count
1
SLIM・LMNtalコンパイラ・Grapheneをsubmoduleにする
Updated
5 years ago
LaViT.jarのダブルクリックによる起動
Updated
5 years ago
エディタにおけるコメントアウトの改善
Updated
5 years ago
LaViT終了後SLIMのプロセスが宙に浮いたまま残らないようにする
Updated
5 years ago
Comments count
1
ファイルオープン時の例外[2.8.6]
Closed
6 years ago
Comments count
2
lavitで2度コンパイルするとlavitが固まってしまう
Closed
6 years ago
Comments count
3
lib/std_lib.jarをバンドルから消す
Closed
9 years ago
Comments count
1
lib/apache-ant/ant.jarへの依存をなくす
Closed
9 years ago
フォントが少し欠ける
Updated
9 years ago
自動更新の後、LaViTが起動できなくなる
Updated
9 years ago
Comments count
3