Skip to content

Small fixes - #17

Merged
salva24 merged 2 commits into
mainfrom
small_fix_data_sampling
Apr 26, 2026
Merged

salva24 merged 2 commits into
mainfrom
small_fix_data_sampling

Conversation

@salva24

@salva24 salva24 commented Apr 26, 2026

Copy link
Copy Markdown
Owner

Minor fixes: avoid very unlikely division by 0 in data generator, change graph names, use set in thresholds for efficiency, refine example demo1, fix bug with double legend in plot discontinuous

salva24 added 2 commits April 26, 2026 13:53
…nge graph names, use set in thresholds for efficiency, refine example demo1, fix bug with double legend in plot discontinuous
@salva24
salva24 merged commit b7a109c into main Apr 26, 2026
6 checks passed
@salva24
salva24 deleted the small_fix_data_sampling branch June 11, 2026 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant