GitBucket
| 2025-11-01 |
線形右正規化のバグを修正
Sakoda2269
committed
on 1 Nov
|
|---|---|
| 2025-10-31 |
Dependency#toStringがバグっていたので修正
Sakoda2269
committed
on 31 Oct
|
|
Merge branch 'feature/formulas'
Sakoda2269
committed
on 31 Oct
|
|
|
コンストラクタ追加
Sakoda2269
committed
on 31 Oct
|
|
| 2025-10-30 |
Merge pull request #5 from Sakoda2269/feature/inference-rule
...
Sakoda2269
authored
on 30 Oct
GitHub
committed
on 30 Oct
|
| 2025-10-27 |
テスト追加
Sakoda2269
committed
on 27 Oct
|
|
テスト追加
Sakoda2269
committed
on 27 Oct
|
|
|
テスト追加
Sakoda2269
committed
on 27 Oct
|
|
| 2025-10-25 |
toString調整
Sakoda2269
committed
on 25 Oct
|
|
Merge branch 'main' into feature/inference-rule
Sakoda2269
committed
on 25 Oct
|
|
|
Merge pull request #4 from Sakoda2269/feature/formulas
...
Sakoda2269
authored
on 25 Oct
GitHub
committed
on 25 Oct
|
|
|
MetaFormulaにtoString, hashCode, equalsを追加
Sakoda2269
committed
on 25 Oct
|
|
|
InferenceRule作成
Sakoda2269
committed
on 25 Oct
|
|
|
Merge pull request #3 from Sakoda2269/feature/formulas
...
Sakoda2269
authored
on 25 Oct
GitHub
committed
on 25 Oct
|
|
|
EquationFormulaのフィールド名変更
Sakoda2269
committed
on 25 Oct
|
|
| 2025-10-24 |
メソッド名修正
Sakoda2269
committed
on 24 Oct
|
| 2025-10-23 |
テスト追加
Sakoda2269
committed
on 23 Oct
|
|
Merge branch 'main' into feature/formulas
Sakoda2269
committed
on 23 Oct
|
|
|
ディレクトリ変更
Sakoda2269
committed
on 23 Oct
|
|
|
Merge branch 'main' into feature/formulas
Sakoda2269
committed
on 23 Oct
|
|
|
Merge pull request #2 from Sakoda2269/feature/meta-model2
...
Sakoda2269
authored
on 23 Oct
GitHub
committed
on 23 Oct
|
|
|
MetaRDLTermにtypeCheckを追加
Sakoda2269
committed
on 23 Oct
|
|
|
Formulaを追加
Sakoda2269
committed
on 23 Oct
|
|
|
ディレクトリ変更
Sakoda2269
committed
on 23 Oct
|
|
|
Merge pull request #1 from Sakoda2269/feature/meta-model2
...
Sakoda2269
authored
on 23 Oct
GitHub
committed
on 23 Oct
|
|
| 2025-10-22 |
テスト追加
Sakoda2269
committed
on 22 Oct
|
|
MetaRDLTermのコンストラクタを修正
Sakoda2269
committed
on 22 Oct
|
|
|
MeatRDLTermのDependencyTermのコンストラクタを変更
Sakoda2269
committed
on 22 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 22 Oct
|
|
|
DependencyTermのコンストラクタ変更
Sakoda2269
committed
on 22 Oct
|
|
|
binやtargetをuntrack
Sakoda2269
committed
on 22 Oct
|
|
|
gitignore変更
Sakoda2269
committed
on 22 Oct
|
|
| 2025-10-21 |
tmp
Sakoda2269
committed
on 21 Oct
|
| 2025-10-20 |
medaモデルで階数の表示方法を変更
Sakoda2269
committed
on 20 Oct
|
|
TermTypeのフィールド名変更
Sakoda2269
committed
on 20 Oct
|
|
| 2025-10-19 |
テストを追加
Sakoda2269
committed
on 19 Oct
|
| 2025-10-18 |
パターンマッチ追加
Sakoda2269
committed
on 18 Oct
|
| 2025-10-16 |
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
RDLTermのequalsを修正
Sakoda2269
committed
on 16 Oct
|
|
|
metaモデル基礎作成
Sakoda2269
committed
on 16 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
|
equalsなどを追加
Sakoda2269
committed
on 16 Oct
|
|
|
metaモデル基礎作成
Sakoda2269
committed
on 16 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
|
例外を追加
Sakoda2269
committed
on 16 Oct
|
|
|
例外を追加
Sakoda2269
committed
on 16 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
|
例外を追加
Sakoda2269
committed
on 16 Oct
|
|
|
metaモデル基礎作成
Sakoda2269
committed
on 16 Oct
|
|
|
不要なものを削除
Sakoda2269
committed
on 16 Oct
|
|
| 2025-10-13 |
symbolをコンストラクタで渡すようにした
Sakoda2269
committed
on 13 Oct
|
| 2025-09-26 |
DTRAMのTermを使用するようにした
Sakoda2269
committed
on 26 Sep
|
| 2025-09-20 |
first commit
Sakoda2269
committed
on 20 Sep
|