Tags

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

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_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
```
v3.7_mppa_2020-04-01

c34e25a2 · Fixing packedstruct issue · Apr 01, 2020
v3.7

76a4ff8f · Updates for release 3.7 · Mar 31, 2020
v3.6_mppa_2019-09-20

aa5b5a4e · Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-work · Sep 20, 2019
v3.6

e1725209 · Update for release 3.6 · Sep 17, 2019

Prev
1
2
3
Next