Skip to content

GitLab

Explore

Sign in
Register

Tags

Tags give the ability to mark specific points in history as being important

v3.0.1

d235c49f · Add type signatures · Nov 05, 2023
```
v3.0.1
```
v3.0.0

12be38cc · Better characterization of strongly encapsulated operations · Jun 04, 2021
```
v3.0.0
```
v2.0.0

c553ea03 · Some reformatting · Sep 08, 2020
```
v2.0.0
```
v0.0.4

2bbe6fd6 · Types for analyzing complete modules added. UnsafeModule analysis implemented · Jun 05, 2018
```
v0.0.4
```
v0.0.3

8a4e7d7e · Productivity analysis improved for Prelude.? · Mar 06, 2017
```
v0.0.3
```
v0.0.2

00601ffb · Termination analysis improved with SCC computation for lets · Mar 03, 2017
```
v0.0.2
```
v0.0.1

5ae8fb72 · Some analyses (up-to-now distributed with PAKCS or KICS2). · Mar 02, 2017
```
v0.0.1
```