Skip to content

Actions: SRI-CSL/yices2

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes missing comparison in eq_pprod_hobj CI #455: Pull request #520 opened by Ovascos
June 18, 2024 12:55 9m 24s Ovascos:issue-519
Ovascos:issue-519
June 18, 2024 12:55 9m 24s
Mcsat ufnra model fix CI #454: Pull request #518 opened by ahmed-irfan
June 14, 2024 21:48 9m 49s mcsat-ufnra-model-fix
mcsat-ufnra-model-fix
June 14, 2024 21:48 9m 49s
update test CI #453: Commit c5994af pushed by ahmed-irfan
June 14, 2024 21:47 8m 55s mcsat-ufnra-model-fix
mcsat-ufnra-model-fix
June 14, 2024 21:47 8m 55s
inc tests aufbvnia CI #452: Commit 9aef38e pushed by ahmed-irfan
June 13, 2024 07:45 9m 7s inc-aufbvnia-iss
inc-aufbvnia-iss
June 13, 2024 07:45 9m 7s
propagate at base level CI #451: Commit ea1529e pushed by ahmed-irfan
June 13, 2024 07:36 8m 53s inc-aufbvnia-iss
inc-aufbvnia-iss
June 13, 2024 07:36 8m 53s
Merge remote-tracking branch 'origin/hint-real-decisions' into smtcom… CI #450: Commit d9bc6ca pushed by ahmed-irfan
June 7, 2024 22:17 8m 56s smtcomp2024
smtcomp2024
June 7, 2024 22:17 8m 56s
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) 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) 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 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 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 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 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 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
typos in comments CI #431: Commit 9865782 pushed by ahmed-irfan
April 23, 2024 05:18 9m 5s mcsat-int-hint-2
mcsat-int-hint-2
April 23, 2024 05:18 9m 5s