コードのひな型（インタフェース）を追加した。
#1 opened
on 15 Feb 2020
by n-nitta
|
代数処理系を追加
#2 opened
on 10 Mar 2020
by n-nitta
|
代数処理系を別パッケージに分けた。
#3 opened
on 10 Mar 2020
by n-nitta
|
以下の修正および改良
#4 opened
on 11 Mar 2020
by n-nitta
|
ユーザインタフェース周りを一通り作成。
#5 opened
on 23 Mar 2020
by n-nitta
|
Javaのコード生成用にjava.astパッケージを作成した。
#6 opened
on 17 Apr 2020
by n-nitta
|
ASTNodeからtoString()で実装を出力できるようにした、等
#7 opened
on 25 Apr 2020
by n-nitta
|
MethodBodyGen
#8 opened
on 29 Apr 2020
by n-nitta
|
MethodBodyGen
#9 opened
on 30 Apr 2020
by n-nitta
|
modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。
#10 opened
on 1 May 2020
by n-nitta
|
・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ・Listの実装型をArrayListにした。
#11 opened
on 1 May 2020
by n-nitta
|
InputEvent
#12 opened
on 2 May 2020
by n-nitta
|
updateメソッドの名称変更に対する対応。
#14 opened
on 3 May 2020
by n-nitta
|
複数の入力側リソースからの更新がありうる場合、入力側リソースのキャッシュを出力側リソース内に残すようにする。
#16 opened
on 3 May 2020
by n-nitta
|
SaveJavaFiles
#17 opened
on 4 May 2020
by n-nitta
|
・アーキテクチャモデルへの ref ポートの導入に対応．・JumpGame.model の追加． ・Tuple 型の pull data transfer の JAX-RS コード生成の不具合修正．
#18 opened
on 31 Aug 2021
by n-nitta
|
TypeInferenceForOperators
#19 opened
on 2 Sep 2021
by n-nitta
|
BugFix
#34 opened
on 2 Jan 2022
by n-nitta
|
・init {} で初期化ができるようにした。 ・入力メソッドが複数存在したときに、各メソッドに更新メソッドの呼び出しを正しく追加できていなかった。
#36 opened
on 3 Jan 2022
by n-nitta
|
メインクラスのコンストラクタを追加し、フィールドの初期化をコンストラクタ内で行うように修正。
#37 opened
on 3 Jan 2022
by n-nitta
|
IllegalPullSelectability
#38 opened
on 3 Apr 2022
by n-nitta
|
Map
#40 opened
on 17 May 2022
by n-nitta
|
ReviseRef
#41 opened
on 19 May 2022
by n-nitta
|
lookup で null が返されるときのエラー処理を追加。
#42 opened
on 21 May 2022
by n-nitta
|
1つのリソースに2つの入出力チャンネルが接続しているとき，また1つのリソースが2種類の入力メッセージ受けるときに正しく生成できなかった不具合を修正した．
#44 opened
on 30 May 2022
by n-nitta
|
