Uploaded at Sep 8 15:43:33 2020 (UTC)
Succesfully tested at Feb 16 03:44:39 2023

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 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