log

age author description
2019-12-21 ryokka fix
2019-12-21 ryokka Maybe All Proof. but Non-Terminating
2019-12-21 ryokka fix
2019-12-20 ryokka proof whileLoopPwP tri= case, conv
2019-12-20 Shinji KONO ...
2019-12-20 Shinji KONO discrete state
2019-12-19 Shinji KONO use state as t
2019-12-18 ryokka fix
2019-12-18 ryokka add s1~3, proofs
2019-12-18 Shinji KONO ...
2019-12-16 Shinji KONO ...
2019-12-16 Shinji KONO fixes
2019-12-15 Shinji KONO simplified env with state condition
2019-12-15 Shinji KONO close
2019-12-15 Shinji KONO dead end
2019-12-15 ryokka think about whileTransition
2019-12-15 Shinji KONO ...
2019-12-15 Shinji KONO ...
2019-12-14 Shinji KONO ...
2019-12-14 Shinji KONO whileLoopStep
2019-12-13 ryokka fix
2019-12-13 ryokka fix
2019-12-13 ryokka fix loopProof
2019-12-13 ryokka add loopProof
2019-12-12 ryokka add some proofs
2019-12-10 Shinji KONO env fix
2019-12-10 Shinji KONO conversion. loop needs cases
2019-12-10 Shinji KONO fix loop
2019-12-09 Shinji KONO loop causes agda inifinite loop
2019-12-09 ryokka fincase
2019-12-09 ryokka coinduction
2019-12-09 ryokka add whileTestCondition
2019-12-09 ryokka close
2019-12-09 ryokka add whileTestCondition
2018-12-24 Shinji KONO rename modules
2018-12-24 Shinji KONO separate prim program
2018-12-24 Shinji KONO separate Hoare with whileTestPrim
2018-12-24 Shinji KONO fix module relation
2018-12-24 Shinji KONO Hoare and Relop done
2018-12-24 Shinji KONO fix
2018-12-24 Shinji KONO add Hoare again
2018-12-16 Shinji KONO add Gears1
2018-12-16 ryokka add comment
2018-12-16 Shinji KONO Prim variable version done
2018-12-15 Shinji KONO make 10 variable
2018-12-15 Shinji KONO add todo
2018-12-15 Shinji KONO add utilitites
2018-12-15 Shinji KONO finish
2018-12-15 Shinji KONO proof completed
2018-12-15 Shinji KONO add some proof
2018-12-15 Shinji KONO add proofs
2018-12-14 Shinji KONO fix test1
2018-12-14 Shinji KONO fix whileTestGears
2018-12-14 ryokka add future code proofGears
2018-12-14 ryokka add whileTestGears
2018-12-14 Shinji KONO add simple Hoare logic example
2018-12-13 ryokka add HTProof
2018-12-13 ryokka modify Hoare-Logic base
2018-12-13 ryokka add Hoare.agda , whileTest.agda