Skip to content

Actions: SRI-CSL/yices2

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows_ci.yml
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix mcsat array optimization Windows CI #82: Pull request #512 opened by ahmed-irfan
May 2, 2024 05:34 14m 44s ahmed-irfan-patch-1
ahmed-irfan-patch-1
May 2, 2024 05:34 14m 44s
MCSAT: more decision hints for integer variables Windows CI #81: Pull request #511 synchronize by ahmed-irfan
April 23, 2024 05:18 14m 20s mcsat-int-hint-2
mcsat-int-hint-2
April 23, 2024 05:18 14m 20s
MCSAT: more decision hints for integer variables Windows CI #80: Pull request #511 synchronize by ahmed-irfan
April 23, 2024 03:15 24m 23s mcsat-int-hint-2
mcsat-int-hint-2
April 23, 2024 03:15 24m 23s
MCSAT: more decision hints for integer variables Windows CI #79: Pull request #511 synchronize by ahmed-irfan
April 23, 2024 03:12 14m 11s mcsat-int-hint-2
mcsat-int-hint-2
April 23, 2024 03:12 14m 11s
MCSAT: more decision hints for integer variables Windows CI #78: Pull request #511 synchronize by ahmed-irfan
April 22, 2024 22:09 14m 37s mcsat-int-hint-2
mcsat-int-hint-2
April 22, 2024 22:09 14m 37s
MCSAT: more decision hints for integer variables Windows CI #77: Pull request #511 opened by ahmed-irfan
April 21, 2024 08:56 14m 59s mcsat-int-hint-2
mcsat-int-hint-2
April 21, 2024 08:56 14m 59s
also enable nra learning when using interpolation mode Windows CI #76: Pull request #509 synchronize by ahmed-irfan
April 18, 2024 17:15 16m 48s nra-learn-hint-next-decision
nra-learn-hint-next-decision
April 18, 2024 17:15 16m 48s
Fix interpolant with empty model Windows CI #75: Pull request #510 opened by ahmed-irfan
April 18, 2024 05:22 17m 56s fix-interpolant-with-empty-model
fix-interpolant-with-empty-model
April 18, 2024 05:22 17m 56s
also enable nra learning when using interpolation mode Windows CI #74: Pull request #509 synchronize by ahmed-irfan
April 18, 2024 02:23 14m 31s nra-learn-hint-next-decision
nra-learn-hint-next-decision
April 18, 2024 02:23 14m 31s
also enable nra learning when using interpolation mode Windows CI #73: Pull request #509 synchronize by ahmed-irfan
April 17, 2024 21:34 18m 13s nra-learn-hint-next-decision
nra-learn-hint-next-decision
April 17, 2024 21:34 18m 13s
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