GitLab

[lib] MCLSolutions: Improve extract_activated_frontier_values() by caching result of frontier_pos_and_neg_values()

[lib] Remove dyn_sys attr from MCLAnalyser but keep a getter for it from the current unfolder object

[lib] CLUnfolder.__msolve_constraints and MCLAnalyser.__mac_exhaustive_search now return tuples => Creation is more efficient

[lib] Improve RawSolution.extract_act_input_clock_seq(): processing of solutions is ~15% more efficient

=> Not supported anymore since it is a private attribute of the C++ class
This feature is only used during tests so, not very important (?)

Proper encapsulation of project => ready to separate GUI and library; Add logger on MCLQuery & chart_checker_controler