Skip to content

Commit

Permalink
Add SV-COMP'23 tag to README
Browse files Browse the repository at this point in the history
  • Loading branch information
@viktormalik
viktormalik committed Jan 25, 2023
1 parent 384c20f commit c572aa1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,7 @@ Download using `git clone http://github.com/diffblue/2ls; cd 2ls; git checkout 2

Software Verification Competition Contributions

* [SV-COMP 2023](http://github.com/diffblue/2ls/releases/tag/0.10.0-sv-comp23) (01/2023)
* [SV-COMP 2022](http://github.com/diffblue/2ls/releases/tag/0.9.6-sv-comp22) (01/2022)
* [SV-COMP 2021](http://github.com/diffblue/2ls/releases/tag/0.9.1-sv-comp21) (12/2020)
* [SV-COMP 2020](http://github.com/diffblue/2ls/releases/tag/0.8.2-sv-comp20) (03/2020)
Expand Down

0 comments on commit c572aa1

Please sign in to comment.