y-ota/AlgebraicDataflowArchitectureModel

Fork: 1

y-ota / AlgebraicDataflowArchitectureModel

forked from nitta-lab/AlgebraicDataflowArchitectureModel

2020-05-02	c0a9fdb Browse files » 複数の入力側リソースからの更新がありうる場合、入力側リソースのキャッシュを出力側リソース内に残すようにする。 n-nittta committed on 2 May 2020
	82fccfa Browse files » 計測値確定 yoichiro committed on 2 May 2020
	6c167de Browse files » 計測値の調整 yoichiro committed on 2 May 2020
	a4f0177 Browse files » Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git yoichiro committed on 2 May 2020
	1ee590d Browse files » 実験用 yoichiro committed on 2 May 2020
	2e383a0 Browse files » 計測時間が整数に丸められていた。 n-nittta committed on 2 May 2020
	abd81c6 Browse files » purchase(100)の計測条件が一定になるように修正。 n-nittta committed on 2 May 2020
	fc017db Browse files » 全てのメソッドで平均値をとるように yoichiro committed on 2 May 2020
	ddff4d1 Browse files » 実験クラスの中身を作成、結果に明らかに差が出ている yoichiro committed on 2 May 2020
	728c3f7 Browse files » Merge branch 'master' into ohta yoichiro committed on 2 May 2020
2020-05-03	d81f51b Browse files » Merge pull request #15 from nitta-lab/ohta ... とりあえずマージします。 Naoya Nitta committed on 3 May 2020
2020-05-03	33a4d7b Browse files » Merge pull request #14 from nitta-lab/updateMethodName ... updateメソッドの名称変更に対する対応。 Yoichiro Ota committed on 3 May 2020
2020-05-02	2b125de Browse files » 中身を作成中 yoichiro committed on 2 May 2020
	dadea7c Browse files » 実験用クラスを作成中 yoichiro committed on 2 May 2020
	79f181f Browse files » コード修正 yoichiro committed on 2 May 2020
	49e2a1e Browse files » Merge branch 'master' into ohta yoichiro committed on 2 May 2020
	6bb98b9 Browse files » updateメソッドの名称変更に対する対応。 n-nittta committed on 2 May 2020
	9504cac Browse files » Merge pull request #13 from nitta-lab/ohta ... 確認しました。 Naoya Nitta committed on 2 May 2020
	3fe629f Browse files » Merge pull request #12 from nitta-lab/inputEvent ... InputEvent Yoichiro Ota committed on 2 May 2020
	54db14e Browse files » Merge branch 'master' into ohta yoichiro committed on 2 May 2020
	134c753 Browse files » 修正 yoichiro committed on 2 May 2020
	854b1da Browse files » 警告を削除 yoichiro committed on 2 May 2020
	30ae388 Browse files » push型の実験用クラスを作成 yoichiro committed on 2 May 2020
	c087353 Browse files » paymentがおかしい yoichiro committed on 2 May 2020
	8b2398d Browse files » 指摘箇所を修正 yoichiro committed on 2 May 2020
	6f58dae Browse files » 実験用クラスを作成 yoichiro committed on 2 May 2020
	a205a72 Browse files » バグ修正 yoichiro committed on 2 May 2020
	d636da3 Browse files » 必要な作業は一通り終えた（はず） yoichiro committed on 2 May 2020
	861ef22 Browse files » 切り直し yoichiro committed on 2 May 2020
	fe76cc3 Browse files » 指摘箇所を修正 yoichiro committed on 2 May 2020
	6666bed Browse files » インデントを修正。 n-nittta committed on 2 May 2020
	38467c4 Browse files » 入力イベント処理用のメソッドの中身を埋めるようにした。 n-nittta committed on 2 May 2020
	3435863 Browse files » IOとpullAccecer完了 yoichiro committed on 2 May 2020
2020-05-01	86dd332 Browse files » Merge branch 'master' into ohta yoichiro committed on 1 May 2020
	d6aaaca Browse files » 修正 yoichiro committed on 1 May 2020
	f85f7a8 Browse files » ・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ... ・Listの実装型をArrayListにした。・型情報をきちんとパースするように修正した。（コロンの直後にスペースがあると処理できなかった。）・consのシグニチャを設定した。 n-nittta committed on 1 May 2020
	7af7e80 Browse files » Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git yoichiro committed on 1 May 2020
	e3ae8a8 Browse files » 移行完了 yoichiro committed on 1 May 2020
