Software Open Access

TyGuS/suslik: SuSLik v1.0

Nadia Polikarpova; Ilya Sergey; Yasunari Watanabe; rashchedrin; Kiran Gopinathan; George Pîrlea; peleghila; Shachar Itzhaky; Reuben Rowe

Cyclic program synthesis, with support for certification via HTT/VST/Iris.

Files (620.6 kB)
Name Size
TyGuS/suslik-v1.0.zip
md5:7110e71cfb31cdaefe9ffe9c1ae772bf 		620.6 kB Download
1,635
68
views
downloads
All versions This version
Views 1,635144
Downloads 684
Data volume 63.6 GB2.5 MB
Unique views 1,071139
Unique downloads 584
More info on how stats are collected.
Available in Indexed in
Publication date:
July 6, 2021
DOI:
10.5281/zenodo.5074275

Zenodo DOI Badge

DOI 

10.5281/zenodo.5074275

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg)](https://doi.org/10.5281/zenodo.5074275)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg
   :target: https://doi.org/10.5281/zenodo.5074275

HTML 

<a href="https://doi.org/10.5281/zenodo.5074275"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg

Target URL 

https://doi.org/10.5281/zenodo.5074275

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v1.0 10.5281/zenodo.5074275 Jul 6, 2021
Version v0.5-cav21-artifact 10.5281/zenodo.4850342 May 28, 2021
Version v0.4-cypress 10.5281/zenodo.4679743 Apr 11, 2021
Version v0.4-cypress-no-VM 10.5281/zenodo.4679740 Apr 11, 2021
Version 0.3-cypress 10.5281/zenodo.4639933 Mar 26, 2021
View all 6 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1482573. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export