changeset | 2d2b0b06945b |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | simplfied version |
files | whileTestGears1.agda |
changeset | 1b2d58c5d75b |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | whileTestGears.agda |
changeset | e152d7afbb58 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | add readme |
files | Readme.md ReadmeGears.md Todo whileTestGears.agda |
changeset | 4c93248d5ec6 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | whileTestGears.agda |
changeset | c3b08293a72e |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | remove exit from LoopS |
files | whileTestGears.agda |
changeset | a7263ecf8671 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | fix |
files | whileTestGears.agda whileTestGears1.agda whileTestPrim.agda whileTestPrimProof.agda |
changeset | 9c91d23c2836 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | Abstract Termination done |
files | whileTestGears1.agda |
changeset | bbbdc8ce8d04 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | whileTestGears1.agda |
changeset | fb2e12dca19a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | Terminating done |
files | whileTestGears1.agda |
changeset | c2bc4ee841af |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | utilities.agda whileTestGears1.agda |