Skip to content

Actions: CEisenhofer/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add API to access symbols associated with quantifiers Android Build #25: Commit 9382b96 pushed by CEisenhofer
November 21, 2023 08:53 7m 59s master
master
November 21, 2023 08:53 7m 59s
Unit-test for parsing bug Android Build #24: Commit 70c9d64 pushed by CEisenhofer
October 30, 2023 18:01 18m 29s master
master
October 30, 2023 18:01 18m 29s
Fixed parsing of | and \ Android Build #23: Commit 4530c56 pushed by CEisenhofer
October 30, 2023 15:48 18m 5s master
master
October 30, 2023 15:48 18m 5s
Missing push calls before "decide"-callback Android Build #22: Commit 342ac1f pushed by CEisenhofer
October 28, 2023 11:28 14m 27s master
master
October 28, 2023 11:28 14m 27s
Merge branch 'master' of https://github.com/CEisenhofer/z3 Android Build #21: Commit 0163620 pushed by CEisenhofer
October 27, 2023 22:07 16m 42s master
master
October 27, 2023 22:07 16m 42s
Don't make it too complicated... Android Build #20: Commit b600b31 pushed by CEisenhofer
October 2, 2023 12:28 12m 23s master
master
October 2, 2023 12:28 12m 23s
Fix registration in final Android Build #19: Commit 034c403 pushed by CEisenhofer
October 2, 2023 11:03 17m 0s master
master
October 2, 2023 11:03 17m 0s
fix case for 0 multiplier in monomial_bounds Android Build #18: Commit ab8fe19 pushed by CEisenhofer
October 2, 2023 11:02 14m 56s master
master
October 2, 2023 11:02 14m 56s
Skip propagations in the new core if they are already satisfied Android Build #17: Commit b5d97d6 pushed by CEisenhofer
July 7, 2023 07:28 12m 50s master
master
July 7, 2023 07:28 12m 50s
Give users ability to see if propagation failed Android Build #16: Commit de0669f pushed by CEisenhofer
July 2, 2023 11:20 13m 47s master
master
July 2, 2023 11:20 13m 47s
find minimal deltas in patching Android Build #15: Commit 61948fa pushed by CEisenhofer
July 2, 2023 08:43 12m 1s master
master
July 2, 2023 08:43 12m 1s
find minimal deltas in patching Android Build #14: Commit 61948fa pushed by CEisenhofer
July 2, 2023 08:43 10m 34s master
master
July 2, 2023 08:43 10m 34s