2024-08-06
DTRAM言語仕様の大幅変更.(比較演算子および論理演算子を中間記法に,==を=に.)
Naoya Nitta committed on 6 Aug 2024
2020-05-03
修正ミスがあった。
n-nittta committed on 3 May 2020
POSとトポロジーが変わるように変更した。
n-nittta committed on 3 May 2020
2020-04-30
modelファイル中で、リソース状態の型を指定できるようにした。 ...
n-nittta committed on 30 Apr 2020
2020-03-30
loyalty --> points
n-nittta committed on 30 Mar 2020
2020-03-09
代数処理系を追加
n-nittta committed on 9 Mar 2020