File tree Expand file tree Collapse file tree 3 files changed +480
-234
lines changed
src/main/java/com/github/javabdd Expand file tree Collapse file tree 3 files changed +480
-234
lines changed Original file line number Diff line number Diff line change 2
2
3
3
All notable changes to this project will be documented in this file.
4
4
5
+ ## [ 2.0.1] - unreleased
6
+
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.
13
+
5
14
## [ 2.0.0] - 2021-10-28
6
15
* Added CHANGES.md to track changes between releases.
7
16
* Added the collection of platform-independent performance statistics.
You can’t perform that action at this time.
0 commit comments