Mercurial > hg > Members > ryokka > HoareLogic

annotate Todo @ 96:e152d7afbb58

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add readme
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 08 Apr 2023 07:49:41 +0900
parents 575b849cab1a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
96
e152d7afbb58 add readme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
1 Sat Apr 8 07:48:50 JST 2023
e152d7afbb58 add readme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
2
e152d7afbb58 add readme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
3 Invariant と 実際の入力をわけない
e152d7afbb58 add readme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
4
13
575b849cab1a add todo
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 Sun Dec 16 07:32:06 JST 2018
575b849cab1a add todo
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
575b849cab1a add todo
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 Gears の方に term condition を入れる
575b849cab1a add todo
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 initial condition に変数を入れる (証明でしか計算できないようにするため)
575b849cab1a add todo
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 Gears 側の証明をメタ計算的にする
575b849cab1a add todo
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 メタ計算以外は元の計算を保存する用にする