Tags

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

v3.15_chamois

e6d1f60c · fix config · Dec 19, 2024
v3.15

a9872d64 · Updates for release 3.15 · Dec 13, 2024
v3.14

6019bc41 · Remove tools/xtime.ml, moved to the small test suite repo · May 02, 2024
v3.13_chamois

e9142323 · Merge tag 'v3.13' into merge-absint · Jul 05, 2023
v3.13

920da14e · Update for next release · Jul 04, 2023
v3.12

db8a63f2 · Updates for release 3.12 · Nov 21, 2022
v3.11_kvx

17cfe45e · Merge tag 'v3.11' into merge_absint · Jun 27, 2022
v3.11

e4bba567 · More updates for release 3.11 · Jun 27, 2022
v3.10

fd2a2a8c · Second update for release 3.10 · Nov 19, 2021
v3.9_kvx_ssa

68b49a32 · Merge branch 'ssa' of https://gitlab.inria.fr/compcertssa/compcertssa into kvx-work-ssa · Jun 03, 2021
v3.9_kvx

3181fe54 · Remove install path bricolage for kvx · Jun 01, 2021
v3.9

7b3bc191 · Update for release 3.9 · May 10, 2021
submission_OOPSLA2021_AARCH64_KVX

95f33ccc · Merge remote-tracking branch 'origin/manuscript' into kvx-work · Apr 13, 2021
```
For aarch64 and kvx benchs in the article
```
submission_OOPSLA2021_RISCV

d472be24 · xorimm · Apr 09, 2021
```
For riscv benchs in the article
```
v3.8_kvx_instructions_fixed

dc1e8157 · fix new register erasing scheme for AArch64 · Dec 08, 2020
v3.8_kvx

23da7b35 · Fixing test/regression for KVX · Dec 07, 2020
v3.8

e6e036b3 · Updates for release 3.8 · Nov 16, 2020
PLDI_2021_anonymized

a2bb4fbe · anonymization · Nov 13, 2020
PLDI_2021_before_anonymization

615644a4 · Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssa · Nov 09, 2020
v3.7-ssa

d0cd2e44 · Remove some unused lemmas · Jul 08, 2020
```
Release v3.7-ssa
```

Prev
1
2
3
4
Next