Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
735 workflow runs
735 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Princess: Allow SAT checks to be interrupted by the ShutdownManager CI #477: Pull request #723 opened by daniel-raffler
17m 33s 722-allow-princess-to-be-interrupted
722-allow-princess-to-be-interrupted
17m 33s
Add an API call to list available solvers for the current platform CI #476: Pull request #720 opened by daniel-raffler
5m 32s 692-add-a-way-to-query-supported-solvers
692-add-a-way-to-query-supported-solvers
5m 32s
Z3: Remove internal symbols from unsat core and model CI #475: Pull request #719 opened by daniel-raffler
21m 12s 714-z3-internal-symbols-in-unsat-core-and-model
714-z3-internal-symbols-in-unsat-core-and-model
21m 12s
Princess: Eliminate abbreviation symbols from interpolants CI #474: Pull request #718 opened by daniel-raffler
18m 56s 709-princess-unknown-abbreviation-symbols
709-princess-unknown-abbreviation-symbols
18m 56s
Add a parser for full Smtlib scripts CI #473: Pull request #717 synchronize by daniel-raffler
7m 13s antlrParser
antlrParser
7m 13s
Add a parser for full Smtlib scripts CI #472: Pull request #717 synchronize by daniel-raffler
8m 42s antlrParser
antlrParser
8m 42s
Add a parser for full Smtlib scripts CI #471: Pull request #717 opened by daniel-raffler
19m 4s antlrParser
antlrParser
19m 4s
pages build and deployment pages-build-deployment #874: by sosy-bot
37s gh-pages
gh-pages
37s
Update Princess and Ostrich CI #470: Pull request #716 opened by daniel-raffler
1m 45s ostrich2.1
ostrich2.1
1m 45s
Provide JavaSMT main to execute as solver for SMT-COMP CI #469: Pull request #710 synchronize by gcarpio21
6m 21s provide_javasmt_main_to_execute_as_solver_for_smt-comp
provide_javasmt_main_to_execute_as_solver_for_smt-comp
6m 21s
Provide JavaSMT main to execute as solver for SMT-COMP CI #468: Pull request #710 synchronize by gcarpio21
7m 16s provide_javasmt_main_to_execute_as_solver_for_smt-comp
provide_javasmt_main_to_execute_as_solver_for_smt-comp
7m 16s
Provide JavaSMT main to execute as solver for SMT-COMP CI #467: Pull request #710 synchronize by gcarpio21
7m 22s provide_javasmt_main_to_execute_as_solver_for_smt-comp
provide_javasmt_main_to_execute_as_solver_for_smt-comp
7m 22s
Trace: Fix method name in the trace CI #466: Pull request #711 opened by daniel-raffler
18m 33s fix-method-names-in-trace
fix-method-names-in-trace
18m 33s
pages build and deployment pages-build-deployment #873: by sosy-bot
40s gh-pages
gh-pages
40s
Add an option to reject/log Smtlib inputs with illegal commands CI #465: Pull request #630 synchronize by daniel-raffler
16m 8s exhaustiveTokenizer
exhaustiveTokenizer
16m 8s
Provide JavaSMT main to execute as solver for SMT-COMP CI #464: Pull request #710 synchronize by gcarpio21
8m 55s provide_javasmt_main_to_execute_as_solver_for_smt-comp
provide_javasmt_main_to_execute_as_solver_for_smt-comp
8m 55s
Provide JavaSMT main to execute as solver for SMT-COMP CI #463: Pull request #710 opened by gcarpio21
17m 2s provide_javasmt_main_to_execute_as_solver_for_smt-comp
provide_javasmt_main_to_execute_as_solver_for_smt-comp
17m 2s
pages build and deployment pages-build-deployment #872: by sosy-bot
46s gh-pages
gh-pages
46s
pages build and deployment pages-build-deployment #871: by sosy-bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #870: by sosy-bot
34s gh-pages
gh-pages
34s
pages build and deployment pages-build-deployment #869: by sosy-bot
37s gh-pages
gh-pages
37s
Use integers for assertion ids CI #462: Pull request #706 synchronize by daniel-raffler
6m 14s generic-assertion-ids
generic-assertion-ids
6m 14s
pages build and deployment pages-build-deployment #868: by sosy-bot
38s gh-pages
gh-pages
38s
Use integers for assertion ids CI #461: Pull request #706 opened by daniel-raffler
7m 6s generic-assertion-ids
generic-assertion-ids
7m 6s
Add support for indexed functions CI #460: Pull request #507 synchronize by daniel-raffler
7m 4s indexed_functions
indexed_functions
7m 4s