コードのひな型（インタフェース）を追加した。
#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
|
Ohta
#13 opened
on 2 May 2020
by y-ota
|
updateメソッドの名称変更に対する対応。
#14 opened
on 3 May 2020
by n-nitta
|
Ohta
#15 opened
on 3 May 2020
by y-ota
|
複数の入力側リソースからの更新がありうる場合、入力側リソースのキャッシュを出力側リソース内に残すようにする。
#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
|
To refactor of condition
#20 opened
on 8 Nov 2021
by k-fujii
|
if文を修正しました
#21 opened
on 9 Nov 2021
by k-fujii
|
To refactor of cond
#22 opened
on 11 Nov 2021
by k-fujii
|
To refactor of cond
#24 opened
on 11 Nov 2021
by k-fujii
|
Create pair
enhancement
#30 opened
on 16 Dec 2021
by k-fujii
|
BugFix
#34 opened
on 2 Jan 2022
by n-nitta
|
