Skip to content

Actions: CEisenhofer/z3

Actions

MSVC Static Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msvc-static-build.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed disposing ADT constructors in .Net API MSVC Static Build #110: Commit 99593a2 pushed by CEisenhofer
December 28, 2023 12:50 15m 40s UP-resolved
UP-resolved
December 28, 2023 12:50 15m 40s
Bug fixes and resolved callback MSVC Static Build #109: Commit 5e83f95 pushed by CEisenhofer
November 29, 2023 09:26 15m 12s UP-resolved
UP-resolved
November 29, 2023 09:26 15m 12s
add API to access symbols associated with quantifiers MSVC Static Build #108: Commit 9382b96 pushed by CEisenhofer
November 21, 2023 08:53 15m 25s master
master
November 21, 2023 08:53 15m 25s
Unit-test for parsing bug MSVC Static Build #107: Commit 70c9d64 pushed by CEisenhofer
October 30, 2023 18:01 30m 40s master
master
October 30, 2023 18:01 30m 40s
Fixed parsing of | and \ MSVC Static Build #106: Commit 4530c56 pushed by CEisenhofer
October 30, 2023 15:48 30m 5s master
master
October 30, 2023 15:48 30m 5s
Missing push calls before "decide"-callback MSVC Static Build #105: Commit 342ac1f pushed by CEisenhofer
October 28, 2023 11:28 22m 57s master
master
October 28, 2023 11:28 22m 57s
Merge branch 'master' of https://github.com/CEisenhofer/z3 MSVC Static Build #104: Commit 0163620 pushed by CEisenhofer
October 27, 2023 22:07 26m 51s master
master
October 27, 2023 22:07 26m 51s
Don't make it too complicated... MSVC Static Build #103: Commit b600b31 pushed by CEisenhofer
October 2, 2023 12:28 30m 56s master
master
October 2, 2023 12:28 30m 56s
Fix registration in final MSVC Static Build #102: Commit 034c403 pushed by CEisenhofer
October 2, 2023 11:03 23m 17s master
master
October 2, 2023 11:03 23m 17s
fix case for 0 multiplier in monomial_bounds MSVC Static Build #101: Commit ab8fe19 pushed by CEisenhofer
October 2, 2023 11:02 23m 0s master
master
October 2, 2023 11:02 23m 0s
Skip propagations in the new core if they are already satisfied MSVC Static Build #100: Commit b5d97d6 pushed by CEisenhofer
July 7, 2023 07:28 31m 0s master
master
July 7, 2023 07:28 31m 0s
Give users ability to see if propagation failed MSVC Static Build #99: Commit de0669f pushed by CEisenhofer
July 2, 2023 11:20 25m 38s master
master
July 2, 2023 11:20 25m 38s
find minimal deltas in patching MSVC Static Build #98: Commit 61948fa pushed by CEisenhofer
July 2, 2023 08:43 21m 22s master
master
July 2, 2023 08:43 21m 22s
find minimal deltas in patching MSVC Static Build #97: Commit 61948fa pushed by CEisenhofer
July 2, 2023 08:43 21m 35s master
master
July 2, 2023 08:43 21m 35s