Skip to content

Actions: SRI-CSL/yices2

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
462 workflow runs
462 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
mcsat: hints for reals CI #449: Pull request #516 opened by ahmed-irfan
June 4, 2024 00:38 9m 53s hint-real-decisions
hint-real-decisions
June 4, 2024 00:38 9m 53s
hints for reals CI #448: Commit 8d48ab1 pushed by ahmed-irfan
June 4, 2024 00:38 8m 57s hint-real-decisions
hint-real-decisions
June 4, 2024 00:38 8m 57s
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