Skip to content

GitLab

Explore

Sign in

AVA
reference-static-analyser-pa-2019-20

R

reference-static-analyser-pa-2019-20

Project information

This is a static analyser developed for the Program Analysis course at TU Kaiserslautern. for more information see the course page: https://moodle.mpi-sws.org/course/view.php?id=24

5 Commits
1 Branch
0 Tags

README

Created on

November 11, 2019

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:AVA/reference-static-analyser-pa-2019-20.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/AVA/reference-static-analyser-pa-2019-20.git