Skip to content

Actions: SRI-CSL/yices2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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) CI #447: Pull request #515 synchronize by ahmed-irfan
June 2, 2024 07:15 11m 0s bvlra
bvlra
June 2, 2024 07:15 11m 0s
add logic in the manual CI #446: Commit 7ac4e79 pushed by ahmed-irfan
June 2, 2024 07:15 9m 31s bvlra
bvlra
June 2, 2024 07:15 9m 31s
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
support qf-bvlra in Yices2 CDCL(T) CI #445: Pull request #515 opened by ahmed-irfan
June 2, 2024 07:02 8m 54s bvlra
bvlra
June 2, 2024 07:02 8m 54s
support qf-bvlra CI #444: Commit adc8e22 pushed by ahmed-irfan
June 2, 2024 06:59 8m 44s bvlra
bvlra
June 2, 2024 06:59 8m 44s
Finite Field support CI #443: Pull request #513 synchronize by Ovascos
May 29, 2024 13:51 3m 10s Ovascos:ffsat
Ovascos:ffsat
May 29, 2024 13:51 3m 10s
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 CI #442: Pull request #513 synchronize by Ovascos
May 24, 2024 15:34 9m 6s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 15:34 9m 6s
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 CI #441: Pull request #513 synchronize by Ovascos
May 24, 2024 15:09 1m 4s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 15:09 1m 4s
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 CI #440: Pull request #513 synchronize by Ovascos
May 24, 2024 15:07 1m 0s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 15:07 1m 0s
Finite Field support CI #439: Pull request #513 synchronize by Ovascos
May 24, 2024 14:01 8m 48s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 14:01 8m 48s
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
Finite Field support CI #438: Pull request #513 opened by Ovascos
May 24, 2024 13:57 9m 12s Ovascos:ffsat
Ovascos:ffsat
May 24, 2024 13:57 9m 12s
recache at restart CI #437: Commit 8a9744c pushed by ahmed-irfan
May 16, 2024 23:11 6m 42s mcsat-recache
mcsat-recache
May 16, 2024 23:11 6m 42s
Update uf_plugin.c (#512) CI #436: Commit f067614 pushed by ahmed-irfan
May 2, 2024 05:55 8m 47s master
master
May 2, 2024 05:55 8m 47s
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
Fix mcsat array optimization CI #435: Pull request #512 opened by ahmed-irfan
May 2, 2024 05:34 9m 55s ahmed-irfan-patch-1
ahmed-irfan-patch-1
May 2, 2024 05:34 9m 55s
Update uf_plugin.c CI #434: Commit ad90f3a pushed by ahmed-irfan
May 2, 2024 05:34 9m 10s ahmed-irfan-patch-1
ahmed-irfan-patch-1
May 2, 2024 05:34 9m 10s
Merge pull request #511 from SRI-CSL/mcsat-int-hint-2 CI #433: Commit 61713b5 pushed by disteph
April 23, 2024 16:09 8m 58s master
master
April 23, 2024 16:09 8m 58s
MCSAT: more decision hints for integer variables CI #432: Pull request #511 synchronize by ahmed-irfan
April 23, 2024 05:18 10m 9s mcsat-int-hint-2
mcsat-int-hint-2
April 23, 2024 05:18 10m 9s