Uploaded at Jun 4 12:41:35 2021 (UTC)
Succesfully tested at Mar 1 06:41:24 2022

Curry Package cass-analysis

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 3.0.0
Package source:
cass-analysis-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/cass-analysis.git