Added new new selector with different color selection scheme. (!84) · Merge requests · oceandsl / oceandsl-tools

Merged Reiner Jung requested to merge reiner into main 1 year ago

Aug 01, 2023
- Added tests. · d653381f
  Reiner Jung authored 1 year ago
  
  d653381f
Jul 28, 2023
- Fixed indentation. · 838ed13c
  Reiner Jung authored 1 year ago
  
  838ed13c
- Fixed typo · c999f383
  Reiner Jung authored 1 year ago
  
  c999f383
- Updated merge feature. Now the matching table can be outputted. · 0bcdd988
  Reiner Jung authored 1 year ago
  
  0bcdd988
- Updated merger to support merging based on similar content. · 83bd2c6a
  Reiner Jung authored 1 year ago
  
  83bd2c6a
Jul 27, 2023
- Updated merger now able to better merge structurally similary components. · 8739fde6
  Reiner Jung authored 1 year ago
  
  8739fde6
Jul 26, 2023
- Updated merge tool. · acdff3f5
  Reiner Jung authored 1 year ago
  
  acdff3f5
Jul 25, 2023
- Cleanups and fixed rule setup file. · 6d3f1d83
  Reiner Jung authored 1 year ago
  
  6d3f1d83
- Added new new selector with different color selection scheme. · 57ea2bf7
  Reiner Jung authored 1 year ago
  
  Also imporve coloring of graphs.
  57ea2bf7
Jul 21, 2023
- Updated build file. · cd6a3d72
  Reiner Jung authored 1 year ago
  
  cd6a3d72
Jul 17, 2023
- Updated test code. · 47b76603
  Reiner Jung authored 1 year ago
  
  47b76603
Jul 13, 2023
- Started adding test. · 4169bbc1
  Reiner Jung authored 1 year ago
  
  4169bbc1

Added new new selector with different color selection scheme.