+
+ _ _____ _____ __
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ / / /_
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| '_ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) | (_) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/ \___/
+ (not released yet)
+
+
_ _____ _________
__ _____ _ __ ___(_) ___ _ __ |___ / |___ / ___|
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \___ \
\ V / __/ | \__ \ | (_) | | | | ___) | ___) |__) |
\_/ \___|_| |___/_|\___/|_| |_| |____(_)____/____/
- (not released yet)
+ November 23. 2023
+
+The "Thanks Giving up stateful model-checking" release. Stateless model checking remains.
+ * Maint: liveness checking is gone. It was fragile and buggy.
+ * API: ActivitySet make it easier to manage sets of activities.
+ * Plugins chiller, photovoltaic and battery revamped and improved.
+ * Performance improvements, both in time and memory.
+ * (+ internal refactoring, usability improvements and bug fixes)
_ _____ _____ _ _
__ _____ _ __ ___(_) ___ _ __ |___ / |___ /| || |
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| || |_