Tags

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

value-switch-milestone-1

28fba6d8 · value-switch: document value-only unpinning experiment (bound_is_exact insufficient) · Jul 01, 2026

Value switch analysis milestone: SAFE-correct 82/83, ffmpeg fixed (fixpoint), bat/loc misses proven IDA over-guesses, both-mode unpinning at legacy parity. 7 commits since 6cc52201.

r25-11

a5c9230d · Merge branch '28-bring-zipr-up-to-date-with-head-of-smpstaticanalyzer' into 'master' · Nov 19, 2025

Release: 25.11
```
Ubuntu 24 support
```
2.0.0

ecef9267 · Merge branch 'incompletely_analyzed_type3' into 'master' · Aug 27, 2025
```
Snapshot for ZAFL VMF ecosystem
```
gt_eval

6e1a73b6 · speed enhancements in zipr, build keystone with Release by default. · Nov 29, 2021
```
Stable with bug fixes for GT benchmarks
```
Release-2-26-2021

03c3bf34 · Submodule updated automatically on gitlabrunnerxenial at Sat Feb 27 00:00:17 UTC 2021 · Feb 27, 2021

Release: Release-2-26-2021
```
The first major release, on Feb 26, 2021.
```
cfar-phase3-final

269797ce · submod · Dec 26, 2018
```
CFAR Phase 3 final deliverable
```
CFAR_AEI

2a5a9ee8 · submod · Aug 02, 2018

CfarJuly2018Eval

09ed4300 · submod · Jun 21, 2018

VGT configuration used to create July Evaluation

pre-las-vegas

9f50eb4d · Moved · Jul 25, 2016