summaryrefslogtreecommitdiff
path: root/src/main_gen.rs
diff options
context:
space:
mode:
authorRaito Bezarius2024-04-12 19:11:16 +0200
committerRaito Bezarius2024-04-12 19:11:16 +0200
commit3577c7dc9d3013d401c45a7628b0ff4b6fd0ec67 (patch)
tree6d481e2bb1ffa6ced38cde52efa09aa2dbda1889 /src/main_gen.rs
parent50be416e22a39eaf59f7edba81b919e1f114a0ae (diff)
feat: upgrade and close all proofs except Preorder on U32
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'src/main_gen.rs')
0 files changed, 0 insertions, 0 deletions