1つのチャンネルの出力側に複数のリソースが接続していて,出力側リソース毎に右単項性が異なった場合,入力側の辺は必ず PUSH のみ選択可能にする. 0
#51 opened on 7 Jul 2022 by n-nitta
RefValue 0
#50 opened on 5 Jul 2022 by n-nitta
フィールドの初期化文を生成するコードに混入していたバグが if 文の入れ子に対応したときに顕在化したので,修正を行った. 1
#47 opened on 12 Jun 2022 by n-nitta
1つのリソースに2つの入出力チャンネルが接続しているとき,また1つのリソースが2種類の入力メッセージ受けるときに正しく生成できなかった不具合を修正した. 1
#44 opened on 30 May 2022 by n-nitta
lookup で null が返されるときのエラー処理を追加。 0
#42 opened on 21 May 2022 by n-nitta
ReviseRef 0
#41 opened on 19 May 2022 by n-nitta
Map 0
#40 opened on 17 May 2022 by n-nitta
mod関数を追加しました 0
#39 opened on 11 May 2022 by Shinji
IllegalPullSelectability 0
#38 opened on 3 Apr 2022 by n-nitta
メインクラスのコンストラクタを追加し、フィールドの初期化をコンストラクタ内で行うように修正。 0
#37 opened on 3 Jan 2022 by n-nitta
・init {} で初期化ができるようにした。 ・入力メソッドが複数存在したときに、各メソッドに更新メソッドの呼び出しを正しく追加できていなかった。 0
#36 opened on 3 Jan 2022 by n-nitta
BugFix 0
#34 opened on 2 Jan 2022 by n-nitta
Create pair enhancement 0
#30 opened on 16 Dec 2021 by k-fujii
To refactor of cond 0
#24 opened on 11 Nov 2021 by k-fujii
To refactor of cond 0
#22 opened on 11 Nov 2021 by k-fujii
if文を修正しました 0
#21 opened on 9 Nov 2021 by k-fujii
To refactor of condition 0
#20 opened on 8 Nov 2021 by k-fujii
TypeInferenceForOperators 0
#19 opened on 2 Sep 2021 by n-nitta
・アーキテクチャモデルへの ref ポートの導入に対応.・JumpGame.model の追加. ・Tuple 型の pull data transfer の JAX-RS コード生成の不具合修正. 0
#18 opened on 31 Aug 2021 by n-nitta
SaveJavaFiles 0
#17 opened on 4 May 2020 by n-nitta
複数の入力側リソースからの更新がありうる場合、入力側リソースのキャッシュを出力側リソース内に残すようにする。 0
#16 opened on 3 May 2020 by n-nitta
Ohta 0
#15 opened on 3 May 2020 by y-ota
updateメソッドの名称変更に対する対応。 0
#14 opened on 3 May 2020 by n-nitta
Ohta 0
#13 opened on 2 May 2020 by y-ota
InputEvent 0
#12 opened on 2 May 2020 by n-nitta