Skip to content

Actions: kind2-mc/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,106 workflow runs
1,106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1010 from daniel-larraz/fix-list-flattening Kind 2 DockerHub #348: Commit 189845e pushed by daniel-larraz
September 20, 2023 19:14 4m 32s develop
develop
September 20, 2023 19:14 4m 32s
Fix flattening of lists in lustreNodeGen Kind2 CI #1197: Pull request #1010 opened by daniel-larraz
September 20, 2023 18:12 16m 56s daniel-larraz:fix-list-flattening
daniel-larraz:fix-list-flattening
September 20, 2023 18:12 16m 56s
Nightly Build Nightly Build #1028: Scheduled
September 20, 2023 08:14 14m 11s develop
develop
September 20, 2023 08:14 14m 11s
Merge pull request #1009 from daniel-larraz/non-const-shift-arg Kind 2 DockerHub #347: Commit 58df0bf pushed by daniel-larraz
September 19, 2023 22:46 4m 25s develop
develop
September 19, 2023 22:46 4m 25s
Merge pull request #1009 from daniel-larraz/non-const-shift-arg Kind2 CI #1196: Commit 58df0bf pushed by daniel-larraz
September 19, 2023 22:46 14m 28s develop
develop
September 19, 2023 22:46 14m 28s
Allow second argument of shift operators to be non-constant Kind2 CI #1195: Pull request #1009 opened by daniel-larraz
September 19, 2023 21:16 15m 49s daniel-larraz:non-const-shift-arg
daniel-larraz:non-const-shift-arg
September 19, 2023 21:16 15m 49s
Nightly Build Nightly Build #1027: Scheduled
September 19, 2023 08:14 13m 32s develop
develop
September 19, 2023 08:14 13m 32s
Merge pull request #1008 from daniel-larraz/fix-cex-reconstruction Kind 2 DockerHub #346: Commit 0fa27fb pushed by daniel-larraz
September 18, 2023 18:56 4m 53s develop
develop
September 18, 2023 18:56 4m 53s
Merge pull request #1008 from daniel-larraz/fix-cex-reconstruction Kind2 CI #1194: Commit 0fa27fb pushed by daniel-larraz
September 18, 2023 18:56 15m 31s develop
develop
September 18, 2023 18:56 15m 31s
Fix trace reconstruction for stateless variables Kind2 CI #1193: Pull request #1008 opened by daniel-larraz
September 18, 2023 17:50 14m 34s daniel-larraz:fix-cex-reconstruction
daniel-larraz:fix-cex-reconstruction
September 18, 2023 17:50 14m 34s
Nightly Build Nightly Build #1026: Scheduled
September 18, 2023 08:15 14m 39s develop
develop
September 18, 2023 08:15 14m 39s
Nightly Build Nightly Build #1025: Scheduled
September 17, 2023 08:12 11m 43s develop
develop
September 17, 2023 08:12 11m 43s
Nightly Build Nightly Build #1024: Scheduled
September 16, 2023 08:12 12m 37s develop
develop
September 16, 2023 08:12 12m 37s
Nightly Build Nightly Build #1023: Scheduled
September 15, 2023 08:14 13m 43s develop
develop
September 15, 2023 08:14 13m 43s
Merge pull request #1006 from daniel-larraz/fix-contract-checks Kind2 CI #1192: Commit 0cd2600 pushed by daniel-larraz
September 14, 2023 20:40 15m 27s develop
develop
September 14, 2023 20:40 15m 27s
Merge pull request #1006 from daniel-larraz/fix-contract-checks Kind 2 DockerHub #345: Commit 0cd2600 pushed by daniel-larraz
September 14, 2023 20:40 5m 52s develop
develop
September 14, 2023 20:40 5m 52s
Fix several syntax checks for contracts Kind2 CI #1191: Pull request #1006 opened by daniel-larraz
September 14, 2023 19:36 16m 19s daniel-larraz:fix-contract-checks
daniel-larraz:fix-contract-checks
September 14, 2023 19:36 16m 19s
Nightly Build Nightly Build #1022: Scheduled
September 14, 2023 08:14 12m 46s develop
develop
September 14, 2023 08:14 12m 46s
Merge pull request #985 from lorchrob/nondeterministic-choice Kind 2 DockerHub #344: Commit 0532806 pushed by daniel-larraz
September 13, 2023 19:26 4m 30s develop
develop
September 13, 2023 19:26 4m 30s
Merge pull request #985 from lorchrob/nondeterministic-choice Kind2 CI #1190: Commit 0532806 pushed by daniel-larraz
September 13, 2023 19:26 20m 14s develop
develop
September 13, 2023 19:26 20m 14s
Nondeterministic choice Kind2 CI #1189: Pull request #985 synchronize by daniel-larraz
September 13, 2023 18:22 15m 32s lorchrob:nondeterministic-choice
lorchrob:nondeterministic-choice
September 13, 2023 18:22 15m 32s
Nondeterministic choice Kind2 CI #1188: Pull request #985 synchronize by daniel-larraz
September 13, 2023 18:05 15m 0s lorchrob:nondeterministic-choice
lorchrob:nondeterministic-choice
September 13, 2023 18:05 15m 0s
Nondeterministic choice Kind2 CI #1187: Pull request #985 synchronize by lorchrob
September 13, 2023 15:59 15m 10s lorchrob:nondeterministic-choice
lorchrob:nondeterministic-choice
September 13, 2023 15:59 15m 10s
Nondeterministic choice Kind2 CI #1186: Pull request #985 synchronize by lorchrob
September 13, 2023 15:53 5m 9s lorchrob:nondeterministic-choice
lorchrob:nondeterministic-choice
September 13, 2023 15:53 5m 9s
Nondeterministic choice Kind2 CI #1185: Pull request #985 synchronize by daniel-larraz
September 13, 2023 13:03 14m 54s lorchrob:nondeterministic-choice
lorchrob:nondeterministic-choice
September 13, 2023 13:03 14m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-09-13 or the other filters available.