/Tai-e-assignments

Tai-e assignments for static program analysis

Primary LanguageJavaGNU Lesser General Public License v3.0LGPL-3.0

Tai-e Assignments for Static Program Analysis

Getting Started

If you want to do the assignments, please start with "Overview of Tai-e Assignments" [中文][English].