Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
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 | ... |
2023-07-25 | Shinji KONO | add regex2 (we need source reorganization) |
2023-07-24 | Shinji KONO | ... |
2023-07-24 | Shinji KONO | ... |
2023-07-24 | Shinji KONO | ... ! |
2023-07-24 | Shinji KONO | ... |
2023-07-24 | Shinji KONO | ... |
2023-07-24 | Shinji KONO | ... |
2023-07-24 | Shinji KONO | ... |
2023-07-24 | Shinji KONO | ... |
2023-07-23 | Shinji KONO | .. another one |
2023-07-23 | Shinji KONO | ... |
2023-07-22 | Shinji KONO | .. |
2023-07-22 | Shinji KONO | ... I see ... |
2023-07-22 | Shinji KONO | ... |
2023-07-22 | Shinji KONO | we may use different scheme on regex-states |
2023-07-22 | Shinji KONO | ... |
2023-07-22 | Shinji KONO | ... |
2023-07-22 | Shinji KONO | ... |
2023-07-21 | Shinji KONO | ... |
2023-07-19 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | finiteSet from fin injection done |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | fix fin<n |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-18 | Shinji KONO | ... |
2023-07-17 | Shinji KONO | ... |
2023-07-17 | Shinji KONO | ... |
2023-07-17 | Shinji KONO | ... |
2023-07-17 | Shinji KONO | ... |
2023-07-17 | Shinji KONO | ... |
2023-07-17 | Shinji KONO | copying countable bijection may not easy |
2023-07-16 | Shinji KONO | ... |
2023-07-15 | Shinji KONO | ... |
2023-07-15 | Shinji KONO | n<m→fDUP is bad idea. Bernstein style on constructive proof requires complex calculation |
2023-07-15 | Shinji KONO | ... |
2023-07-11 | Shinji KONO | ... |
2023-07-10 | Shinji KONO | ... |
2023-07-10 | Shinji KONO | ... |
2023-07-10 | Shinji KONO | ... |
2023-07-10 | Shinji KONO | ... |
2023-07-09 | Shinji KONO | ... |
2023-07-09 | Shinji KONO | ... |
2023-03-20 | Shinji KONO | ... |
2023-03-12 | Shinji KONO | ... |
2023-03-12 | Shinji KONO | fix |
2022-12-07 | Shinji KONO | ... |
2022-11-16 | Shinji KONO | ... |
2022-01-25 | Shinji KONO | ... |
2022-01-23 | Shinji KONO | temporal logic |
2022-01-21 | Shinji KONO | ... |
2022-01-21 | Shinji KONO | omega |
2022-01-14 | Shinji KONO | root2 fulcomp |
2022-01-14 | Shinji KONO | ... |
2022-01-14 | Shinji KONO | ... |
2022-01-14 | Shinji KONO | ... |
2022-01-14 | Shinji KONO | ... |
2022-01-14 | Shinji KONO | ... |
2022-01-12 | Shinji KONO | ... |
2022-01-05 | Shinji KONO | ... |
2022-01-03 | Shinji KONO | ... |
2022-01-03 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | clean up |
2022-01-02 | Shinji KONO | tra-phase1 done |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | tra-04 |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-30 | Shinji KONO | ... |
2021-12-29 | Shinji KONO | ... |
2021-12-29 | Shinji KONO | fin side done |
2021-12-29 | Shinji KONO | fless |
2021-12-28 | Shinji KONO | ... |
2021-12-28 | Shinji KONO | ... |
2021-12-28 | Shinji KONO | ... |
2021-12-28 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | fix decrement case |
2021-12-27 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | remove ls<n |