Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
582 workflow runs
582 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #55: Pull request #512 synchronize by baierd
7m 20s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
7m 20s
pages build and deployment pages-build-deployment #791: by sosy-bot
33s gh-pages
gh-pages
33s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #54: Pull request #512 synchronize by baierd
6m 40s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
6m 40s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #53: Pull request #512 synchronize by baierd
11m 14s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
11m 14s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #52: Pull request #512 synchronize by baierd
7m 43s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
7m 43s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #51: Pull request #512 synchronize by baierd
7m 21s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
7m 21s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #50: Pull request #512 synchronize by baierd
8m 5s 504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solvers
8m 5s
Add IEEE-754 Floating Point to Bitvector Conversion Fallback CI #49: Pull request #512 synchronize by baierd
16m 30s 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 30s
pages build and deployment pages-build-deployment #790: by sosy-bot
37m 22s gh-pages
gh-pages
37m 22s
Enable CVC5 in two concurrency tests that require parsing (#593) CI #48: Commit bd6d0e5 pushed by daniel-raffler
28m 21s master
master
28m 21s
CVC5: Enable two concurrency tests that require parsing CI #47: Pull request #593 opened by daniel-raffler
26m 58s enableCVC5Tests
enableCVC5Tests
26m 58s
Update Yices to version 2.7.0 CI #46: Pull request #524 synchronize by daniel-raffler
32m 10s yices-2.7.0
yices-2.7.0
32m 10s
Optimize model generation in CVC5 and Bitwuzla CI #45: Pull request #591 synchronize by daniel-raffler
16m 23s 579-optimize-model-generation-in-cvc5
579-optimize-model-generation-in-cvc5
16m 23s