Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
583 workflow runs
583 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #795: by sosy-bot
41s gh-pages
gh-pages
41s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #76: Pull request #512 synchronize by baierd
20m 34s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
20m 34s
Refactor SMT-LIB Parsing to Support Multiple Assertions CI #75: Pull request #595 synchronize by kfriedberger
6m 23s feat/support-parse-all
feat/support-parse-all
6m 23s
Refactor SMT-LIB Parsing to Support Multiple Assertions CI #74: Pull request #595 synchronize by kfriedberger
12m 47s feat/support-parse-all
feat/support-parse-all
12m 47s
Refactor SMT-LIB Parsing to Support Multiple Assertions CI #73: Pull request #595 synchronize by kfriedberger
15m 30s feat/support-parse-all
feat/support-parse-all
15m 30s
Refactor SMT-LIB Parsing to Support Multiple Assertions CI #72: Pull request #595 synchronize by kfriedberger
25m 37s feat/support-parse-all
feat/support-parse-all
25m 37s
Refactor SMT-LIB Parsing to Support Multiple Assertions CI #71: Pull request #595 opened by kfriedberger
21m 38s feat/support-parse-all
feat/support-parse-all
21m 38s
Solver independent interpolation CI #70: Pull request #560 synchronize by juliusbrehme
14m 17s solver_independent_interpolation2_arm64
solver_independent_interpolation2_arm64
14m 17s
Solver independent interpolation CI #69: Pull request #560 synchronize by juliusbrehme
16m 52s solver_independent_interpolation2_arm64
solver_independent_interpolation2_arm64
16m 52s
558 add general proof api CI #68: Pull request #583 synchronize by gcarpio21
18m 54s 558-add-general-proof-api
558-add-general-proof-api
18m 54s
Develop a common proof format and export proofs CI #67: Pull request #458 synchronize by gcarpio21
16m 4s develop_a_common_proof_format_and_export_proofs
develop_a_common_proof_format_and_export_proofs
16m 4s
558 add general proof api CI #66: Pull request #583 synchronize by gcarpio21
19m 58s 558-add-general-proof-api
558-add-general-proof-api
19m 58s
pages build and deployment pages-build-deployment #794: by sosy-bot
33s gh-pages
gh-pages
33s
Refactor FloatingPointNumber CI #65: Pull request #594 synchronize by daniel-raffler
8m 19s refactorFloatingPointNumber
refactorFloatingPointNumber
8m 19s
Refactor FloatingPointNumber CI #64: Pull request #594 synchronize by daniel-raffler
7m 30s refactorFloatingPointNumber
refactorFloatingPointNumber
7m 30s
Refactor FloatingPointNumber CI #63: Pull request #594 synchronize by daniel-raffler
4m 1s refactorFloatingPointNumber
refactorFloatingPointNumber
4m 1s
Refactor FloatingPointNumber CI #62: Pull request #594 opened by daniel-raffler
8m 18s refactorFloatingPointNumber
refactorFloatingPointNumber
8m 18s
pages build and deployment pages-build-deployment #793: by sosy-bot
42s gh-pages
gh-pages
42s
Changes to the FormulaManager.equal and FormulaManager.distinct API (… CI #61: Commit cf82f84 pushed by kfriedberger
16m 19s master
master
16m 19s
Changes to the FormulaManager.equal and FormulaManager.distinct API CI #60: Pull request #584 synchronize by kfriedberger
8m 11s genericEqualityChanges
genericEqualityChanges
8m 11s
Changes to the FormulaManager.equal and FormulaManager.distinct API CI #59: Pull request #584 synchronize by kfriedberger
7m 59s genericEqualityChanges
genericEqualityChanges
7m 59s
Changes to the FormulaManager.equal and FormulaManager.distinct API CI #58: Pull request #584 synchronize by kfriedberger
7m 25s genericEqualityChanges
genericEqualityChanges
7m 25s
pages build and deployment pages-build-deployment #792: by sosy-bot
36s gh-pages
gh-pages
36s
Changes to the FormulaManager.equal and FormulaManager.distinct API CI #57: Pull request #584 synchronize by kfriedberger
15m 47s genericEqualityChanges
genericEqualityChanges
15m 47s
Merge pull request #591 from sosy-lab/579-optimize-model-generation-i… CI #56: Commit 3e36e30 pushed by kfriedberger
19m 15s master
master
19m 15s