Search results

遷移規則R4・R5のオンオフ切替

enhancement

Status: Open.

Feature

#358 In lmntal/slim;

· seelx3 opened on Feb 21, 2025

ネストされた膜内のプロセス文脈に関するバグ

Status: Open.

#354 In lmntal/slim;

· miuele opened on Feb 20, 2025

CSLMNtalで、あるユーザ型定義が別のユーザ型定義を呼び出すとき落ちる

bug

Status: Open.

#352 In lmntal/slim;

· ryoya-shirai opened on Feb 20, 2025

unit_test内にsystem_rulesetを書きたい

Status: Open.

#350 In lmntal/slim;

· kyawaway opened on Feb 20, 2025

M1 Macでハイパーリンクの併合を書くと落ちる

bug

Status: Open.

#348 In lmntal/slim;

· kyawaway opened on Feb 20, 2025

遷移規則 (R5) について

Status: Open.

#341 In lmntal/slim;

· miuele opened on Feb 14, 2025

ガード内等号のコンパイラ最適化によるSEGV

Status: Open.

#340 In lmntal/slim;

· nikosai opened on Oct 30, 2024

--ltl に --use-Ncore をつけた場合の出力が正しくない

Status: Open.

#338 In lmntal/slim;

· miuele opened on Oct 7, 2024

リストを直接引数に持ち、その他に膜外へのリンクをもつアトムのバグ

bug

middle

Status: Open.

#334 In lmntal/slim;

· tuesdayjz opened on Feb 28, 2024

LinterとFormatterの導入

enhancement

Status: Open.

#333 In lmntal/slim;

· QRWells opened on Feb 14, 2024

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

Status: Open.

#329 In lmntal/slim;

· kyawaway opened on Feb 13, 2024

"\" で終わるアトム名

bug

low

Status: Open.

#328 In lmntal/slim;

· k-ueda opened on Feb 13, 2024