Skip to content

adamnemecek/Abstract-Interpretation-Project

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 95.5%
  • Makefile 4.3%
  • Standard ML 0.2%