Skip to content

Actions: daniel-larraz/kind2

Actions

Kind2 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kind2-ci.yml
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reintroduce 'any' operator Kind2 CI #462: Commit 16d922c pushed by daniel-larraz
December 27, 2023 00:53 16m 20s develop
develop
December 27, 2023 00:53 16m 20s
Merge pull request #1040 from daniel-larraz/opt-subrange-contract Kind2 CI #461: Commit dfda15a pushed by daniel-larraz
December 22, 2023 23:08 14m 56s develop
develop
December 22, 2023 23:08 14m 56s
Merge pull request #1039 from daniel-larraz/checks-on-contracts Kind2 CI #460: Commit 038a6db pushed by daniel-larraz
December 21, 2023 20:40 19m 24s develop
develop
December 21, 2023 20:40 19m 24s
Fix scope of contract calls Kind2 CI #459: Commit 3929705 pushed by daniel-larraz
December 21, 2023 16:12 21m 53s develop
develop
December 21, 2023 16:12 21m 53s
Merge pull request #1037 from daniel-larraz/ic3ia-soundness-bug Kind2 CI #458: Commit 0b9e881 pushed by daniel-larraz
December 8, 2023 14:34 22m 11s develop
develop
December 8, 2023 14:34 22m 11s
Reintroduce 'any' operator Kind2 CI #457: Commit d17314a pushed by daniel-larraz
December 6, 2023 21:49 20m 34s develop
develop
December 6, 2023 21:49 20m 34s
Bump version numbers to v2.1.0 Kind2 CI #456: Commit 6f08def pushed by daniel-larraz
December 6, 2023 19:19 19m 17s develop
develop
December 6, 2023 19:19 19m 17s
Fix reporting of array type mismatch Kind2 CI #455: Commit 2ecbe08 pushed by daniel-larraz
December 6, 2023 15:13 23m 9s develop
develop
December 6, 2023 15:13 23m 9s
Merge pull request #1034 from lorchrob/array-length-constraints Kind2 CI #454: Commit 3cd4816 pushed by daniel-larraz
December 6, 2023 14:45 31m 30s develop
develop
December 6, 2023 14:45 31m 30s
Update Z3 path in CI workflow Kind2 CI #453: Commit 99f890c pushed by daniel-larraz
November 10, 2023 04:37 22m 15s develop
develop
November 10, 2023 04:37 22m 15s
Merge pull request #1032 from daniel-larraz/qvar-enum-subrange Kind2 CI #452: Commit 3a4e679 pushed by daniel-larraz
November 10, 2023 01:46 4m 45s develop
develop
November 10, 2023 01:46 4m 45s
Merge pull request #1031 from daniel-larraz/fix-enum-types Kind2 CI #451: Commit c923faa pushed by daniel-larraz
November 10, 2023 00:05 14m 58s develop
develop
November 10, 2023 00:05 14m 58s
Update package info in CI workflow Kind2 CI #450: Commit cff33d5 pushed by daniel-larraz
November 9, 2023 17:55 17m 28s develop
develop
November 9, 2023 17:55 17m 28s
Merge pull request #1030 from daniel-larraz/array-def-check Kind2 CI #449: Commit 8b7da5d pushed by daniel-larraz
November 7, 2023 03:43 16m 56s develop
develop
November 7, 2023 03:43 16m 56s
Bump macOS version in GitHub workflows Kind2 CI #448: Commit 9566bde pushed by daniel-larraz
November 6, 2023 22:59 23m 3s develop
develop
November 6, 2023 22:59 23m 3s
Merge pull request #1029 from daniel-larraz/choose-any Kind2 CI #447: Commit c1dcf8f pushed by daniel-larraz
November 4, 2023 00:32 47m 52s develop
develop
November 4, 2023 00:32 47m 52s
Merge pull request #1028 from lorchrob/extensional-array-equality-fix Kind2 CI #446: Commit 286a82b pushed by daniel-larraz
November 3, 2023 22:33 49m 58s develop
develop
November 3, 2023 22:33 49m 58s
Merge pull request #1022 from daniel-larraz/const-inlining-fix Kind2 CI #445: Commit 5ef47ad pushed by daniel-larraz
November 2, 2023 04:12 14m 17s develop
develop
November 2, 2023 04:12 14m 17s
Merge pull request #1027 from daniel-larraz/thread-exit Kind2 CI #444: Commit 2e3cd5c pushed by daniel-larraz
October 31, 2023 13:59 15m 48s develop
develop
October 31, 2023 13:59 15m 48s
Print warning recommending contract assumptions over assertions Kind2 CI #443: Commit c53aba0 pushed by daniel-larraz
October 30, 2023 21:50 13m 32s develop
develop
October 30, 2023 21:50 13m 32s
Merge pull request #1025 from daniel-larraz/parse-bv-extend-symbols Kind2 CI #442: Commit 8b7282d pushed by daniel-larraz
October 30, 2023 19:48 13m 29s develop
develop
October 30, 2023 19:48 13m 29s
Do not update package info in CI workflow Kind2 CI #441: Commit f1a53dd pushed by daniel-larraz
October 30, 2023 17:41 13m 38s develop
develop
October 30, 2023 17:41 13m 38s
Merge pull request #1024 from daniel-larraz/fix-const-arg-in-nested-call Kind2 CI #440: Commit 9ff3188 pushed by daniel-larraz
October 30, 2023 13:16 1h 27m 37s develop
develop
October 30, 2023 13:16 1h 27m 37s
Merge pull request #1021 from daniel-larraz/pre-in-array-def Kind2 CI #439: Commit 649b98b pushed by daniel-larraz
October 11, 2023 18:06 34m 29s develop
develop
October 11, 2023 18:06 34m 29s
Merge pull request #1020 from daniel-larraz/develop Kind2 CI #438: Commit 0e29b1a pushed by daniel-larraz
October 8, 2023 03:10 14m 33s develop
develop
October 8, 2023 03:10 14m 33s