Skip to content

Actions: Z3Prover/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
android-build.yml
321 workflow run results
321 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip - incremental edit distance algorithm Android Build #2523: Commit 31ee56c pushed by NikolajBjorner
December 13, 2024 17:30 11m 42s master
master
December 13, 2024 17:30 11m 42s
Add __enter__ and __exit__ methods on Optimize class (#7477) Android Build #2522: Commit b429562 pushed by NikolajBjorner
December 13, 2024 17:19 11m 21s master
master
December 13, 2024 17:19 11m 21s
add repair step for str.replace Android Build #2521: Commit 1e5c59a pushed by NikolajBjorner
December 12, 2024 17:15 11m 37s master
master
December 12, 2024 17:15 11m 37s
fix #7461 Android Build #2520: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 11m 26s master
master
December 10, 2024 00:57 11m 26s
add another baseline heuristic for string equalities, add cases for a… Android Build #2519: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 11m 6s master
master
December 9, 2024 23:55 11m 6s
Update emscripten (#7473) Android Build #2518: Commit e5f8327 pushed by NikolajBjorner
December 7, 2024 02:11 11m 0s master
master
December 7, 2024 02:11 11m 0s
fixes to regex membership and edit updates Android Build #2517: Commit 4fbf54a pushed by NikolajBjorner
December 6, 2024 17:50 11m 7s master
master
December 6, 2024 17:50 11m 7s
partial fix to make computed term integer well-formed for solve_for f… Android Build #2516: Commit 1ab0962 pushed by NikolajBjorner
December 6, 2024 01:11 11m 17s master
master
December 6, 2024 01:11 11m 17s
Typescript high-level api for Sets (#7471) Android Build #2515: Commit 4be4067 pushed by NikolajBjorner
December 5, 2024 15:00 12m 33s master
master
December 5, 2024 15:00 12m 33s
bugfix to elim_uncnstr to ensure nodes are created. Prepare smt_inter… Android Build #2514: Commit a17d4e6 pushed by NikolajBjorner
December 4, 2024 23:32 11m 6s master
master
December 4, 2024 23:32 11m 6s
Bump docker/build-push-action from 6.9.0 to 6.10.0 (#7469) Android Build #2513: Commit 6ea4110 pushed by NikolajBjorner
December 2, 2024 23:39 11m 0s master
master
December 2, 2024 23:39 11m 0s
updates to equality solving search Android Build #2512: Commit aec8675 pushed by NikolajBjorner
December 2, 2024 21:41 11m 15s master
master
December 2, 2024 21:41 11m 15s
sls: fix bug where unsat remains empty after a literal is flipped. Th… Android Build #2511: Commit e6feb84 pushed by NikolajBjorner
December 2, 2024 02:36 11m 41s master
master
December 2, 2024 02:36 11m 41s
add v0 of equality solver Android Build #2510: Commit 24c3cd3 pushed by NikolajBjorner
December 1, 2024 01:25 11m 9s master
master
December 1, 2024 01:25 11m 9s
add facility to solve for a linear term over API Android Build #2509: Commit 05e0532 pushed by NikolajBjorner
November 30, 2024 17:34 11m 4s master
master
November 30, 2024 17:34 11m 4s
add projection with witnesses Android Build #2508: Commit d241156 pushed by NikolajBjorner
November 27, 2024 18:26 11m 19s master
master
November 27, 2024 18:26 11m 19s
internalize the reduce_args_tactic to reduce the number of heap alloc… Android Build #2507: Commit ab1be5c pushed by nunoplopes
November 27, 2024 12:36 11m 9s master
master
November 27, 2024 12:36 11m 9s
remove unreachble code Android Build #2506: Commit 1ccfba6 pushed by nunoplopes
November 27, 2024 12:09 11m 3s master
master
November 27, 2024 12:09 11m 3s
use ztring Android Build #2505: Commit 1e62029 pushed by NikolajBjorner
November 26, 2024 01:36 11m 39s master
master
November 26, 2024 01:36 11m 39s
add basic regex functions Android Build #2504: Commit fce377e pushed by NikolajBjorner
November 26, 2024 01:34 11m 45s master
master
November 26, 2024 01:34 11m 45s
add notes and additional functions to sls-seq Android Build #2503: Commit b143a95 pushed by NikolajBjorner
November 25, 2024 21:46 12m 9s master
master
November 25, 2024 21:46 12m 9s
add missing new_value_eh when repaired up Android Build #2502: Commit aed3279 pushed by NikolajBjorner
November 25, 2024 03:57 11m 22s master
master
November 25, 2024 03:57 11m 22s
add missing new_value_eh when repaired up Android Build #2501: Commit 1e839e5 pushed by NikolajBjorner
November 25, 2024 03:42 11m 14s master
master
November 25, 2024 03:42 11m 14s
add comments Android Build #2500: Commit 7ed185a pushed by NikolajBjorner
November 25, 2024 03:09 11m 20s master
master
November 25, 2024 03:09 11m 20s
add local search functionality to sls_seq_plugin Android Build #2499: Commit 4559b23 pushed by NikolajBjorner
November 24, 2024 19:24 11m 51s master
master
November 24, 2024 19:24 11m 51s