# Changelog for call-alloy

## Unreleased changes

## Released changes

### 0.5

- use MonadThrow instead of MonadError
- add Readme eample to test cases

### 0.4.1.1

- introduce flag for testing different SAT solvers

### 0.4.1

- add support for different SAT solvers

### 0.4.0.3

- fix terminal spamming due to process abortion on Windows

### 0.4.0.2

- make resilient to IO errors due to parallelism or abort

### 0.4.0.1

- fix too early abortion of process execution
- show raw output on library parsing issues

### 0.4

- provide required Java libraries in package data directory
- use async for process interaction
- terminate calls to Java properly (even on interrupts)

### 0.3.0.3

- fix runtime error on WARN

### 0.3.0.2

- fix runtime error on PARTIAL_INSTANCE

### 0.3.0.1

- support "State0" line in retrieved instances (introduced by Alloy 6)
- support CRLF at line end

### 0.3

- upgrade to Alloy 6.0.0
- allow slashes in object names
- allow identity relations
- improve feedback on misspelled/missing relation and signature names
- remove 'relToMap'

### 0.2.2.0

- deprecate 'relToMap'
- provide functions for returning raw output of instances
- provide functions for typed retrieval
- deprecate 'getSingle', 'getDouble', 'getTriple', 'objectName'

### 0.2.1.1

- fix errors due to long Alloy code by starting timeout after transferring code

### 0.2.1.0

- enable to abort instance generation early by using timeout

### 0.2.0.6

- allow parsing `'` as part of words.
  (Especially `skolem` may return them if variable names in predicates to check
  are not unique.)
- add version constraint for `Win32`
- allow later versions of `bytestring`