GitBucket

1 day ago

s-machida opened pull request nitta-lab/RDLCanvas#3

1 day ago

s-machida created branch fixJsonParser at nitta-lab/RDLCanvas

1 day ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

af9ef0e Table定義のGenerateを作成

1 day ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

c8572d7 Argumentの型をIDから参照するように変更

1 day ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

4a63999 JsonのIDの頭文字を大文字から小文字に変更

1 day ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

01cce68 Valueをcheckするメゾットを親クラスに移動

2 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

ba9d335 ScreenとTableが混在したJsonファイルに対応するように変更

2 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

0d50231 Jsonファイルを修正

2 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

b3638f2 画面定義とテーブル定義が結合したJsonファイルを追加

2 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

d3d9206 画面定義の部分を作成

2 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

8684673 アプリケーション固有の親クラスを作成

2 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

2b9d02a Jsonの誤字を修正

4 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

fea4be6 curScIdの定義式を追加。

5 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

ca2e140 公理実装完了

5 days ago

y-nishio deleted branch Raptor at nitta-lab-2027/JerseyExercise

5 days ago

s-takai deleted branch addSeasoning at nitta-lab-2027/JerseyExercise

6 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

57ee948 メタアプリケーションの画面表示の生成部分を作成 BaseMetaGenerateRDL.javaの影響による細かな修正

6 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

0592906 ScreenTemplateGenerateRDL.javaからMetaScreenGenerateRDL.javaに名前を変更(Commit忘れ)

6 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

215959e ScreenTemplateGenerateRDL.javaからMetaScreenGenerateRDL.javaに名前を変更

6 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

e26c7d8 共通する式生成をまとめた親クラスと、その子クラスとしてScreenTemplateGenerateRDL.javaを変更しました。

a206e47 ファイル入力無し側のコンストラStatementを実行するように修正

3598b82 依存関係の入力ミスを修正

...

6 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

ddbd519 ArgumentExtensionまで

25fc879 test完了

2da711b isMatchedByにPositionを追加

6 days ago

c-okada deleted branch refactor-mediatorInsertion at nitta-lab/DesignCraft

6 days ago

n-nitta deleted branch changePlainToHierarchical at nitta-lab/DesignCraft

6 days ago

n-nitta merged pull request nitta-lab/DesignCraft#22

6 days ago

c-okada pushed to refactor-mediatorInsertion at nitta-lab/DesignCraft

4b09869 ASTGeneratorのcreateメソッドをpublic staticに変更し、MediatorInsertionWeaver、DependencyInversionWeaverから呼び出す形に変更。複製していた重複するクラスは削除

6 days ago

c-okada opened pull request nitta-lab/DesignCraft#22

6 days ago

c-okada created branch refactor-mediatorInsertion at nitta-lab/DesignCraft

7 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

1c98c0c InTestを削除

e64b8e1 Uncurrying途中まで

ce2914c Constantnessまで

...

7 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

3264627 testを修正

6ac7030 testを修正, EquationAxiom#applyの戻り値を変更

09b8a70 公理更新中

...

14 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

95d24b7 公理の推論の実装変更とtransitivity testまで

d8a6590 requiredAssumptions実装まで

14 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

8fbdd2d in, codomain membership, domain membershipを実装

0dd6a29 公理系一通り実装完了

14 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

4391dc6 ScreenGenerateRDL.java：画面定義で定数を反映できるように変更

14 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

b431a22 ScreenGenerateRDL.java：画面定義(Definition)を作成 ScreenTemplateGenerateRDL.java：コメントを追加

14 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

8494579 ScreenTemplateのRDL式の生成を作成

14 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

5eea6e8 RDLSpecのインスタンス生成をGenerateRDL.javaに移動

14 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

cc5b686 ScreenTemplateGenerateRDL.java：画面テンプレートのDependencyを一部追加

15 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

3a6c22c GenerateRDL.java：ScreenTemplateを追加 RDLSpec.java：ResourceMapのgetter, outputを追加 ScreenGenerateRDL.java：JsonからConstantの生成に変更 ScreenTemplateGenerateRDL.java：ResourceDeclaration作成メゾットを追加

15 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

9b1b3e0 Main.java：Jsonファイルから直接実行できるように変更 RDLSpec.java：デバッグ用のoutputコードを追加 BaseGenerateRDL.java：削除

16 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

2fc8d7a Right Normalizationまで

16 days ago

c-okada merged pull request nitta-lab/DesignCraft#21

17 days ago

n-nitta opened pull request nitta-lab/DesignCraft#21

17 days ago

n-nitta pushed to changePlainToHierarchical at nitta-lab/DesignCraft

8d9c3cd ・PrimitivePullPushDelta で二重ループを生成する必要がある場合があったのが考慮できていなかった．・PrimitivePullDelta の生成時に多重度を正しく反映出来ていない場合があった．

18 days ago

s-machida deleted branch createRDLParser at nitta-lab/RDLWorkbench

18 days ago

k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem

998595c MapComposition 途中まで

18 days ago

r-hashime pushed to editGenerateRDL at nitta-lab/RDLCanvas

b5383af RDLSpecとテスト用のJSONファイルを取り込みました。

18 days ago

s-machida deleted branch createRDLParser at nitta-lab/RDLWorkbench

18 days ago

n-nitta merged pull request nitta-lab/RDLWorkbench#5

18 days ago

s-machida pushed to createRDLParser at nitta-lab/RDLWorkbench

702dff8 DependencyTermはdependedTermsとargTermsに分けた。 ResourceConstantも一部変更(RDLSpecで一元管理するようにした)

18 days ago

n-nitta merged pull request nitta-lab/RDLProofSystem#2

18 days ago

k-sakoda opened pull request nitta-lab/RDLProofSystem#2