2020-05-09
・入出力チャンネルにしか出現しないリソースを ResourceDependencyGraph にノードとして出力していなかったのを修正。 ...
n-nittta committed on 9 May 2020
2020-03-19
JGraphXを用いてアプリケーションを作成した。 ...
n-nittta committed on 19 Mar 2020
2020-03-11
・StateTransition#deriveMessageConstraintFor() ...
n-nittta committed on 11 Mar 2020
2020-03-09
代数処理系を別パッケージに分けた。
n-nittta committed on 9 Mar 2020
代数処理系を追加
n-nittta committed on 9 Mar 2020
2019-08-12
アルゴリズム用にノードとエッジに属性を付加できるようにした。
n-nittta committed on 12 Aug 2019
初期コミット
n-nittta committed on 12 Aug 2019