2021-11-09
if文を修正しました
k-fujii committed on 9 Nov 2021
2021-09-02
Merge pull request #19 from nitta-lab/typeInferenceForOperators ...
Naoya Nitta committed on 2 Sep 2021
複数の親を持てるように型階層を拡張し,それに合わせて型推論できるように修正.
n-nitta committed on 2 Sep 2021
・四則演算,fst,snd 関数に対する型推論を行う. ...
Naoya Nitta committed on 2 Sep 2021
2021-09-01
・生成されたJavaコードの Main ...
n-nitta committed on 1 Sep 2021
・JumpGame.model の変数名の誤りの修正. ...
Naoya Nitta committed on 1 Sep 2021
2021-08-31
JumpGame.model のアーキテクチャ設計にさらに以下の不備があったので修正. ...
Naoya Nitta committed on 31 Aug 2021
onground リソースが更新されたときに,チャンネル c3 と c4 の両方の通知が行き,velocity リソースの c3 からの更新と ...
Naoya Nitta committed on 31 Aug 2021
Merge pull request #18 from nitta-lab/referenceResources ...
Naoya Nitta committed on 31 Aug 2021
2021-08-30
・アーキテクチャモデルへの ref ポートの導入に対応した.(JumpGame.model で2段ジャンプを禁止できるようにするため,ref ...
Naoya Nitta committed on 30 Aug 2021
2021-08-19
and, or, neg, true, false を追加した.
n-nitta committed on 19 Aug 2021
2021-04-24
Game.model から JAX-RS 出力すると,Velocity リソースに POST メソッドが2つ定義されてしまっていたのを修正. ...
n-nitta committed on 24 Apr 2021
・POST/PUT判別処理の不具合修正の残り. ...
n-nitta committed on 24 Apr 2021
2021-04-23
・PUTとPOSTの判別が間違っている場合があったのを修正. ...
n-nitta committed on 23 Apr 2021
2021-04-19
1つ前のコミットで入れたバグの修正.
n-nitta committed on 19 Apr 2021
余分な import 文の削除.
n-nitta committed on 19 Apr 2021
サイズが3以上のタプルも JSON で受け取れるように修正.
n-nitta committed on 19 Apr 2021
Jersey プロトタイプの生成処理を Twitter.model に完全対応させた. ...
n-nitta committed on 19 Apr 2021
2021-04-17
・リソースがプロトタイプに出力されない場合があったのを修正. ...
n-nitta committed on 17 Apr 2021
Twitter.model から実行可能(コンパイル可能)なプロトタイプが生成できなかった不具合(以下のもの)を修正. ...
n-nitta committed on 17 Apr 2021
2021-04-16
・Twitter.model が運が良ければ正しくコード生成できるようになった. ...
n-nitta committed on 16 Apr 2021
・GENERATIVE 型のシンボル(プログラムで生成可能な可変シンボル)が定義できるようにする. ...
n-nitta committed on 16 Apr 2021
2021-04-15
型推論システムの実装
n-nitta committed on 15 Apr 2021
2021-04-12
・型として,ListOfStr, ListOfInt, ListOfFloat, ListOfDouble, ListOfList を追加する. ...
n-nitta committed on 12 Apr 2021
・Twitterを模倣したモデルファイルを作成.(まだ動作するプロトタイプは生成できない.) ...
n-nitta committed on 12 Apr 2021
2021-03-21
・PUSH型の入力辺が2つ以上存在したときに、Jerseyプロトタイプで入力側リソース毎に子リソースを作成するようにした。 ...
n-nitta committed on 21 Mar 2021
2021-03-20
・Jersey出力用にList型を、List<Integer>からList<String>に置き換えなくてもプロトタイプが動くように修正
n-nitta committed on 20 Mar 2021
2021-03-19
・代数項をラムダ式を使って任意の形の式に変換して出力できるようにした。 ...
n-nitta committed on 19 Mar 2021
2021-03-18
WeatherObservationSystem.model内の各気温の型をIntからDoubleに変更。
n-nitta committed on 18 Mar 2021
・Javaのプロトタイプにアノテーションを付けれるようにした。 ...
n-nitta committed on 18 Mar 2021