Skip to content

Actions: SRI-CSL/yices2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
514 workflow runs
514 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

check cached value if it must be decided Windows CI #116: Pull request #531 opened by ahmed-irfan
October 2, 2024 17:33 20m 1s nra-cached-must-decide
nra-cached-must-decide
October 2, 2024 17:33 20m 1s
check cached value if it must be decided CI #515: Pull request #531 opened by ahmed-irfan
October 2, 2024 17:33 10m 13s nra-cached-must-decide
nra-cached-must-decide
October 2, 2024 17:33 10m 13s
check cached value if it must be decided CI #514: Commit 9bd8fb6 pushed by ahmed-irfan
October 2, 2024 17:31 12m 41s nra-cached-must-decide
nra-cached-must-decide
October 2, 2024 17:31 12m 41s
progress CI #513: Commit 567a23d pushed by ahmed-irfan
September 27, 2024 22:25 10m 3s mcsat-new-reduce
mcsat-new-reduce
September 27, 2024 22:25 10m 3s
fix mcsat clause rescaling (#530) CI #512: Commit f13608a pushed by ahmed-irfan
September 14, 2024 08:50 9m 36s master
master
September 14, 2024 08:50 9m 36s
fix mcsat clause rescaling CI #511: Pull request #530 opened by ahmed-irfan
September 14, 2024 08:30 10m 43s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 14, 2024 08:30 10m 43s
fix mcsat clause rescaling Windows CI #115: Pull request #530 opened by ahmed-irfan
September 14, 2024 08:30 18m 4s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 14, 2024 08:30 18m 4s
fix mcsat clause rescaling CI #510: Commit 3adb1e3 pushed by ahmed-irfan
September 14, 2024 08:30 9m 21s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 14, 2024 08:30 9m 21s
remove duplicated code about hints in mcsat (#529) CI #509: Commit c36eb74 pushed by ahmed-irfan
September 11, 2024 07:37 9m 47s master
master
September 11, 2024 07:37 9m 47s
remove duplicated code about hints in mcsat Windows CI #114: Pull request #529 opened by ahmed-irfan
September 11, 2024 06:46 22m 31s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 11, 2024 06:46 22m 31s
remove duplicated code about hints in mcsat CI #508: Pull request #529 opened by ahmed-irfan
September 11, 2024 06:46 10m 14s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 11, 2024 06:46 10m 14s
remove duplicated code about hints in mcsat CI #507: Commit ca0a844 pushed by ahmed-irfan
September 11, 2024 06:46 9m 30s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 11, 2024 06:46 9m 30s
bug in FF extension (yices_sum_component) to Yices API CI #506: Commit 1af326b pushed by karthiknukala
September 10, 2024 18:20 11m 41s master
master
September 10, 2024 18:20 11m 41s
Update nra_plugin.c (#528) CI #505: Commit 55321b7 pushed by ahmed-irfan
September 8, 2024 07:25 9m 49s master
master
September 8, 2024 07:25 9m 49s
fix typo in nra_plugin.c CI #504: Pull request #528 opened by ahmed-irfan
September 8, 2024 06:46 9m 47s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 8, 2024 06:46 9m 47s
fix typo in nra_plugin.c Windows CI #113: Pull request #528 opened by ahmed-irfan
September 8, 2024 06:46 22m 43s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 8, 2024 06:46 22m 43s
Update nra_plugin.c CI #503: Commit 95b84b8 pushed by ahmed-irfan
September 8, 2024 06:46 9m 55s ahmed-irfan-patch-1
ahmed-irfan-patch-1
September 8, 2024 06:46 9m 55s
add timeout keyword to set-option in the smt2 frontend (#527) CI #502: Commit 77cd0a2 pushed by ahmed-irfan
September 6, 2024 08:00 9m 50s master
master
September 6, 2024 08:00 9m 50s
add timeout keyword to set-option in the smt2 frontend CI #501: Pull request #527 synchronize by ahmed-irfan
September 5, 2024 21:42 10m 43s smt2-set-option-timeout
smt2-set-option-timeout
September 5, 2024 21:42 10m 43s
add timeout keyword to set-option in the smt2 frontend Windows CI #112: Pull request #527 synchronize by ahmed-irfan
September 5, 2024 21:42 19m 4s smt2-set-option-timeout
smt2-set-option-timeout
September 5, 2024 21:42 19m 4s
add timeout example CI #500: Commit 20e7351 pushed by ahmed-irfan
September 5, 2024 21:42 9m 58s smt2-set-option-timeout
smt2-set-option-timeout
September 5, 2024 21:42 9m 58s
add timeout keyword to set-option in the smt2 frontend Windows CI #111: Pull request #527 opened by ahmed-irfan
September 3, 2024 20:03 19m 51s smt2-set-option-timeout
smt2-set-option-timeout
September 3, 2024 20:03 19m 51s
add timeout keyword to set-option in the smt2 frontend CI #499: Pull request #527 opened by ahmed-irfan
September 3, 2024 20:03 10m 37s smt2-set-option-timeout
smt2-set-option-timeout
September 3, 2024 20:03 10m 37s
add timeout keyword to set-option in the smt2 frontend CI #498: Commit 1c4d70e pushed by ahmed-irfan
September 3, 2024 20:02 9m 27s smt2-set-option-timeout
smt2-set-option-timeout
September 3, 2024 20:02 9m 27s
run make test in CI (#524) CI #497: Commit c0a2609 pushed by ahmed-irfan
August 25, 2024 23:21 9m 39s master
master
August 25, 2024 23:21 9m 39s