Skip to content

Actions: SRI-CSL/yices2

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows_ci.yml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

also enable nra learning when using interpolation mode Windows CI #72: Pull request #509 opened by ahmed-irfan
April 17, 2024 07:48 19m 24s nra-learn-hint-next-decision
nra-learn-hint-next-decision
April 17, 2024 07:48 19m 24s
Fix Typo in initial var order Windows CI #71: Pull request #508 opened by ahmed-irfan
April 17, 2024 05:17 14m 35s test-initial-order
test-initial-order
April 17, 2024 05:17 14m 35s
Fix mcsat-initial-var-order Windows CI #70: Pull request #507 synchronize by ahmed-irfan
April 11, 2024 08:33 15m 15s ahmed-irfan-patch-1
ahmed-irfan-patch-1
April 11, 2024 08:33 15m 15s
Fix mcsat-initial-var-order Windows CI #69: Pull request #507 opened by ahmed-irfan
April 11, 2024 07:50 14m 19s ahmed-irfan-patch-1
ahmed-irfan-patch-1
April 11, 2024 07:50 14m 19s
mcsat heuristic update -- use similar heuristic parameters as in cdclt Windows CI #68: Pull request #506 opened by ahmed-irfan
April 7, 2024 21:38 15m 56s mcsat-update-heuristic
mcsat-update-heuristic
April 7, 2024 21:38 15m 56s
Update test_model_hint.c Windows CI #67: Pull request #505 synchronize by ahmed-irfan
April 4, 2024 06:46 16m 22s ahmed-irfan-patch-2
ahmed-irfan-patch-2
April 4, 2024 06:46 16m 22s
Update test_model_hint.c Windows CI #66: Pull request #505 opened by ahmed-irfan
April 4, 2024 06:10 23m 59s ahmed-irfan-patch-2
ahmed-irfan-patch-2
April 4, 2024 06:10 23m 59s
Update issue_486.c Windows CI #65: Pull request #504 synchronize by ahmed-irfan
April 4, 2024 06:08 25m 5s ahmed-irfan-patch-1
ahmed-irfan-patch-1
April 4, 2024 06:08 25m 5s
test for issue #451 Windows CI #63: Pull request #503 synchronize by ahmed-irfan
April 4, 2024 05:50 20m 24s test-451
test-451
April 4, 2024 05:50 20m 24s
Update issue_486.c Windows CI #62: Pull request #504 opened by ahmed-irfan
April 4, 2024 05:48 18m 44s ahmed-irfan-patch-1
ahmed-irfan-patch-1
April 4, 2024 05:48 18m 44s
test for issue #451 Windows CI #61: Pull request #503 synchronize by ahmed-irfan
April 4, 2024 05:31 13m 43s test-451
test-451
April 4, 2024 05:31 13m 43s
test for issue #451 Windows CI #60: Pull request #503 synchronize by disteph
April 3, 2024 19:07 15m 20s test-451
test-451
April 3, 2024 19:07 15m 20s
test for issue #451 Windows CI #59: Pull request #503 synchronize by ahmed-irfan
April 3, 2024 18:50 14m 24s test-451
test-451
April 3, 2024 18:50 14m 24s
test for issue #451 Windows CI #58: Pull request #503 synchronize by ahmed-irfan
April 3, 2024 17:03 15m 4s test-451
test-451
April 3, 2024 17:03 15m 4s
test for issue #451 Windows CI #57: Pull request #503 opened by ahmed-irfan
April 3, 2024 16:56 14m 29s test-451
test-451
April 3, 2024 16:56 14m 29s
#486 fix Windows CI #56: Pull request #502 opened by ahmed-irfan
April 3, 2024 06:21 14m 2s 486-assertion-failure-in-srcmcsatvaluec-could-be-a-duplicate-of-451
486-assertion-failure-in-srcmcsatvaluec-could-be-a-duplicate-of-451
April 3, 2024 06:21 14m 2s
improved check for all assigned Windows CI #55: Pull request #501 opened by ahmed-irfan
March 27, 2024 07:09 13m 51s mcsat-array-improved-call
mcsat-array-improved-call
March 27, 2024 07:09 13m 51s
Mcsat set initial var order api Windows CI #54: Pull request #500 synchronize by ahmed-irfan
March 22, 2024 22:04 17m 2s mcsat-set-initial-var-order-api
mcsat-set-initial-var-order-api
March 22, 2024 22:04 17m 2s
Mcsat set initial var order api Windows CI #53: Pull request #500 opened by ahmed-irfan
March 22, 2024 21:58 14m 19s mcsat-set-initial-var-order-api
mcsat-set-initial-var-order-api
March 22, 2024 21:58 14m 19s
Mcsat arrays fixes Windows CI #52: Pull request #499 opened by ahmed-irfan
March 22, 2024 16:26 14m 17s mcsat-arrays-fixes
mcsat-arrays-fixes
March 22, 2024 16:26 14m 17s
Update uf_plugin.c Windows CI #51: Pull request #498 opened by ahmed-irfan
March 20, 2024 17:39 14m 4s ahmed-irfan-patch-1
ahmed-irfan-patch-1
March 20, 2024 17:39 14m 4s
Fix typo in uf_plugin.c Windows CI #50: Pull request #497 opened by ahmed-irfan
March 19, 2024 07:20 14m 15s ahmed-irfan-patch-1
ahmed-irfan-patch-1
March 19, 2024 07:20 14m 15s
Mcsat array simplify var bump Windows CI #49: Pull request #496 opened by ahmed-irfan
March 19, 2024 00:48 14m 3s mcsat-array-simplify-var-bump
mcsat-array-simplify-var-bump
March 19, 2024 00:48 14m 3s
Decision hint queue Windows CI #48: Pull request #494 synchronize by Ovascos
March 13, 2024 22:59 13m 58s Ovascos:decision-hint-queue
Ovascos:decision-hint-queue
March 13, 2024 22:59 13m 58s
Decision hint queue Windows CI #47: Pull request #494 synchronize by Ovascos
March 13, 2024 18:25 14m 37s Ovascos:decision-hint-queue
Ovascos:decision-hint-queue
March 13, 2024 18:25 14m 37s