root
/
verified-memory-allocator
mirror of https://github.com/syswonder/verified-memory-allocator
1
0
Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 2bdab9e655 feat: add frame_trait components liujun 2026-01-07 21:42:57 +0800
  • 60f3f8b81e creat a new branch to complete memory components liujun 2025-12-30 15:32:09 +0800
  • 6b40d543f4 feat: test for_range and set_range_to performance testing liujun 2025-12-29 19:28:22 +0800
  • 65ba76efd8 update final implementation LiuJun5817 2025-11-26 12:05:16 +0800
  • b1d261a295 fix: fix an error in requires of dealloc main LiuJun5817 2025-10-29 13:49:11 +0800
  • c6a203bd69 feat: xxxx LiuJun5817 2025-10-23 16:40:06 +0800
  • e74d1c7775 fix: fix the error of core imports LiuJun5817 2025-10-17 17:09:04 +0800
  • 0ac03fd258 fix: add missing core imports to resolve compile errors LiuJun5817 2025-10-17 16:54:55 +0800
  • 7e49167a73 style: change the dependency of vstd LiuJun5817 2025-10-16 22:12:02 +0800
  • 7880e0762d style: change package name to verified-memory-allocator LiuJun5817 2025-10-16 22:03:07 +0800
  • 99feb5c9af style: change edition 2024 to 2021 LiuJun5817 2025-10-16 21:58:23 +0800
  • b0c0ecf9f8 perf: update v3_impl to improve performance and add some tests LiuJun5817 2025-10-16 21:23:10 +0800
  • 5de1ebac15 refactor: refactor the project structure, add the original implementation code, and test performance LiuJun5817 2025-10-05 18:46:16 +0800
  • 8b3d9f5269 style: restructure the project to remain consistent with the original bitmap-allocator LiuJun5817 2025-09-28 17:09:39 +0800
  • 0eb74fc673
         Update README.md LiuJun 2025-09-26 20:01:23 +0800
  • 8eef3f1764 docs: change the fixture of BitAlloc_struct.png LiuJun5817 2025-09-26 19:48:50 +0800
  • 8fa8d250ad docs: add some images LiuJun5817 2025-09-26 19:16:18 +0800
  • df4ad86b93 feat: completion of the initial proof(v0) for the memory allocator LiuJun5817 2025-09-24 15:41:53 +0800
  • b96424f326 feat: add a function "set_range_to" in trait "BitAlloc" LiuJun5817 2025-09-21 16:57:35 +0800
  • 4fdd379212 feat: completed the function of remove LiuJun5817 2025-09-21 14:35:17 +0800
  • e959a32aa3 feat: completed the function of insert, but have 2 assume LiuJun5817 2025-09-19 08:58:35 +0800
  • 90755fe0fd
         Create LICENSE LiuJun 2025-09-07 15:38:23 +0800
  • a0dfcb477b feat: completed the function of dealloc and change the struct BitAllocCascade16 LiuJun5817 2025-09-05 19:20:11 +0800
  • 23eacb0c28 feat(bitalloccascade16): implemented the alloc function for the 16-level tree structure LiuJun5817 2025-09-04 14:17:31 +0800
  • 498eb9f7ee Rewrite `find_map` as a `while` loop. LiuJun5817 2025-08-04 19:45:22 +0800
  • 787aa60cb6 complet the proof of seq_index < 16 LiuJun5817 2025-08-04 11:32:52 +0800
  • 56634a0afc Split the "BitAlloc" trait into modified values "BitAlloc" and unmodified values "BitAllocView" LiuJun5817 2025-08-03 23:34:42 +0800
  • 4ffc3be654 add the feature of trait LiuJun5817 2025-07-28 21:39:21 +0800
  • 0f629fa692 Fixed the previous error in the proof of find_contiguous LiuJun5817 2025-07-20 16:02:12 +0800
  • 5694523a62 Tidy up the bitmap_vec.rs file, add comments LiuJun5817 2025-07-14 15:28:47 +0800
  • 4c24d5fec6 The proof of bitalloc16 has been completed. LiuJun5817 2025-06-30 23:49:15 +0800
  • 01341e7680 change the find_contiguous LiuJun5817 2025-06-25 19:15:52 +0800
  • 5f9ee1819f define the find_contiguous LiuJun5817 2025-06-20 19:24:56 +0800
  • cd08efc579 complete the insert and remove LiuJun5817 2025-06-19 19:15:00 +0800
  • c489314c55 complete the next LiuJun5817 2025-06-17 20:26:18 +0800
  • e7a3894c5d chang the next func LiuJun5817 2025-06-14 17:01:16 +0800
  • f6f42d6a97 complete the verification of the alloc of bitalloc16 LiuJun5817 2025-06-12 18:42:32 +0800
  • 4e731edc94 init FrameAllocatorState and some spec of alloc LiuJun5817 2025-05-12 08:52:38 +0800
  • d995f6bc85
         Initial commit LiuJun 2025-05-11 16:09:24 +0800