This is the public repository for my (Goktug Saatcioglu) Spring 2019 Abstract Interpretation Project. All implementations of the abstract domains are in the domains folder. The src folder contains the core parts of the project including the parser and the interpreter itself. Please see manual.pdf on how to run the project with a specific domain and how to provide test inputs.
goki0607 / abstract-interpretation-project Goto Github PK
View Code? Open in Web Editor NEWThis is the public repository for my Spring 2019 Abstract Interpretation Project.