2020-04-30	50012be Browse files » テストケースとGnerator処理の書き換え yoichiro committed on 30 Apr 2020
	715ead2 Browse files » 副作用を持つメソッドの型を追加して、cons()をList#add()に正し変換できるようにした。 n-nittta committed on 30 Apr 2020
	c0ef49b Browse files » ・入力側が複数あるときにupdate()メソッドに同じ行が複数追加される不具合を修正。 ... ・リソース名でクラス名を検索するときに、先頭以外も小文字にして検索していた不具合を修正。 n-nitta committed on 30 Apr 2020
	ec19a79 Browse files » Merge branch 'master' into ohta yoichiro committed on 30 Apr 2020
	4199ee6 Browse files » modelファイル中で、リソース状態の型を指定できるようにした。 ... out payment(p:Int, purchase(x)) == x のように。 n-nittta committed on 30 Apr 2020
	649eb2e Browse files » Merge branch 'master' into ohta yoichiro committed on 30 Apr 2020
2020-04-29	c834691 Browse files » ・floor関数とsum関数がJavaで動くようにした。 ... ・Symbolの定義をコード生成時に一時的に置き換えられるようにした。 n-nittta committed on 29 Apr 2020
	5b9757b Browse files » update()メソッドの呼び出しの連鎖ができるようにした。 n-nittta committed on 29 Apr 2020
	6cd3084 Browse files » ・メソッドの中身を出力できるようにした。（まだ残作業あり。） ... ・MethodDeclaration#toString()にヌルポ処理を追加。・FieldDeclarationにinitializerフィールドを追加。 n-nittta committed on 29 Apr 2020
2020-04-28	ff06d37 Browse files » MethodBodyGeneratorを作成し、CodeGeneratorの後に呼ばれるようにした。 n-nittta committed on 28 Apr 2020
	cb87406 Browse files » メソッドの中身をコードに追加するように修正 yoichiro committed on 28 Apr 2020
	7d1369c Browse files » PULL型のバグを修正 yoichiro committed on 28 Apr 2020
	1d1b114 Browse files » PUSH型のコードのバグを修正 yoichiro committed on 28 Apr 2020
2020-04-27	f3630ee Browse files » Mainの中身を追加 yoichiro committed on 27 Apr 2020
	01afb03 Browse files » シンボルをもとに型をListかIntで確定させるようにした yoichiro committed on 27 Apr 2020
	a991d6c Browse files » 型関係の修正 yoichiro committed on 27 Apr 2020
	ff28d90 Browse files » 修正 yoichiro committed on 27 Apr 2020
	af0e8c0 Browse files » 指摘箇所を修正 yoichiro committed on 27 Apr 2020
	55ce329 Browse files » ミスを修正 yoichiro committed on 27 Apr 2020
	c774d8e Browse files » 突貫工事でメソッドまで作成 yoichiro committed on 27 Apr 2020
	aa7e653 Browse files » コンストラクタ生成部分が終了 yoichiro committed on 27 Apr 2020
	c1c57a4 Browse files » コンストラクタ関係の作成中 yoichiro committed on 27 Apr 2020
	d175f6b Browse files » コンストラクタの中身を作成中 yoichiro committed on 27 Apr 2020
2020-04-24	86d3322 Browse files » 最新版のマージ yoichiro committed on 24 Apr 2020
	d3a887d Browse files » Merge remote-tracking branch 'origin/astToImplementation' into ohta yoichiro committed on 24 Apr 2020
	489855c Browse files » コード関係 yoichiro committed on 24 Apr 2020
	c83a7a3 Browse files » ・ASTNodeからtoString()で実装を出力できるようにした。 ... ・PrototypeGenerateActionをコードを出力するように修正。・TypeクラスのgetImplemantationTypeName()のメソッド名が間違っていたので修正した。 n-nittta committed on 24 Apr 2020
2020-04-21	fdf06a5 Browse files » コード生成部分を試験的に実装 yoichiro committed on 21 Apr 2020
	6278c54 Browse files » 構文木どおりの生成に成功 yoichiro committed on 21 Apr 2020
	d18720b Browse files » 中身を大分書いた yoichiro committed on 21 Apr 2020
	b98cc2f Browse files » Mainの中身を少し yoichiro committed on 21 Apr 2020
2020-04-20	f89212b Browse files » 生成順確定アルゴリズムが完成 yoichiro committed on 20 Apr 2020
2020-04-20	eea7391 Browse files » いくつか生成アルゴリズムの変更に伴い、大幅にパッケージ名や中身を変更 yoichiro committed on 20 Apr 2020
2020-04-17	e75c647 Browse files » Merge pull request #6 from nitta-lab/javaAST ... Javaのコード生成用にjava.astパッケージを作成した。 Naoya Nitta committed on 17 Apr 2020
	a3d1c4c Browse files » Javaのコード生成用にjava.astパッケージを作成した。 n-nittta committed on 17 Apr 2020
	5cd86d3 Browse files » 修正 yoichiro committed on 17 Apr 2020
