LogicBlox 4.0.1

Release Date: August 1st 2013

Executive Summary

LogicBlox 4.0.1 introduced a set of drastically simplified numeric
types: the types int, float, and
decimal are to replace numeric types with explicit
bitwidths (e.g. int[32]). While backward
compatibility will be maintained, these new numeric types are
preferred. We encourage all applications to start using them
exclusively.

LogicBlox 4.0 supports applications built using the BLoxWeb
service-oriented architecture. Some modification of logic may be
necessary. Please refer to the migration guide for details.

What's New

LogicBlox 4.0.1 introduces a set of drastically simplified numeric
types: the types int, float, and
decimal are to replace numeric types with explicit
bitwidths (e.g. int[32]). While backward
compatibility will be maintained, these new numeric types are
preferred. We encourage all applications to start using them
exclusively. Please refer to the
LogicBlox 4.0 Migration Guide for details.

The LogicBlox Connectitivity protocol, LogicBlox-distributed
services such as Delimited File Service and Measure Service, the
BloxWeb service framework, and the protocol buffer support, have
all been modified to be consistent with the simplified numeric
types. This implies that all protocol buffer message
specifications must be modified to only use supported numeric
types: int64, sfixed64,
sint64, and double.

Lastly, our effort to clean up the language continues by
discontinuing the support for setting predicate or system
properties through delta rules that write into
system:* predicates. These rules have been
deprecated since LogicBlox 3.4. All predicate properties should
be set using lang:* pragmas.

Corrected Issues

The issues listed below have been corrected
since the 4.0.0 release.

Corrected a memory leak that could cause significant heap usage, and possibly swapping, for large workspaces.

Corrected the handling of
LB_LIBRARY_PATH, LB_STANDARD_LIBRARY, and
libpath in the connectivity server.

Corrected the exit status of lbunit during incorrect
execution. It now returns a non-zero exit code for a failing
test.

Installation and Upgrade information

Installing LogicBlox 4.0.1 is as simple as following
the steps outlined below: