Dijkstra still failing #29
Description
Dijkstra is still failing when running regression. Similar problem happens to swaptions. The reason is that malloc/calloc/free are moved out of Pure Function list.
Todos:
- Handle SpecPriv recognizing external function properly for malloc...
- Handle memory deps removal properly in SCAF for malloc...
- Make sure Swaptions and Dijkstra have the same performance as Perspective