adamnemecek / Abstract-Interpretation-Project

Another Ph.D.-level course taken at NYU.

abstract-interpretation-project

（a6stract-int3rpretati0n-pr0ject）

This is one of my favorite classes ever taken at NYU.

The file "main" can be compiled using gmake (under tcsh)
% make clean
% script
% make all
% ^D
% make clean

The way I am compiling:

1. Open the folder abstract-interpreter in Visual Studio code.
2. %make all