# Changelog for call-alloy

## Unreleased changes

## Released changes

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