Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-05-16 | Grow & shrink model checking | Matthew Sotoudeh | |
2024-05-16 | check "reserve", fix bugs | Matthew Sotoudeh | |
2024-05-16 | test harness includes move_buddy | Matthew Sotoudeh | |
2024-05-16 | testing for reallocate | Matthew Sotoudeh | |
2024-05-16 | checker | Matthew Sotoudeh | |
2024-05-16 | support for moving the allocation pool | Matthew Sotoudeh | |
2024-05-16 | bug fixes, reallocate, and reserve | Matthew Sotoudeh | |
2024-05-16 | attempt at a preallocation feature | Matthew Sotoudeh | |
2024-05-16 | implementation idea | Matthew Sotoudeh | |
2024-05-16 | some more readme | Matthew Sotoudeh | |
2024-05-16 | fix small memcpy bug | Matthew Sotoudeh | |
2024-05-15 | basic magic buddy allocator | Matthew Sotoudeh | |