Giters
lmntal
/
slim
slim LMNtal implementation
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
18
Watchers:
7
Issues:
70
Forks:
5
lmntal/slim Issues
chore: modernization の README の更新
Closed
9 months ago
Comments count
1
優先度付きルール適用
Updated
9 months ago
Comments count
2
hl: ハイパーリンクを含む初期状態の同型性判定関連のバグ
Closed
9 months ago
Comments count
1
非決定実行における HL に対する uniq
Updated
10 months ago
nlmemに関するバグ
Updated
10 months ago
Comments count
1
2引数の'!'アトムが落ちる
Updated
a year ago
Comments count
1
Code modernization
Updated
a year ago
Add CMake support
Updated
a year ago
step 数を出力するオプションの追加
Closed
a year ago
Bus Error on M1 mac
Updated
a year ago
Comments count
3
テストの拡充
Updated
a year ago
Comments count
1
膜内外にリンクを含まない初期グラフを置いた場合に、グラフが正しく表示されない不具合
Closed
2 years ago
Comments count
5
Ubuntu 22.04 で autogen.sh がエラーを吐く
Updated
2 years ago
Comments count
1
Set module が M1 Mac で Segmentation fault する.
Updated
2 years ago
Comments count
1
対話的なデバッガの作成
Updated
2 years ago
cslmntal の check
Updated
2 years ago
float型の演算で、小数点以下4桁以上の演算が記述できないバグ
Closed
3 years ago
stringライブラリのstring_splitを用いて、一文字ずつの切り出しが出来るようにしたい
Closed
3 years ago
Comments count
1
system_ruleset のルール名の表示がわかりにくい
Closed
3 years ago
Comments count
1
適用したルール名だけを出力するオプションの追加
Updated
3 years ago
dumperの改善
Updated
3 years ago
Comments count
4
ハイパーリンク属性を扱える hlground, ground のメンテナンス
Updated
3 years ago
Comments count
1
ハイパーリンクとuniqに関するテスト
Updated
3 years ago
Comments count
1
Bisonにより自動生成されるファイル (*.hh) の扱い
Updated
4 years ago
オプション付きのmake check
Updated
4 years ago
LmnRegisterへの変換の高速化
Closed
4 years ago
通常実行における実行順序を変更するオプション
Updated
4 years ago
Comments count
2
状態数に関する問題
Closed
4 years ago
Comments count
5
メタインタプリタの状態数バグ
Closed
4 years ago
zerostep使用時に膜を外そうとする命令を行うとsegmentation faultを起こす
Closed
4 years ago
Comments count
10
シングルクオートを含むアトム名を認識しない
Updated
4 years ago
Comments count
1
リスト中にstring型の要素が含まれているときに起こるバグ
Closed
4 years ago
Comments count
1
遷移規則 (R4) について
Updated
4 years ago
atomモジュールの改良
Updated
4 years ago
インラインコードとモジュールの削除
Closed
5 years ago
Comments count
1
floatのsystem_rulesetで算術演算子が正しく数値アトムに変換されない
Closed
5 years ago
Comments count
1
環境変数COMMIT_IDの取扱い
Updated
5 years ago
初期グラフで64ビット整数を扱えるようにする
Updated
5 years ago
callbackの効率化
Updated
5 years ago
Comments count
1
use-Ncoreのバグ
Updated
5 years ago
Comments count
2
hyperlinkを持つプログラムを非決定実行すると落ちる
Closed
6 years ago
findproccxtのバグ
Closed
6 years ago
グラフのテキスト出力で','が抜けてしまう問題
Closed
7 years ago
Comments count
1
state_space.react_nd_setに第一級書き換え規則を与えた場合の不具合
Closed
7 years ago
io.print_charバグ
Closed
7 years ago
Comments count
1
--enable-firstclass-ruleを付けずにslimをビルドすると失敗する
Closed
7 years ago
bug at unifying two links
Updated
8 years ago
hlground: attribute semantics problem
Updated
8 years ago
同名のハイパーリンクが、左辺に複数あるときのバグ
Updated
9 years ago
Comments count
5
ioモジュールとswaplinkの併用で起こるバグ
Closed
10 years ago
Comments count
1
Previous
Next