Mercurial > hg > Members > ryokka > HoareLogic
log
age | author | description |
---|---|---|
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 |