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

Finite Field support Windows CI #97: Pull request #513 synchronize by Ovascos
June 25, 2024 08:23 15m 10s Ovascos:ffsat
Ovascos:ffsat
June 25, 2024 08:23 15m 10s
Mcsat ufnra model fix Windows CI #96: Pull request #518 synchronize by ahmed-irfan
June 20, 2024 06:19 16m 41s mcsat-ufnra-model-fix
mcsat-ufnra-model-fix
June 20, 2024 06:19 16m 41s
support qf-bvlra in Yices2 CDCL(T) Windows CI #95: Pull request #515 synchronize by ahmed-irfan
June 20, 2024 05:01 16m 49s bvlra
bvlra
June 20, 2024 05:01 16m 49s
mcsat: hints for reals Windows CI #94: Pull request #516 synchronize by ahmed-irfan
June 20, 2024 04:39 15m 28s hint-real-decisions
hint-real-decisions
June 20, 2024 04:39 15m 28s
Fixes missing comparison in eq_pprod_hobj Windows CI #93: Pull request #520 opened by Ovascos
June 18, 2024 12:55 14m 20s Ovascos:issue-519
Ovascos:issue-519
June 18, 2024 12:55 14m 20s
Mcsat ufnra model fix Windows CI #92: Pull request #518 opened by ahmed-irfan
June 14, 2024 21:48 14m 58s mcsat-ufnra-model-fix
mcsat-ufnra-model-fix
June 14, 2024 21:48 14m 58s
mcsat: hints for reals Windows CI #91: Pull request #516 opened by ahmed-irfan
June 4, 2024 00:38 14m 27s hint-real-decisions
hint-real-decisions
June 4, 2024 00:38 14m 27s
support qf-bvlra in Yices2 CDCL(T) Windows CI #90: Pull request #515 synchronize by ahmed-irfan
June 2, 2024 07:15 15m 0s bvlra
bvlra
June 2, 2024 07:15 15m 0s
support qf-bvlra in Yices2 CDCL(T) Windows CI #89: Pull request #515 opened by ahmed-irfan
June 2, 2024 07:02 17m 1s bvlra
bvlra
June 2, 2024 07:02 17m 1s
Finite Field support Windows CI #88: Pull request #513 synchronize by Ovascos
May 29, 2024 13:51 15m 25s Ovascos:ffsat
Ovascos:ffsat
May 29, 2024 13:51 15m 25s
Finite Field support Windows CI #87: Pull request #513 synchronize by Ovascos
May 24, 2024 15:34 15m 10s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 15:34 15m 10s
Finite Field support Windows CI #86: Pull request #513 synchronize by Ovascos
May 24, 2024 15:09 15m 55s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 15:09 15m 55s
Finite Field support Windows CI #85: Pull request #513 synchronize by Ovascos
May 24, 2024 15:07 14m 51s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 15:07 14m 51s
Finite Field support Windows CI #84: Pull request #513 synchronize by Ovascos
May 24, 2024 14:01 17m 23s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 14:01 17m 23s
Finite Field support Windows CI #83: Pull request #513 opened by Ovascos
May 24, 2024 13:57 16m 54s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 13:57 16m 54s
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