File tree Expand file tree Collapse file tree 3 files changed +476
-234
lines changed
src/main/java/com/github/javabdd Expand file tree Collapse file tree 3 files changed +476
-234
lines changed Original file line number Diff line number Diff line change @@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
5
5
## [ 2.0.1] - unreleased
6
6
7
7
* Improved license headers, and related changes.
8
+ * Completely reworked the statistics callbacks API.
9
+ * No statistics callbacks are registered by default any more, but they are still available to be registered manually.
10
+ * Added statistics callbacks for operation cache statistics, maximum used BDD node statistics and continuous performance statistics.
11
+ * Removed non-callback use of garbage collection statistics, variable reordering statistics and continuous performance statistics.
12
+ * The maximum used BDD nodes statistics are now properly copied when a ` JFactory ` is cloned.
8
13
9
14
## [ 2.0.0] - 2021-10-28
10
15
* Added CHANGES.md to track changes between releases.
You can’t perform that action at this time.
0 commit comments