GitBucket
| 2026-09-14 |
dependency formulaのdynamicバグ修正
Sakoda2269
committed
1 day ago
|
|---|---|
| 2026-09-12 |
dynamicの見直し
Sakoda2269
committed
3 days ago
|
| 2026-09-11 |
DependencyとDependencyTermの支配項の重複を許した
Sakoda2269
committed
4 days ago
|
| 2026-09-09 |
意味論的同値性のコードを一時的にコメントアウト
Sakoda2269
committed
6 days ago
|
|
test commit
Sakoda2269
committed
6 days ago
|
|
|
DTRAMからalgebraを抜き出し、DTRAMの依存を解消
Sakoda2269
committed
6 days ago
|
|
| 2026-09-02 |
left subとright subをdynamicに
Sakoda2269
committed
13 days ago
|
|
複数引数に対応中
Sakoda2269
committed
13 days ago
|
|
|
公理追加完了
Sakoda2269
committed
13 days ago
|
|
| 2026-08-28 |
Constantness追加まで
Sakoda2269
committed
18 days ago
|
|
dynamiをMetaRDLTermから分離したことにより生じたバグを修正
Sakoda2269
committed
18 days ago
|
|
|
dynamic termをMetaRDLTermから分離
Sakoda2269
committed
18 days ago
|
|
| 2026-08-26 |
公理を追加
Sakoda2269
committed
20 days ago
|
| 2026-08-20 |
MetaDynamicTerm追加
Sakoda2269
committed
26 days ago
|
| 2026-08-19 |
等式の公理を一部追加
Sakoda2269
committed
27 days ago
|
| 2026-08-15 |
test修正
Sakoda2269
committed
on 15 Aug
|
| 2026-08-06 |
複数引数の代入など修正
Sakoda2269
committed
on 6 Aug
|
|
dynamicなマッチングの時に項のサイズを取得できるようにした
Sakoda2269
committed
on 6 Aug
|
|
| 2026-07-31 |
testを修正
Sakoda2269
committed
on 31 Jul
|
|
dynamicな項に対応
Sakoda2269
committed
on 31 Jul
|
|
| 2026-07-29 |
isMatchedByの戻り値と引数の型を変更
Sakoda2269
committed
on 29 Jul
|
|
dynamiなmetaRDLTermに対応できるよう準備
Sakoda2269
committed
on 29 Jul
|
|
|
依存項の階数を修正
Sakoda2269
committed
on 29 Jul
|
|
|
rewriteについて修正
Sakoda2269
committed
on 29 Jul
|
|
| 2026-07-27 |
metaを複数項に対応
Sakoda2269
committed
on 27 Jul
|
| 2026-07-24 |
MetaTermも複数引数に対応
Sakoda2269
committed
on 24 Jul
|
| 2026-07-17 |
dependency formulaを修正
Sakoda2269
committed
on 17 Jul
|
|
DependencyTermを複数引数に対応
Sakoda2269
committed
on 17 Jul
|
|
|
toString修正
Sakoda2269
committed
on 17 Jul
|
|
|
syntax errorを追加
Sakoda2269
committed
on 17 Jul
|
|
|
dependencyのdependedTermsをSetに変更
Sakoda2269
committed
on 17 Jul
|
|
|
書き換え推論をいったん完成
Sakoda2269
committed
on 17 Jul
|
|
| 2026-07-10 |
推論の過程を表示できるように実装中
Sakoda2269
committed
on 10 Jul
|
| 2026-07-09 |
依存項が書けるようになったことによる修正
Sakoda2269
committed
on 9 Jul
|
|
Merge branch 'main' into feature/rewrite
Sakoda2269
committed
on 9 Jul
|
|
|
依存項を翔るようにした
Sakoda2269
committed
on 9 Jul
|
|
|
書き換え推論実装中
Sakoda2269
committed
on 9 Jul
|
|
| 2026-06-13 |
merge main
Sakoda2269
committed
on 13 Jun
|
|
dependencyが依存リソースを複数持てるようにした
Sakoda2269
committed
on 13 Jun
|
|
|
Merge branch 'feature/rewrite' of https://github.com/Sakoda2269/RDLPrototype into feature/rewrite
Sakoda2269
committed
on 13 Jun
|
|
|
mainを変更
Sakoda2269
committed
on 13 Jun
|
|
| 2026-06-08 |
修正
Sakoda2269
committed
on 8 Jun
|
| 2026-05-23 |
木の書き換えを実装。テストは未完了
Sakoda2269
committed
on 23 May
|
| 2026-05-19 |
木の構築を更新
Sakoda2269
committed
on 19 May
|
|
依存項の階数の制約を修正した
Sakoda2269
committed
on 19 May
|
|
|
ディレクトリ構成の更新
Sakoda2269
committed
on 19 May
|
|
|
Merge remote-tracking branch 'origin/feature/unification' into feature/semantic-equivalence
Sakoda2269
committed
on 19 May
|
|
| 2026-05-18 |
ディレクトリ構造変更
Sakoda2269
committed
on 18 May
|