Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
745 workflow runs
745 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #228: Pull request #512 synchronize by baierd
18m 49s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
18m 49s
Add a new delegate to allow API tracing CI #227: Pull request #505 synchronize by daniel-raffler
18m 6s tracing_delegate
tracing_delegate
18m 6s
Add a new delegate to allow API tracing CI #226: Pull request #505 synchronize by kfriedberger
17m 30s tracing_delegate
tracing_delegate
17m 30s
pages build and deployment pages-build-deployment #820: by sosy-bot
38s gh-pages
gh-pages
38s
Merge pull request #629 from sosy-lab/feat/smaller-improvements-on-se… CI #225: Commit 8b4e625 pushed by kfriedberger
15m 4s master
master
15m 4s
Smaller improvements on several solvers CI #224: Pull request #629 synchronize by kfriedberger
16m 46s feat/smaller-improvements-on-several-solvers
feat/smaller-improvements-on-several-solvers
16m 46s
Smaller improvements on several solvers CI #223: Pull request #629 opened by kfriedberger
18m 18s feat/smaller-improvements-on-several-solvers
feat/smaller-improvements-on-several-solvers
18m 18s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #222: Pull request #512 synchronize by baierd
16m 52s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
16m 52s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #221: Pull request #512 synchronize by baierd
14m 35s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
14m 35s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #220: Pull request #512 synchronize by baierd
15m 19s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
15m 19s
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