Dec 15, 2023 · Xr0 Team
We've completed all the items from the previous goals except for (1.) under our stretch goals.
Rather than continue focusing on this goal alone for the next couple of days, we've decided to begin another iteration centered on verifying our new program, so we can hopefully have it done by the end of the year.
This iteration will run to 23 Dec. Our overarching goal is to move towards verifying the above program, but in order to keep the iteration achievable we are breaking this task into two stages, the first of which we will focus on in this iteration.
Our goals:
We will verify all but one of the functions that directly invoke malloc (or
calloc, realloc) and free
[#15]
Simplify map and array data structures [#13].
Stretch goals:
Subscribe via email.