Fix for `malloc` incorrectly preventing checked region addition (issue #486)#527

Open

aaronjeline wants to merge 10 commits intomainfrom iss486

+361-328

Commits on Mar 25, 2021

First draft of fix for generics in checked regions
Aaron Eline
committed

Commits on Apr 1, 2021

Merge branch 'main' into iss486
Aaron Eline
committed
Ran processor
Aaron Eline
committed

Commits on Apr 3, 2021

Merge branch 'main' into iss486
Aaron Eline
committed
First draft of wild function pointer fix
Aaron Eline
committed
Test fixing
Aaron Eline
committed
Processor.py updates
Aaron Eline
committed
test_updater.py changes
Aaron Eline
committed

Commits on Apr 4, 2021

Updating tests
Aaron Eline
committed

Commits on Apr 5, 2021

Fixed minor regression
Aaron Eline
committed