Tags

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

2025.03.10

a60b92b6 · comments · Mar 08, 2025

Release: 2025.03.10
2023.07.13

7f120187 · add comments and use a pre-build static z3 · Aug 04, 2023

Release: 2023.07.13
2023.04.10

884d1713 · add CI · Apr 25, 2023

Release: 2023.04.10
2022.11.03

4cce18d0 · tags too · Apr 11, 2023

Release: 2022.11.03