Mercurial > hg > Members > ryokka > HoareLogic
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 |