Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
946 workflow runs
946 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix counterexamples for defined constants to functions Kind2 CI #503: Commit 45d2a05 pushed by lorchrob
21m 44s constants-as-functions-2
constants-as-functions-2
21m 44s
Update interface to reflect any/choose distinction Kind2 CI #502: Commit 3d68328 pushed by lorchrob
27m 58s any-choose
any-choose
27m 58s
Clean up PR 1288 Kind2 CI #501: Commit 95b7ac2 pushed by lorchrob
24m 33s any-choose
any-choose
24m 33s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #382: Scheduled
1s develop
develop
1s
Merge branch 'develop' into any-choose Kind2 CI #500: Commit 618637d pushed by lorchrob
21m 3s any-choose
any-choose
21m 3s
Update any/choose op test cases Kind2 CI #499: Commit ec96cd8 pushed by lorchrob
23m 25s any-choose
any-choose
23m 25s
Update user doc for any/choose distinction Kind2 CI #498: Commit f508a3b pushed by lorchrob
2m 14s any-choose
any-choose
2m 14s
Add error case for any operators Kind2 CI #497: Commit 8776bed pushed by lorchrob
11m 8s any-choose
any-choose
11m 8s
Remove comment Kind2 CI #496: Commit be75e24 pushed by lorchrob
17m 7s constants-as-functions-2
constants-as-functions-2
17m 7s
Merge branch 'develop' into constants-as-functions-2 Kind2 CI #495: Commit 0b76523 pushed by lorchrob
17m 8s constants-as-functions-2
constants-as-functions-2
17m 8s
Store UF symbols for functions in LustreNode (#1286) Kind 2 DockerHub #61: Commit dc1ab06 pushed by lorchrob
1s develop
develop
1s
Store UF symbols for functions in LustreNode (#1286) Kind2 CI #494: Commit dc1ab06 pushed by lorchrob
24m 27s develop
develop
24m 27s
testgen: Use JSON format for deadlock traces as well Kind2 CI #493: Commit 6354542 pushed by lorchrob
21m 0s develop
develop
21m 0s
testgen: Use JSON format for deadlock traces as well Kind 2 DockerHub #60: Commit 6354542 pushed by lorchrob
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #381: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #380: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #379: Scheduled
1s develop
develop
1s
Merge branch 'develop' into constants-as-functions-1 Kind2 CI #492: Commit 5f7ed9a pushed by lorchrob
21m 37s constants-as-functions-1
constants-as-functions-1
21m 37s
Test case now (rightly) falsifiable Kind2 CI #491: Commit d62023d pushed by lorchrob
20m 30s any-choose
any-choose
20m 30s
Basic boilerplate for any/choose distinction Kind2 CI #490: Commit 0f43b9e pushed by lorchrob
9m 18s any-choose
any-choose
9m 18s
Fix info printing bug Kind2 CI #489: Commit b07a42b pushed by lorchrob
20m 54s info-printing-bug
info-printing-bug
20m 54s
Contract monitor, test generation pipeline (#1253) Kind 2 DockerHub #59: Commit 2738278 pushed by lorchrob
1s develop
develop
1s
Contract monitor, test generation pipeline (#1253) Kind2 CI #488: Commit 2738278 pushed by lorchrob
27m 52s develop
develop
27m 52s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #378: Scheduled
1s develop
develop
1s
WIP: any-choose Kind2 CI #487: Commit 6a2f4c7 pushed by lorchrob
2m 25s any-choose
any-choose
2m 25s