2020-04-13	a9fa843 Browse files » コード整理 yoichiro committed on 13 Apr 2020
2020-04-13	ccd18aa Browse files » 判定条件の修正 yoichiro committed on 13 Apr 2020
2020-04-12	cc69755 Browse files » Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git n-nittta committed on 12 Apr 2020
2020-04-12	7ab5434 Browse files » ・入出力チャンネルが複数あるようなモデル（同じリソースに対して同一チャンネル内でout側遷移が複数定義されているようなモデル）の修正（CustomerOffice.model）、作成（Game.model）。 ... ・異常系があるようなモデル（上記に加え、非決定的なout側遷移を持つ、単一リソースが複数チャンネルのout側に接続することを許すようなモデル）の作成（Game.model） n-nittta committed on 12 Apr 2020
2020-04-11	1a36428 Browse files » 途中 yoichiro committed on 11 Apr 2020
2020-04-06	0c1835a Browse files » Merge branch 'ohta' ... Conflicts: AlgebraicDataflowArchitectureModel/src/graphicalrefactor/editor/Editor.java yoichiro committed on 6 Apr 2020
	e940a5e Browse files » バグ修正 yoichiro committed on 6 Apr 2020
	1f7ffd0 Browse files » 試行錯誤 yoichiro committed on 6 Apr 2020
2020-04-05	6e60c06 Browse files » 試行錯誤中 yoichiro committed on 5 Apr 2020
	07cbf69 Browse files » とりあえずエディターにアルゴリズムを導入完了、コード生成アルゴリズムはまだ yoichiro committed on 5 Apr 2020
	8a80a76 Browse files » エディターに一連のアルゴリズムを追加(正常には動作していない) yoichiro committed on 5 Apr 2020
2020-04-04	75746f3 Browse files » ひな形を整えた yoichiro committed on 4 Apr 2020
2020-03-30	339a9b1 Browse files » loyalty --> points n-nittta committed on 30 Mar 2020
2020-03-30	f783ac9 Browse files » Editor内で生成されたResourceDependencyGraphにアクセスできるようにした。 n-nittta committed on 30 Mar 2020
2020-03-25	38af0a3 Browse files » ブランチを切る、コード生成アルゴリズム考察中 yoichiro committed on 25 Mar 2020
	36a416b Browse files » コード生成アルゴリズムを考案中 yoichiro committed on 25 Mar 2020
	75322ae Browse files » テスト完了 yoichiro committed on 25 Mar 2020
	5c6d7de Browse files » UpdateConflictCheckTestを変更、全アルゴリズムをデバッグ中 yoichiro committed on 25 Mar 2020
	c2c153d Browse files » 4つ完了？ yoichiro committed on 25 Mar 2020
2020-03-24	898b5e0 Browse files » データ転送テスト完了？ yoichiro committed on 24 Mar 2020
	e3e2e0c Browse files » テストコード調整中 yoichiro committed on 24 Mar 2020
	0f95f6a Browse files » jdk13導入 yoichiro committed on 24 Mar 2020
	42dff74 Browse files » 転送方式の選択可能性判定を一通り実装、テストコードはこれから yoichiro committed on 24 Mar 2020
	6932a6e Browse files » 保存必要性アルゴリズム完成 yoichiro committed on 24 Mar 2020
	d1edee0 Browse files » komit yoichiro committed on 24 Mar 2020
2020-03-23	3b07693 Browse files » Position周りにバグ？ yoichiro committed on 23 Mar 2020
	334bd5d Browse files » 修正、テストは通らず yoichiro committed on 23 Mar 2020
	6eaea18 Browse files » Merge branch 'ohta' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git into ohta yoichiro committed on 23 Mar 2020
	674972f Browse files » アップデート yoichiro committed on 23 Mar 2020
	bb980ee Browse files » Merge pull request #5 from nitta-lab/graphicViews ... ユーザインタフェース周りを一通り作成。 Naoya Nitta committed on 23 Mar 2020
	0242870 Browse files » 考案中 yoichiro committed on 23 Mar 2020
	388abe3 Browse files » Merge branch 'ohta' yoichiro committed on 23 Mar 2020
	73ea060 Browse files » テストコードが整う、まだ正常な動作はできていない yoichiro committed on 23 Mar 2020
