Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2024-06-18 | Shinji KONO | ... default tip |
2024-04-05 | Shinji KONO | add mul |
2023-11-29 | Shinji KONO | ... |
2023-11-22 | Shinji KONO | StarProp and Ntrace |
2023-11-16 | Shinji KONO | ... |
2023-11-15 | Shinji KONO | ... |
2023-11-09 | Shinji KONO | safe halt.agda |
2023-11-08 | Shinji KONO | ... |
2023-09-24 | Shinji KONO | ... |
2023-09-24 | Shinji KONO | ... |
2023-09-24 | Shinji KONO | fix for std-lib 2.0 |
2023-08-10 | Shinji KONO | ... |
2023-08-10 | Shinji KONO | ... |
2023-08-06 | Shinji KONO | ... |
2023-08-05 | Shinji KONO | ... |
2023-08-05 | Shinji KONO | ... |
2023-08-03 | Shinji KONO | ... |
2023-08-03 | Shinji KONO | ... look bad |
2023-08-03 | Shinji KONO | ... |
2023-07-31 | Shinji KONO | ... |
2023-07-30 | Shinji KONO | ... |
2023-07-27 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | bb22 takes 10GB and 5 min |
2023-07-26 | Shinji KONO | ... |
2023-07-26 | Shinji KONO | ... |