Skip to content

Commit c03cf39

Browse files
martinjonasMartin Jonáš
martinjonas
and
Martin Jonáš
authored
Add SMT-COMP 2024 to previous editions. (#143)
Co-authored-by: Martin Jonáš <[email protected]>
1 parent 88f61b2 commit c03cf39

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎web/data/competitions.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
- name: SMT-COMP 2024
2+
link: /2024/
13
- name: SMT-COMP 2023
24
link: /2023/
35
- name: SMT-COMP 2022

0 commit comments

Comments
 (0)