2020-03-22	229fae4 Browse files » 未テスト yoichiro committed on 22 Mar 2020
2020-03-22	8ad4fc5 Browse files » 整合性判定の実装完了？ yoichiro committed on 22 Mar 2020
2020-03-19	66e18b1 Browse files » JGraphXを用いてアプリケーションを作成した。 ... ・Main.javaを追加。・graphicalrefactor.*パッケージ群を作成。・JGraphXのテストプログラムを追加。・PushPullAttributeクラスを選択可能な転送方式の集合ではなくリストに。（リストの先頭要素が選択された要素であるとわかるように。） n-nittta committed on 19 Mar 2020
2020-03-17	fac36fe Browse files » ・顧客リストモデルを追加。 ... ・if関数とeq関数の追加。・数式の文字列出力と実装出力を分けるようにする。 n-nittta committed on 17 Mar 2020
2020-03-17	1751f35 Browse files » Merge branch 'master' into ohta yoichiro committed on 17 Mar 2020
2020-03-11	4790044 Browse files » ・StateTransition#deriveMessageConstraintFor() ... 内の処理で、変数に変数を代入する場合を考慮していなかった。・単一化で代数系上の変数とプログラム上の変数を単一化しようとする場合があったので。プログラム上の変数を Variable ではなく、 Field と Parameter で表すようにした。・項中のパラメータ（Parameter）の一覧を取得したかったので、 Expression#getSubterms(Class<T>) を作った。また、 Expression#getVariables() は、このメソッドを呼ぶようにした。・力学演算を行うモデルを追加した。 n-nittta committed on 11 Mar 2020
	1fb72ad Browse files » Merge pull request #4 from nitta-lab/separateAlgebraPackage ... 以下の修正および改良 Naoya Nitta committed on 11 Mar 2020
	4a06dfe Browse files » ・リソース更新コード生成テストプログラム（UpdateCodeGenerationTest.java）で、引数とフィールドを同じ名前にしていたため、生成コードがおかしくなっていた不具合を修正。 ... ・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。） n-nittta committed on 11 Mar 2020
2020-03-10	634d431 Browse files » Merge pull request #3 from nitta-lab/separateAlgebraPackage ... 代数処理系を別パッケージに分けた。 Naoya Nitta committed on 10 Mar 2020
2020-03-10	71798b3 Browse files » Merge pull request #2 from nitta-lab/addStateTransitions ... 代数処理系を追加 Naoya Nitta committed on 10 Mar 2020
2020-03-09	7f8841c Browse files » 代数処理系を別パッケージに分けた。 n-nittta committed on 9 Mar 2020
2020-03-09	3331323 Browse files » 代数処理系を追加 n-nittta committed on 9 Mar 2020
2020-03-08	991366b Browse files » 考案中 yoichiro committed on 8 Mar 2020
2020-02-15	0a2bd06 Browse files » Merge pull request #1 from nitta-lab/addStateTransitions ... コードのひな型（インタフェース）を追加した。 Naoya Nitta committed on 15 Feb 2020
2020-02-14	9f97bc7 Browse files » 自ブランチを更新 yoichiro committed on 14 Feb 2020
2020-02-14	099e779 Browse files » コードのひな型（インタフェース）を追加した。 n-nitta committed on 14 Feb 2020
2020-02-05	ab50adb Browse files » テストケース修正動作確認？ yoichiro committed on 5 Feb 2020
	63cb005 Browse files » Tajanアルゴリズム実装完了（未点検） yoichiro committed on 5 Feb 2020
	0e90cd4 Browse files » Tajanアルゴリズム実装中 yoichiro committed on 5 Feb 2020
2020-02-04	f50c7e5 Browse files » テストケースなどを追加 yoichiro committed on 4 Feb 2020
2019-12-28	f98f06a Browse files » Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git n-nittta committed on 28 Dec 2019
2019-12-28	0d08190 Browse files » ・DataFlowModelTest.java に代数式などをコメントとして追加した。 ... ・ソフトウェア工学研究会の原稿に合わせて、チャンネルを利用しない単純な例題（POSシステム）のテストケースを追加した。 n-nittta committed on 28 Dec 2019
2019-09-30	3c5087e Browse files » assignの中身を作成中 yoichiro committed on 30 Sep 2019
2019-09-30	6903f67 Browse files » 帰りがけ作成中 yoichiro committed on 30 Sep 2019
2019-09-24	8b8ec4a Browse files » Kosarajuアルゴリズムを使用することに yoichiro committed on 24 Sep 2019
2019-09-20	fb8e43f Browse files » TarjanとKosarajuの両方を調べ中 yoichiro committed on 20 Sep 2019
2019-09-19	f8c267e Browse files » もう少し yoichiro committed on 19 Sep 2019
	ec9bb55 Browse files » 深さ優先探索完成一歩手前？ yoichiro committed on 19 Sep 2019
	7e6f0a1 Browse files » 深さ優先探索を作成中 yoichiro committed on 19 Sep 2019
2019-09-12	e44ba1f Browse files » tarjanアルゴリズム作成中 yoichiro committed on 12 Sep 2019
2019-09-12	b27fe0d Browse files » アルゴリズムを作成中 yoichiro committed on 12 Sep 2019
2019-08-12	694e9ed Browse files » アルゴリズム用にノードとエッジに属性を付加できるようにした。 n-nittta committed on 12 Aug 2019
	9d9d5f0 Browse files » 初期コミット n-nittta committed on 12 Aug 2019
	cf5ed33 Browse files » Initial commit Naoya Nitta committed on 12 Aug 2019