Skip to content

Actions: sosy-lab/java-smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
435 workflow runs
435 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add CI for example projects CI #436: Pull request #667 synchronize by daniel-raffler
7m 45s example-project-ci
example-project-ci
7m 45s
Override default methods in BasicProverEnvironment for all delegates CI #435: Pull request #685 synchronize by daniel-raffler
8m 22s 672-methods-with-default-implementations-missing-from-delegates
672-methods-with-default-implementations-missing-from-delegates
8m 22s
Draft: Add support for eldarica horn solver CI #434: Pull request #683 synchronize by Bixilon
37s eldarica-benchexec
eldarica-benchexec
37s
Draft: Add support for eldarica horn solver CI #433: Pull request #683 synchronize by Bixilon
52s eldarica-benchexec
eldarica-benchexec
52s
Override default methods in BasicProverEnvironment for all delegates CI #432: Pull request #685 synchronize by daniel-raffler
8m 18s 672-methods-with-default-implementations-missing-from-delegates
672-methods-with-default-implementations-missing-from-delegates
8m 18s
Override default methods in BasicProverEnvironment for all delegates CI #431: Pull request #685 synchronize by daniel-raffler
8m 57s 672-methods-with-default-implementations-missing-from-delegates
672-methods-with-default-implementations-missing-from-delegates
8m 57s
Override default methods in BasicProverEnvironment for all delegates CI #430: Pull request #685 synchronize by daniel-raffler
7m 29s 672-methods-with-default-implementations-missing-from-delegates
672-methods-with-default-implementations-missing-from-delegates
7m 29s
Override default methods in BasicProverEnvironment for all delegates CI #429: Pull request #685 synchronize by daniel-raffler
8m 45s 672-methods-with-default-implementations-missing-from-delegates
672-methods-with-default-implementations-missing-from-delegates
8m 45s
Princess: Add work-around for parsing issues CI #428: Pull request #684 synchronize by daniel-raffler
7m 40s 682-smt2-parsing-crash-javalangunsupportedoperationexception-bound-variables-are-no-longer-explicitly-visited-in-javasmt-use-a-combination-of-visitquantifier-for-the-whole-quantified-formula-and-visitfreevariable-in-the-body-instead
682-smt2-parsing-crash-javalangunsupportedoperationexception-bound-variables-are-no-longer-explicitly-visited-in-javasmt-use-a-combination-of-visitquantifier-for-the-whole-quantified-formula-and-visitfreevariable-in-the-body-instead
7m 40s
Refactor AbstractProver flags CI #427: Pull request #679 synchronize by baierd
7m 17s refactor_abstractProver_flags
refactor_abstractProver_flags
7m 17s
Draft: Add support for eldarica horn solver CI #426: Pull request #683 synchronize by Bixilon
58s eldarica-benchexec
eldarica-benchexec
58s
Override default methods in BasicProverEnvironment for all delegates CI #425: Pull request #685 opened by daniel-raffler
8m 40s 672-methods-with-default-implementations-missing-from-delegates
672-methods-with-default-implementations-missing-from-delegates
8m 40s
Draft: Add support for eldarica horn solver CI #424: Pull request #683 synchronize by Bixilon
43s eldarica-benchexec
eldarica-benchexec
43s
Princess: Add work-around for parsing issues CI #423: Pull request #684 opened by daniel-raffler
57s 682-smt2-parsing-crash-javalangunsupportedoperationexception-bound-variables-are-no-longer-explicitly-visited-in-javasmt-use-a-combination-of-visitquantifier-for-the-whole-quantified-formula-and-visitfreevariable-in-the-body-instead
682-smt2-parsing-crash-javalangunsupportedoperationexception-bound-variables-are-no-longer-explicitly-visited-in-javasmt-use-a-combination-of-visitquantifier-for-the-whole-quantified-formula-and-visitfreevariable-in-the-body-instead
57s
Draft: Add support for eldarica horn solver CI #422: Pull request #683 synchronize by Bixilon
39s eldarica-benchexec
eldarica-benchexec
39s
Draft: Add support for eldarica horn solver CI #421: Pull request #683 synchronize by Bixilon
1m 0s eldarica-benchexec
eldarica-benchexec
1m 0s
Update class paths for building in Ant and Eclipse CI #420: Commit 21ffddb pushed by PhilippWendler
58s master
master
58s
Migrate to JUnit6 CI #419: Pull request #681 synchronize by daniel-raffler
17m 0s junit6-noNested
junit6-noNested
17m 0s
Migrate to JUnit6 CI #418: Pull request #681 synchronize by daniel-raffler
20m 6s junit6-noNested
junit6-noNested
20m 6s
Migrate to JUnit6 CI #417: Pull request #681 synchronize by daniel-raffler
17m 23s junit6-noNested
junit6-noNested
17m 23s
Migrate to JUnit6 CI #416: Pull request #681 synchronize by daniel-raffler
16m 38s junit6-noNested
junit6-noNested
16m 38s
Migrate to JUnit6 CI #415: Pull request #681 opened by daniel-raffler
16m 16s junit6-noNested
junit6-noNested
16m 16s
Refactor AbstractProver flags CI #414: Pull request #679 opened by baierd
14m 54s refactor_abstractProver_flags
refactor_abstractProver_flags
14m 54s
Add common precondition checks for unsat core and allSat CI #413: Pull request #674 synchronize by baierd
18m 53s add_common_impl_for_unsatCore_allSat
add_common_impl_for_unsatCore_allSat
18m 53s
Add common precondition checks for unsat core and allSat CI #412: Pull request #674 synchronize by baierd
15m 57s add_common_impl_for_unsatCore_allSat
add_common_impl_for_unsatCore_allSat
15m 57s