Skip to content

Actions: SRI-CSL/yices2

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows_ci.yml
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo in uf_plugin.c Windows CI #50: Pull request #497 opened by ahmed-irfan
March 19, 2024 07:20 14m 15s ahmed-irfan-patch-1
ahmed-irfan-patch-1
March 19, 2024 07:20 14m 15s
Mcsat array simplify var bump Windows CI #49: Pull request #496 opened by ahmed-irfan
March 19, 2024 00:48 14m 3s mcsat-array-simplify-var-bump
mcsat-array-simplify-var-bump
March 19, 2024 00:48 14m 3s
Decision hint queue Windows CI #48: Pull request #494 synchronize by Ovascos
March 13, 2024 22:59 13m 58s Ovascos:decision-hint-queue
Ovascos:decision-hint-queue
March 13, 2024 22:59 13m 58s
Decision hint queue Windows CI #47: Pull request #494 synchronize by Ovascos
March 13, 2024 18:25 14m 37s Ovascos:decision-hint-queue
Ovascos:decision-hint-queue
March 13, 2024 18:25 14m 37s
fixes #400 Windows CI #46: Pull request #495 opened by ahmed-irfan
March 12, 2024 06:53 15m 52s mcsat-bv-array-purify
mcsat-bv-array-purify
March 12, 2024 06:53 15m 52s
Decision hint queue Windows CI #45: Pull request #494 synchronize by Ovascos
March 11, 2024 17:46 13m 51s Ovascos:decision-hint-queue
Ovascos:decision-hint-queue
March 11, 2024 17:46 13m 51s
Decision hint queue Windows CI #44: Pull request #494 opened by Ovascos
March 11, 2024 17:35 14m 29s Ovascos:decision-hint-queue
Ovascos:decision-hint-queue
March 11, 2024 17:35 14m 29s
Added mcsat-regress Windows CI #43: Pull request #491 opened by Ovascos
February 29, 2024 03:33 14m 43s Ovascos:mcsat-regress
Ovascos:mcsat-regress
February 29, 2024 03:33 14m 43s
Check parallel Windows CI #42: Pull request #488 synchronize by Ovascos
February 21, 2024 02:29 13m 51s Ovascos:check-parallel
Ovascos:check-parallel
February 21, 2024 02:29 13m 51s
update to github actions checkout 4 Windows CI #39: Pull request #490 synchronize by ahmed-irfan
February 20, 2024 19:29 16m 51s update-actions-checkout-4
update-actions-checkout-4
February 20, 2024 19:29 16m 51s
fix a warning in an api test Windows CI #37: Pull request #489 opened by ahmed-irfan
February 20, 2024 19:11 16m 17s fix-check-api-warning
fix-check-api-warning
February 20, 2024 19:11 16m 17s
Check parallel Windows CI #36: Pull request #488 synchronize by Ovascos
February 19, 2024 23:33 14m 48s Ovascos:check-parallel
Ovascos:check-parallel
February 19, 2024 23:33 14m 48s
Check parallel Windows CI #35: Pull request #488 opened by Ovascos
February 16, 2024 23:56 13m 56s Ovascos:check-parallel
Ovascos:check-parallel
February 16, 2024 23:56 13m 56s
add check-api in the CI Windows CI #34: Pull request #485 synchronize by ahmed-irfan
January 9, 2024 22:55 14m 49s update-ci-check-api
update-ci-check-api
January 9, 2024 22:55 14m 49s
add check-api in the CI Windows CI #33: Pull request #485 opened by ahmed-irfan
January 9, 2024 22:45 14m 12s update-ci-check-api
update-ci-check-api
January 9, 2024 22:45 14m 12s
correct lemmas limit in the multi-check mode Windows CI #32: Pull request #484 opened by ahmed-irfan
December 20, 2023 05:12 13m 54s mcsat-lemma-limit-update
mcsat-lemma-limit-update
December 20, 2023 05:12 13m 54s
delete binary clauses that are true at the base level Windows CI #31: Pull request #483 opened by ahmed-irfan
December 16, 2023 06:15 14m 38s mcsat-filter-binary-clauses
mcsat-filter-binary-clauses
December 16, 2023 06:15 14m 38s
update set-var-order signature Windows CI #30: Pull request #482 opened by ahmed-irfan
December 1, 2023 22:01 14m 22s update-set-var-oder-api
update-set-var-oder-api
December 1, 2023 22:01 14m 22s
MCSAT: Preprocessor: fix equality simplification for mixed real-integer terms Windows CI #29: Pull request #481 opened by ahmed-irfan
November 30, 2023 21:48 14m 47s fix-mcsat-nira-eq-preprocessing
fix-mcsat-nira-eq-preprocessing
November 30, 2023 21:48 14m 47s
Centralize extendable array logic Windows CI #28: Pull request #480 opened by markpmitchell
November 29, 2023 23:03 14m 59s markpmitchell:ds-cleanup
markpmitchell:ds-cleanup
November 29, 2023 23:03 14m 59s
Mcsat api var order Windows CI #27: Pull request #478 synchronize by ahmed-irfan
November 27, 2023 22:08 18m 40s mcsat-api-var-order
mcsat-api-var-order
November 27, 2023 22:08 18m 40s
added missing error strings and array entries Windows CI #26: Pull request #479 synchronize by ahmed-irfan
November 25, 2023 06:33 14m 35s Ovascos:fix-some-printing
Ovascos:fix-some-printing
November 25, 2023 06:33 14m 35s
Mcsat api var order Windows CI #24: Pull request #478 opened by ahmed-irfan
November 20, 2023 08:45 16m 0s mcsat-api-var-order
mcsat-api-var-order
November 20, 2023 08:45 16m 0s
fix registration-queue error in mcsat-model-hint Windows CI #23: Pull request #477 synchronize by ahmed-irfan
November 18, 2023 21:57 18m 38s mcsat-model-hint-registration-queue-fix
mcsat-model-hint-registration-queue-fix
November 18, 2023 21:57 18m 38s
fix registration-queue error in mcsat-model-hint Windows CI #22: Pull request #477 synchronize by ahmed-irfan
November 18, 2023 21:56 4m 28s mcsat-model-hint-registration-queue-fix
mcsat-model-hint-registration-queue-fix
November 18, 2023 21:56 4m 28s