Skip to content

GitLab

Explore

Sign in

Tags

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

1.1.0 protected

6ff58f0d · [release] bump version · Dec 18, 2024

Release: 1.1.0
```
version 1.1.0
```
1.0 protected

bfc3d4ec · Merge branch 'proof-dumper' into 'master' · May 14, 2024

Release: 1.0
```
version 1.0
```