summaryrefslogtreecommitdiff
path: root/imc
AgeCommit message (Expand)Author
2024-05-18more info on reservationHEADmasterMatthew Sotoudeh
2024-05-16Grow & shrink model checkingMatthew Sotoudeh
2024-05-16check "reserve", fix bugsMatthew Sotoudeh
2024-05-16test harness includes move_buddyMatthew Sotoudeh
2024-05-16testing for reallocateMatthew Sotoudeh
2024-05-16checkerMatthew Sotoudeh
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback