# Changelog for call-alloy
## Unreleased changes
## Released changes
### 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`