nitta-lab/AlgebraicDataflowArchitectureModel

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

2020-03-23	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-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
2019-09-19	ec9bb55 Browse files » 深さ優先探索完成一歩手前？ yoichiro committed on 19 Sep 2019