Tags

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

upstream/0.1.6

9a2d0f7d · New upstream version 0.1.6 · Feb 11, 2026
```
Upstream version 0.1.6
```
Unverified
v0.1.6

9d068246 · Ed25519: Cleanup Basic.v · Oct 06, 2025
v0.1.5

67316f05 · Bump rewriter from `4b028fc` to `9496def` (#2073) · Jun 03, 2025
v0.1.4

b739724d · [CI] Remove dead code (#1903) · May 12, 2024
v0.1.3

5563f092 · Bump rewriter from `56ae1fe` to `b1e8367` (#1885) · Apr 19, 2024
v0.1.2

d1c3f42f · Bump actions/setup-java from 4.1.0 to 4.2.1 (#1836) · Mar 19, 2024
v0.1.1

7b2b728c · Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 (#1810) · Feb 04, 2024
v0.1.0

28c36576 · [CI] [coq-docker] export CI=1 · Nov 16, 2023
v0.0.26

1e8ee807 · Only upload one copy of linux binaries to releases (#1721) · Nov 14, 2023
v0.0.25

3aafcfd4 · Bump rewriter from `5e74224` to `5d274d2` (#1704) · Nov 08, 2023
SP2019+V8.16

77a2f7db · [sp2019latest] User docker for master test (#1696) · Oct 31, 2023
v0.0.24

6d86dbe6 · Fix publish.yml: Remove useless setup-rust-action · Oct 27, 2023
v0.0.23

6f545e76 · [CI] Add checkout to test-rust-check-all · Oct 26, 2023
SP2019+V8.15

d7b417fc · Bump coqprime from `f611fa4` to `d5935ca` (#1688) · Oct 11, 2023
v0.0.22

a51ff82e · Merge pull request #1646 from brycx/core-ops · Sep 01, 2023
v0.0.21

d1ce5d8b · Log last BoringSSL commit in test-fiat-c-boringssl.sh · Aug 29, 2023
v0.0.20

3ee27a22 · bump rupicola for bedrock2 · Apr 01, 2023
v0.0.19

008d2b82 · Merge pull request #1550 from mit-plv/dettman_cli · Mar 07, 2023
v0.0.18

5f581a1f · Bump coqprime from `0f9f20f` to `431d7a6` (#1566) · Mar 01, 2023
SP2019+V8.13

e273fa83 · Use Ubuntu 20.04 for Coq packages · Dec 09, 2022

1
2
3