v1.3.3-experimental

Fixed a bug with Near.

Full Changelog: v0.6.4.1-gpu...v1.3.3-experimental

v1.3.2-experimental

Fixed bug when loading stdlib.imgql (and other imported libraries) which resulted in impossibility to use voxlogica as a different user than the owner of the files

New release using Net 7.0 and SimpleITK 2.3

Fixed an issue with stdlib and other libraries not copied to the release



v1.3-experimental

Updated build to dotnet 7.0 and SimpleITK 2.3


VoxLogicA 1.0 Released!

• The tool has been stable for long enough to deserve promotion from beta testing to release.

• Three new primitives have been introduced, named x,y, and z that at each pixel have the value of the respective coordinate.

Release 0.6.4.3-experimental

Fixes a bug in the logical "interior" operator

New release v0.6.4.2-experimental (pre-release)

Update JSON format to meet WIP UI requirements


VoxLogicA-GPU first alpha release

First version of voxlogica-gpu. Some primitives are missing. The core SLCS primitives, and thresholds, are implemented in GPU. The rest is implemented in CPU.


New release of PolyLogicA

Simplified the definition of reachability

First release of PolyLogicA

A model checker for Polyhedral spaces