Uploaded at Jun 13 18:52:11 2022
Succesfully tested at Sep 27 06:03:16 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.1
Package source:
cass-analysis-3.0.1.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/cass-analysis.git