Skip to content

v0.2.28: Add feature: prove a single claim in `kmir prove` (#325)

Compare
Choose a tag to compare
@github-actions github-actions released this 26 Feb 14:56
d0092c0
* add command option `--claim` for `kmir prove`

* Set Version: 0.2.26

* fix claim not found issue

* add `--claim-list` option

* Set Version: 0.2.27

* Set Version: 0.2.27

* Set Version: 0.2.28

---------

Co-authored-by: yanliu18 <[email protected]>
Co-authored-by: devops <[email protected]>