Skip to content

Actions: Z3Prover/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
android-build.yml
693 workflow runs
693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

type annotations across Python versions Android Build #2836: Commit f607331 pushed by NikolajBjorner
April 5, 2025 05:14 11m 15s master
master
April 5, 2025 05:14 11m 15s
remove downlevel version incompatible elements of typing Android Build #2835: Commit bd2c7aa pushed by NikolajBjorner
April 5, 2025 03:18 11m 31s master
master
April 5, 2025 03:18 11m 31s
remove references to TypeGuard Android Build #2834: Commit 305f1e8 pushed by NikolajBjorner
April 5, 2025 02:41 11m 18s master
master
April 5, 2025 02:41 11m 18s
add initial sample agent use case Android Build #2833: Commit a5048e4 pushed by NikolajBjorner
April 5, 2025 01:54 11m 39s master
master
April 5, 2025 01:54 11m 39s
[z3.py] Fix incorrect call to _get_ctx in SeqMapI (#7610) Android Build #2832: Commit eb4e28d pushed by NikolajBjorner
April 4, 2025 22:54 11m 18s master
master
April 4, 2025 22:54 11m 18s
Note that Z3_get_numeral_small is essentially redundant (#7599) Android Build #2831: Commit 8d81a2d pushed by NikolajBjorner
March 29, 2025 17:02 11m 34s master
master
March 29, 2025 17:02 11m 34s
Add Z3_get_array_arity (#7598) Android Build #2830: Commit 63ad283 pushed by NikolajBjorner
March 28, 2025 21:42 11m 38s master
master
March 28, 2025 21:42 11m 38s
Remove vestiges of old ml api (#7597) Android Build #2829: Commit 934455a pushed by NikolajBjorner
March 27, 2025 23:41 11m 28s master
master
March 27, 2025 23:41 11m 28s
replace Exists by ForAll in the mathematica lemmas Android Build #2828: Commit e4897ff pushed by levnach
March 27, 2025 19:32 11m 37s master
master
March 27, 2025 19:32 11m 37s
enable shorterter mathematica printouts in nlsat Android Build #2827: Commit 39df899 pushed by levnach
March 27, 2025 19:23 11m 42s master
master
March 27, 2025 19:23 11m 42s
turn on ite simplification by default Android Build #2826: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 11m 34s master
master
March 26, 2025 18:30 11m 34s
fix indentation Android Build #2825: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 11m 28s master
master
March 26, 2025 04:27 11m 28s
replace costly ite reduction by disjointnes check Android Build #2824: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 11m 34s master
master
March 26, 2025 04:15 11m 34s
optimize bool rewriter Android Build #2823: Commit 392bc16 pushed by NikolajBjorner
March 25, 2025 21:08 11m 21s master
master
March 25, 2025 21:08 11m 21s
add option to rewrite ite value trees Android Build #2822: Commit 2971250 pushed by NikolajBjorner
March 25, 2025 18:10 12m 36s master
master
March 25, 2025 18:10 12m 36s
change line breaks Android Build #2821: Commit e92ccdd pushed by levnach
March 25, 2025 01:39 11m 47s master
master
March 25, 2025 01:39 11m 47s
change a comment Android Build #2820: Commit 17bd02d pushed by levnach
March 25, 2025 01:29 11m 27s master
master
March 25, 2025 01:29 11m 27s
remove dead code Android Build #2819: Commit 8bbe752 pushed by NikolajBjorner
March 24, 2025 19:47 11m 37s master
master
March 24, 2025 19:47 11m 37s
fix crash in elim_constr2 Android Build #2818: Commit 7e4a1f2 pushed by NikolajBjorner
March 24, 2025 19:36 12m 8s master
master
March 24, 2025 19:36 12m 8s
remove an unused field Android Build #2817: Commit dee3cf8 pushed by levnach
March 24, 2025 17:44 11m 35s master
master
March 24, 2025 17:44 11m 35s
fix #7590 logic alphabet soup Android Build #2816: Commit 30021dd pushed by NikolajBjorner
March 19, 2025 18:57 11m 46s master
master
March 19, 2025 18:57 11m 46s
Fix : typo-in-simplify-tactic (#7587) Android Build #2815: Commit c1719e9 pushed by NikolajBjorner
March 18, 2025 23:43 11m 36s master
master
March 18, 2025 23:43 11m 36s
use iterators on goal and other refactoring Android Build #2814: Commit 2e2a2e2 pushed by NikolajBjorner
March 17, 2025 03:04 11m 38s master
master
March 17, 2025 03:04 11m 38s
fix #7584 Android Build #2813: Commit 0e881e7 pushed by NikolajBjorner
March 15, 2025 20:33 11m 24s master
master
March 15, 2025 20:33 11m 24s
fix #4117 Android Build #2812: Commit 7c226f4 pushed by NikolajBjorner
March 13, 2025 03:14 11m 29s master
master
March 13, 2025 03:14 11m 29s