spin.y: In function ‘ltl_to_string’:
spin.y:1117:9: warning: implicit declaration of function ‘free’ [-Wimplicit-function-declaration]
 1117 |         free(ltl_formula);
      |         ^~~~

Signed-off-by: Noah Watkins <[email protected]>

main.c: In function ‘main’:
main.c:1080:42: warning: ‘.nvr’ directive writing 4 bytes into a region of size between 1 and 512 [-Wformat-overflow=]
 1080 |                         sprintf(out2, "%s.nvr", argv[1]);
      |                                          ^~~~
main.c:1080:25: note: ‘sprintf’ output between 5 and 516 bytes into a destination of size 512
 1080 |                         sprintf(out2, "%s.nvr", argv[1]);
      |                         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Signed-off-by: Noah Watkins <[email protected]>

Fix compiler warnings

…local functions

…pdate

Updated limit of maximum inline depth

Changed buffer sizes in Src/structs.c