Xia Li-yao
| name | Xia Li-yao |
| Crates.io: | Lysxia |
| GitHub user: | Lysxia |
Has error in the released Cargo.toml file
| name | repo |
|---|---|
| creusot-contracts | repo |
| creusot-contracts-proc | repo |
| pearlite-syn | repo |
| creusot-contracts-dummy | repo |
| why3 | repo |
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| creusot-contracts | 2025-03-03 12:11:24.145628+00 | Xia Li-yao | NA | NA | NA | fmt |
| creusot-contracts-proc | 2025-03-03 12:11:15.837464+00 | Xia Li-yao | repo | 2745 | GitHub Action | fmt |
| pearlite-syn | 2025-03-03 12:11:08.714026+00 | Xia Li-yao | repo | 2745 | GitHub Action | fmt |
| creusot-contracts-dummy | 2025-03-03 12:11:03.254553+00 | Xia Li-yao | NA | NA | NA | fmt |
| why3 | 2025-03-03 12:10:56.94018+00 | Xia Li-yao | repo | 2745 | GitHub Action | fmt |
| pearlite | 2021-11-18 16:48:35.19812+00 | Xia Li-yao | NA | NA | NA | fmt |