Refactor and improve pool abstraction #104

Merged
muellerr merged 2 commits from refactor-pool-impl into main 2024-02-10 15:39:39 +01:00

2 Commits

Author SHA1 Message Date
muellerr 9c310e7a36 Merge branch 'main' into refactor-pool-impl
Rust/sat-rs/pipeline/pr-main This commit looks good
2024-02-10 12:54:36 +01:00
muellerr d017b9c179 Refactored pool abstraction
Rust/sat-rs/pipeline/pr-main This commit looks good
- Redesigned PoolProvider and PoolProviderWithGuards to allow
  easer optimizations and increase flexbility
2024-02-10 11:59:26 +01:00