GitBucket
|
|
|---|
|
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
|
|
・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ・Listの実装型をArrayListにした。
0
#11 opened
on 1 May 2020
by n-nitta
|
|
modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。
0
#10 opened
on 1 May 2020
by n-nitta
|
|
MethodBodyGen
0
#9 opened
on 30 Apr 2020
by n-nitta
|
|
MethodBodyGen
0
#8 opened
on 29 Apr 2020
by n-nitta
|
|
ASTNodeからtoString()で実装を出力できるようにした、等
0
#7 opened
on 25 Apr 2020
by n-nitta
|
|
Javaのコード生成用にjava.astパッケージを作成した。
0
#6 opened
on 17 Apr 2020
by n-nitta
|
|
ユーザインタフェース周りを一通り作成。
0
#5 opened
on 23 Mar 2020
by n-nitta
|
|
以下の修正および改良
0
#4 opened
on 11 Mar 2020
by n-nitta
|
|
代数処理系を別パッケージに分けた。
0
#3 opened
on 10 Mar 2020
by n-nitta
|
|
代数処理系を追加
0
#2 opened
on 10 Mar 2020
by n-nitta
|
|
コードのひな型（インタフェース）を追加した。
0
#1 opened
on 15 Feb 2020
by n-nitta
|