| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-05-18 | more info on reservationHEADmaster | Matthew Sotoudeh |
| 2024-05-17 | lua benchmarks | Matthew Sotoudeh |
| 2024-05-17 | fix bug | Matthew Sotoudeh |
| 2024-05-17 | fix bug & intrinsic log | Matthew Sotoudeh |
| 2024-05-17 | simpler size2log | Matthew Sotoudeh |
| 2024-05-17 | simpler size2log | Matthew Sotoudeh |
| 2024-05-17 | memmove vs memcpy | Matthew Sotoudeh |
| 2024-05-17 | naming | Matthew Sotoudeh |
| 2024-05-17 | simplify the reservation logic | Matthew Sotoudeh |
| 2024-05-16 | Grow & shrink model checking | Matthew Sotoudeh |
| 2024-05-16 | check "reserve", fix bugs | Matthew Sotoudeh |
| 2024-05-16 | describe time bounds | Matthew Sotoudeh |
| 2024-05-16 | test harness includes move_buddy | Matthew Sotoudeh |
| 2024-05-16 | checker | Matthew Sotoudeh |
| 2024-05-16 | reorganize | Matthew Sotoudeh |
 |
index : magic-buddy.git | |
| A buddy allocator with zero metadata overhead | git repository hosting |
| summaryrefslogtreecommitdiff |
path: root/magic_buddy
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback