Skip to content

Commit bd6c873

Browse files
committed
Improve CHANGES.md
1 parent fd61876 commit bd6c873

File tree

1 file changed

+7
-6
lines changed

1 file changed

+7
-6
lines changed

CHANGES.md

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,13 @@ All notable changes to this project will be documented in this file.
44

55
## [Unreleased]
66
* Added CHANGES.md to track changes between releases.
7-
* Added the collection of performance statistics.
8-
* Added bdd_used_nodes_count() that counts the number of used nodes.
9-
* Replaced static CACHESTATS by non-static cachestats.enabled, which is adaptable by user.
10-
* Removed shutdown hook from JFactory.
11-
* Changed Cache statistics from int to long.
12-
* Added opAccess statistic to cache statistics.
7+
* Added the collection of platform-independent performance statistics.
8+
* Added `bdd_used_nodes_count()` that counts the number of used nodes.
9+
* Replaced static `CACHESTATS` by non-static `cachestats.enabled`, which is adaptable by user and configurable per BDD factory instance.
10+
* Removed global JVM shutdown hook, that prints cache statistics to `stdout`, from `JFactory`.
11+
* Cache statistics are now measured using `longs` rather than `ints` to reduce integer overflow issues.
12+
* Added `opAccess` statistic to cache statistics.
13+
* Added functionality to reset statistics.
1314

1415
## [1.0.1] - 2020-03-17
1516
* Updated SCM URL for proper Maven Central metadata.

0 commit comments

Comments
 (0)