lmntal/slim

Issues

• M1 macでmodernization ブランチをビルド時，memory_resourceが無いと言われビルドに失敗する

  #329 opened 7 months ago by kyawaway
  13

• Add CMake support

  #310 opened a year ago by QRWells
  0

• 膜に関するバグ

  #334 opened 7 months ago by tuesdayjz
  0

• Bus Error on M1 mac

  #281 opened 3 years ago by sano-jin
  11

• LinterとFormatterの導入

  #333 opened 7 months ago by QRWells
  1

• ハイパーリンクとuniqに関するテスト

  #208 opened 5 years ago by nikosai
  4

• コネクタと膜とプロセス文脈に関するバグ

  #321 opened 7 months ago by nikosai
  4

• 適用したルール名だけを出力するオプションの追加

  #269 opened 3 years ago by sano-jin
  1

• atomモジュールの改良

  #232 opened 4 years ago by nikosai
  3

• 初期グラフで64ビット整数を扱えるようにする

  #209 opened 7 months ago by nikosai
  0

• 優先度付きルール適用

  #319 opened 10 months ago by QRWells
  2

• 2引数の'!'アトムが落ちる

  #314 opened 7 months ago by kyawaway
  1

• Code modernization

  #313 opened a year ago by QRWells
  0

• modernization ブランチがビルドできない

  #324 opened 7 months ago by seelx3
  2

• "\" で終わるアトム名

  #328 opened 7 months ago by k-ueda
  0

• 遷移規則 (R4) について

  #235 opened 4 years ago by nikosai
  0

• atomic_ruleset復活工事

  #325 opened 7 months ago by nikosai
  0

• dumperの改善

  #207 opened 7 months ago by nikosai
  5

• 通常実行における実行順序を変更するオプション

  #215 opened 7 months ago by nikosai
  3

• オプション付きのmake check

  #258 opened 7 months ago by nikosai
  1

• 対話的なデバッガの作成

  #290 opened 7 months ago by adzukimame
  1

• nlmemに関するバグ

  #316 opened 7 months ago by kyawaway
  2

• ハイパーリンク属性を扱える hlground, ground のメンテナンス

  #206 opened 7 months ago by nikosai
  1

• chore: modernization の README の更新

  #320 opened 9 months ago by seelx3
  1

• hl: ハイパーリンクを含む初期状態の同型性判定関連のバグ

  #315 opened 10 months ago by seelx3
  1

• 非決定実行における HL に対する uniq

  #317 opened 10 months ago by imaren
  0

• step 数を出力するオプションの追加

  #268 opened a year ago by sano-jin
  0

• テストの拡充

  #306 opened 2 years ago by sano-jin
  1

• 膜内外にリンクを含まない初期グラフを置いた場合に、グラフが正しく表示されない不具合

  #280 opened 2 years ago by k-yamada39
  5

• Ubuntu 22.04 で autogen.sh がエラーを吐く

  #298 opened 2 years ago by nikosai
  1

• Set module が M1 Mac で Segmentation fault する．

  #294 opened 2 years ago by sano-jin
  1

• cslmntal の check

  #288 opened 2 years ago by sano-jin
  0

• float型の演算で、小数点以下4桁以上の演算が記述できないバグ

  #279 opened 3 years ago by imaren
  0

• stringライブラリのstring_splitを用いて、一文字ずつの切り出しが出来るようにしたい

  #276 opened 3 years ago by k-yamada39
  1

• system_ruleset のルール名の表示がわかりにくい

  #274 opened 3 years ago by sano-jin
  1

• Bisonにより自動生成されるファイル (*.hh) の扱い

  #259 opened 4 years ago by nikosai
  0

• LmnRegisterへの変換の高速化

  #239 opened 4 years ago by jre233kei
  0

• 状態数に関する問題

  #243 opened 4 years ago by adachi-r
  5

• メタインタプリタの状態数バグ

  #255 opened 4 years ago by y-tsune
  0

• zerostep使用時に膜を外そうとする命令を行うとsegmentation faultを起こす

  #233 opened 4 years ago by Tamu7532
  10

• インラインコードとモジュールの削除

  #229 opened 5 years ago
  1

• floatのsystem_rulesetで算術演算子が正しく数値アトムに変換されない

  #221 opened 5 years ago by 8q
  1

• 環境変数COMMIT_IDの取扱い

  #214 opened 5 years ago by nikosai
  0

• callbackの効率化

  #205 opened 5 years ago by nikosai
  1

• use-Ncoreのバグ

  #85 opened 7 years ago by ryotosaito
  2

• hyperlinkを持つプログラムを非決定実行すると落ちる

  #88 opened 6 years ago by icecocoa6
  0

• findproccxtのバグ

  #86 opened 6 years ago by icecocoa6
  0

• グラフのテキスト出力で','が抜けてしまう問題

  #69 opened 7 years ago by m-nozo
  1

• state_space.react_nd_setに第一級書き換え規則を与えた場合の不具合

  #63 opened 7 years ago by y-tsune
  0

• --enable-firstclass-ruleを付けずにslimをビルドすると失敗する

  #59 opened 7 years ago by m-nozo
  0