Search results

LTL 関連ファイルが読み込まれないことがある

bug

Status: Open.

#62 In lmntal/lavit;

· seelx3 opened on Jul 4, 2025

demo/unif.lmn の num 制約のバグ

very very easy超簡単．github に慣れるために新入生にやってもらうのが良き．超簡単．github に慣れるために新入生にやってもらうのが良き．

Status: Open.

#49 In lmntal/lavit;

· sano-jin opened on Mar 11, 2022

原子論理式・LTL式およびそのBuchi Automatonがロードされない

Status: Open.

#43 In lmntal/lavit;

· UzawaSeishiro opened on Dec 19, 2020

ソースを書く部分について, 1行に大量の文字を書くと表示がおかしくなる

bug

Status: Open.

#41 In lmntal/lavit;

· Tamu7532 opened on Jul 3, 2020

--nd オプションをオンにすると、Graphene が正常に動作しない

Status: Open.

#39 In lmntal/lavit;

· nikosai opened on Oct 9, 2019

特定環境でビルドするとSLIM設定画面表示がおかしくなる

bug

Status: Open.

#38 In lmntal/lavit;

· ryotosaito opened on Jul 30, 2019

env.txt と properties/* の統合

Status: Open.

#37 In lmntal/lavit;

· nikosai opened on Jul 30, 2019

実行方法・OS・Javaのバージョンによる表示の違い

Status: Open.

#36 In lmntal/lavit;

· nikosai opened on Jul 24, 2019

アンチエイリアス

Status: Open.

#35 In lmntal/lavit;

· ryotosaito opened on Jul 22, 2019

SLIM・LMNtalコンパイラ・Grapheneをsubmoduleにする

Status: Open.

#33 In lmntal/lavit;

· nikosai opened on Jul 17, 2019

LaViT.jarのダブルクリックによる起動

Status: Open.

#30 In lmntal/lavit;

· nikosai opened on Jul 12, 2019

エディタにおけるコメントアウトの改善

Status: Open.

#29 In lmntal/lavit;

· nikosai opened on Jul 12, 2019