gdahia / ufba-mata54 Goto Github PK

Must write update next_empty pointer in header

Expected behavior is print 0

Chain head removal should be implemented by replacing it by the second element and erasing it.

join all proofs into one, defining concepts as legitimacy in a single header. Also, avoid circular proofs.

check if 'insert' can be made to have one case less, by unifying 'chain' and 'relocate'. Or at unify 'chain' and 'relocate'.

Instead of using 'good' member of Register, use the sign of the pointer as indicator of presence. Null pointer could point to the position itself.