cass-analysis - Base libraries and implementation of program analyses for CASS

This directory contains the implementation of various program analyses which can be used with CASS (the Curry Analysis Server System), available in the package cass.

Download

Checkout with CPM:

cypm checkout cass-analysis 2.0.0

Package source:

cass-analysis-2.0.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/cass-analysis.git