Mercurial > hg > Members > ryokka > HoareLogic

graph

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 45: (0) -16 +16 tip
  • close
    Sun, 15 Dec 2019 21:42:28 +0900, by Shinji KONO
  • dead end
    Sun, 15 Dec 2019 15:57:07 +0900, by Shinji KONO
  • think about whileTransition
    Sun, 15 Dec 2019 19:22:21 +0900, by ryokka
  • ...
    Sun, 15 Dec 2019 12:29:13 +0900, by Shinji KONO
  • ...
    Sun, 15 Dec 2019 10:18:26 +0900, by Shinji KONO
  • ...
    Sat, 14 Dec 2019 21:27:49 +0900, by Shinji KONO
  • whileLoopStep
    Sat, 14 Dec 2019 09:25:45 +0900, by Shinji KONO
  • fix
    Fri, 13 Dec 2019 20:33:52 +0900, by ryokka
  • fix
    Fri, 13 Dec 2019 19:54:28 +0900, by ryokka
  • fix loopProof
    Fri, 13 Dec 2019 19:45:34 +0900, by ryokka
  • add loopProof
    Fri, 13 Dec 2019 19:23:15 +0900, by ryokka
  • add some proofs
    Thu, 12 Dec 2019 18:26:39 +0900, by ryokka
  • env fix
    Tue, 10 Dec 2019 10:34:35 +0900, by Shinji KONO
  • conversion. loop needs cases
    Tue, 10 Dec 2019 09:51:12 +0900, by Shinji KONO
  • fix loop
    Tue, 10 Dec 2019 09:19:14 +0900, by Shinji KONO
  • loop causes agda inifinite loop
    Tue, 10 Dec 2019 08:57:11 +0900, by Shinji KONO
less more | rev 45: (0) -16 +16 tip