0.1a2
Closed Dec 11, 2020
100% complete
Complete prototype of the structure of the library, including the definition of call graphs and heap abstractions, definition of first numerical value analyses (interface with apron)
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.