Tags

Tags give the ability to mark specific points in history as being important

v1.2 protected

8e094005 · Version 1.2 · Mar 12, 2023

Release: v1.2 Algorithmic Improvements
```
Version 1.2
```
Unverified
v1.1 protected

95586535 · Version 1.1 · Jan 26, 2022

Release: v1.1 Vertical Decomposition
```
Version 1.1
```
Unverified
v1.0 protected

79bd3223 · Some more fixes · Jan 17, 2022

Release: v1.0 Initial Release
```
Version 1.0
```
Unverified