Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
703 workflow runs
703 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a new delegate to allow API tracing CI #219: Pull request #505 synchronize by kfriedberger
17m 50s tracing_delegate
tracing_delegate
17m 50s
Add a new delegate to allow API tracing CI #218: Pull request #505 synchronize by kfriedberger
17m 55s tracing_delegate
tracing_delegate
17m 55s
Add a new delegate to allow API tracing CI #217: Pull request #505 synchronize by kfriedberger
15m 57s tracing_delegate
tracing_delegate
15m 57s
Add a build script for Yices on macOS CI #216: Pull request #628 opened by daniel-raffler
15m 4s yices-macOS
yices-macOS
15m 4s
pages build and deployment pages-build-deployment #819: by sosy-bot
37s gh-pages
gh-pages
37s
Merge pull request #524 from sosy-lab/yices-2.7.0 CI #215: Commit ba08f43 pushed by kfriedberger
18m 5s master
master
18m 5s
Add logic, engine and further options for Z3 CI #214: Pull request #626 synchronize by baierd
19m 35s 613-feature-request-setting-solver-logic-via-javasmt
613-feature-request-setting-solver-logic-via-javasmt
19m 35s
Add logic, engine and further options for Z3 CI #213: Pull request #626 opened by baierd
19m 38s 613-feature-request-setting-solver-logic-via-javasmt
613-feature-request-setting-solver-logic-via-javasmt
19m 38s
Draft: Extend Truth based Solver/Prover Assertions CI #212: Pull request #625 opened by baierd
14m 32s extend_smt_assertions
extend_smt_assertions
14m 32s
Update Yices to version 2.8.0 CI #211: Pull request #524 synchronize by kfriedberger
15m 44s yices-2.7.0
yices-2.7.0
15m 44s
Update Yices to version 2.8.0 CI #210: Pull request #524 synchronize by kfriedberger
18m 35s yices-2.7.0
yices-2.7.0
18m 35s
Update Yices to version 2.8.0 CI #209: Pull request #524 synchronize by kfriedberger
15m 17s yices-2.7.0
yices-2.7.0
15m 17s
Update Yices to version 2.8.0 CI #208: Pull request #524 synchronize by kfriedberger
16m 44s yices-2.7.0
yices-2.7.0
16m 44s
Update Yices to version 2.8.0 CI #207: Pull request #524 synchronize by kfriedberger
14m 33s yices-2.7.0
yices-2.7.0
14m 33s
620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items CI #206: Pull request #621 synchronize by baierd
18m 40s 620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
18m 40s
620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items CI #205: Pull request #621 synchronize by baierd
18m 3s 620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
18m 3s
620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items CI #204: Pull request #621 synchronize by baierd
15m 27s 620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
15m 27s
620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items CI #203: Pull request #621 synchronize by baierd
14m 55s 620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
14m 55s
620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items CI #202: Pull request #621 synchronize by baierd
13m 30s 620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-items
13m 30s
pages build and deployment pages-build-deployment #818: by sosy-bot
38s gh-pages
gh-pages
38s
Merge pull request #623 from sosy-lab/opensmt-2.9.2-parallelBuild CI #201: Commit f5a7ab3 pushed by kfriedberger
15m 46s master
master
15m 46s
OpenSMT: Fix parallel build CI #200: Pull request #623 opened by daniel-raffler
15m 16s opensmt-2.9.2-parallelBuild
opensmt-2.9.2-parallelBuild
15m 16s
Update Yices to version 2.8.0 CI #199: Pull request #524 synchronize by kfriedberger
16m 12s yices-2.7.0
yices-2.7.0
16m 12s
pages build and deployment pages-build-deployment #817: by sosy-bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #816: by sosy-bot
37s gh-pages
gh-pages
37s