Skip to content

Releases: runtimeverification/_kaas_morpho

Release list

24ffe6b

24ffe6b Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Aug 15:30
24ffe6b
24ffe6b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Merge pull request #7 from runtimeverification/petar/lemmas-update-01
Assets 2
Loading

6ad62f1: Merge pull request #5 from runtimeverification/anvacaru/demo

6ad62f1: Merge pull request #5 from runtimeverification/anvacaru/demo

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Aug 10:23
6ad62f1
6ad62f1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Anvacaru/demo
Loading

758664d: Merge pull request #4 from runtimeverification/anvacaru/demo

758664d: Merge pull request #4 from runtimeverification/anvacaru/demo

Choose a tag to compare

View all tags
@github-actions github-actions released this 21 Aug 21:42
758664d
758664d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Final proofs and CI integration.
Loading

f67a5df

f67a5df

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Aug 20:59
f67a5df
f67a5df 
Debug script
Loading

8aa1044

8aa1044

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Aug 20:42
8aa1044
8aa1044 
proof-ci.yml: Missing quote and echo to GITHUB_ENV
Loading

da1e89b

da1e89b

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Aug 15:14
da1e89b
da1e89b 
Check and print out folder (if exists). Upload cache
Loading

8a0be4a

8a0be4a

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Aug 15:23
8a0be4a
8a0be4a 
Merging demo branch CI change
Loading

ed26489

ed26489

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Aug 14:44
ed26489
ed26489 
Rev kontrol version to 411
Loading

b8bf90f: Merge pull request #3 from runtimeverification/add-morpho-code

b8bf90f: Merge pull request #3 from runtimeverification/add-morpho-code

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Aug 14:23
b8bf90f
b8bf90f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Add morpho code
Loading

9d26b19

9d26b19

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Aug 15:25
9d26b19
9d26b19 
Context folder pushd removed
Loading