Logo
Explore Help
Sign In
ZYM/MiniGmp-Verification
1
0
Fork 0
You've already forked MiniGmp-Verification
Code Issues Pull Requests Packages Projects Releases Wiki Activity
32 Commits 1 Branch 0 Tags
029e79b2526893d63fc1a561bbfaf7bf8578d9f3
Commit Graph

11 Commits

Author SHA1 Message Date
ZhuangYumin
94581ea60d first version annotation for mpn_add_n 2025-06-21 16:03:04 +00:00
xiaoh105
f4db688a30 fix(mpz_realloc): fix minor bugs in proof of mpz_realloc. 2025-06-21 22:23:37 +08:00
xiaoh105
1e627cdb84 Merge remote-tracking branch 'origin/main' into mpz_realloc 2025-06-21 22:08:51 +08:00
xiaoh105
f8af2cf004 feat(mpz_clear & mpz_realloc): Proved correctness of mpz_clear and mpz_realloc 2025-06-21 21:51:00 +08:00
ZhuangYumin
49848bd048 finish proof_of_mpn_add_1_return_wit_1 2025-06-20 16:57:26 +00:00
ZhuangYumin
c206e4165f finish symexec 2025-06-20 13:57:21 +00:00
ZhuangYumin
8c52269a5e first version for annotations of mpn_add_1 2025-06-20 13:24:36 +00:00
xiaoh105
f7432dca84 feat(cmp4): modied certain annotations for mpn_cmp and proved correctness of mpn_cmp4. 2025-06-12 12:37:01 +08:00
xiaoh105
4c0b0e98fa feat(mpn_copyi): Proved correctness of mpn_copyi and other simple util functions. 2025-06-10 17:54:33 +08:00
xiaoh105
1873d949ce Add annotations to gmp.c 2025-06-07 15:23:11 +08:00
xiaoh105
47ca3e72bd feat: Add definitions for basic structures. 2025-05-27 16:09:30 +08:00
Powered by Gitea Version: 1.24.2 Page: 907ms Template: 70ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API