Changelog for call-alloy

Unreleased changes

Released changes

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