Matthias Bisping
|
06d6863cc5
|
Format docstrings
|
2023-01-04 18:50:27 +01:00 |
|
Matthias Bisping
|
eee2f0e256
|
Refactoring
Rename module
|
2023-01-04 17:40:43 +01:00 |
|
Matthias Bisping
|
8c6b940364
|
Refactoring
Clean up Rectangle class
|
2023-01-04 14:57:47 +01:00 |
|
Matthias Bisping
|
cdb12baccd
|
Format docstrings
|
2023-01-04 13:57:51 +01:00 |
|
Matthias Bisping
|
ac84494613
|
Refactoring
|
2023-01-04 13:32:57 +01:00 |
|
Matthias Bisping
|
47e657aaa3
|
Refactoring
Clean up and prove correctness of intersection computation
|
2023-01-04 12:05:57 +01:00 |
|
Matthias Bisping
|
b592497b75
|
Refactoring
|
2023-01-04 10:58:24 +01:00 |
|