dnadlinger
commented
1 year ago - surf_solver.driver: Don't reload config if identical to previous
- devices.surf_solver.mediator: Expose load_config force_reload control
- surf_solver: Greatly speed up static()/dynamic()/split() cache hits