Skip to content

v0.2.44: Enable more proofs on CI (#319)
Compare
Choose a tag to compare
@github-actions github-actions released this 26 Mar 17:37
v0.2.44
b215e3f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
* Add forgotten underscores for Local

* Changed `Local` to `LocalToken` in `verify.k`

* Added missing cells for proof to pass

* Removed `add.k`from prove fail list

* Set Version: 0.2.24

* Added proof containing assert

* Add forgotten underscores for Local

* Changed `Local` to `LocalToken` in `verify.k`

* Added missing cells for proof to pass

* Removed `add.k`from prove fail list

* Added proof containing assert

* Set Version: 0.2.24

* Set Version: 0.2.26

* lockfile

* mypy pathing

* Added proof with another function call.

Also tried to minimise the amount of output required information for the proof to go through. It appears the type and value information cannot be ommited as it has a default expected value.

* Set Version: 0.2.44

---------

Co-authored-by: devops <[email protected]>
Assets 2
Loading