Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
814 workflow runs
814 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix order for inequalities in arithmetic justifications such that imp… Open Issues #1840: Commit 249f0de pushed by NikolajBjorner
July 26, 2023 17:06 29m 11s master
master
July 26, 2023 17:06 29m 11s
add rewrite for partially interpreted arithmetic functions Open Issues #1839: Commit c6aab89 pushed by NikolajBjorner
July 25, 2023 21:57 33m 4s master
master
July 25, 2023 21:57 33m 4s
patching up trim Open Issues #1838: Commit 0f2fe60 pushed by NikolajBjorner
July 25, 2023 18:32 44m 10s master
master
July 25, 2023 18:32 44m 10s
Merge branch 'master' of https://github.com/z3prover/z3 Open Issues #1837: Commit 6da4f68 pushed by NikolajBjorner
July 25, 2023 16:47 37m 52s master
master
July 25, 2023 16:47 37m 52s
Remove Z3_literals remnants. (#6829) Open Issues #1836: Commit 8cc6969 pushed by NikolajBjorner
July 24, 2023 02:39 31m 46s master
master
July 24, 2023 02:39 31m 46s
tweak control flow for empty clauses Open Issues #1835: Commit 6c8b860 pushed by NikolajBjorner
July 24, 2023 01:16 29m 12s master
master
July 24, 2023 01:16 29m 12s
fix proof generation for euf-solver Open Issues #1834: Commit 48deb4d pushed by NikolajBjorner
July 23, 2023 21:32 29m 51s master
master
July 23, 2023 21:32 29m 51s
simplify code Open Issues #1833: Commit e64bab4 pushed by NikolajBjorner
July 22, 2023 20:19 37m 43s master
master
July 22, 2023 20:19 37m 43s
fix build warnings Open Issues #1832: Commit d0f2b00 pushed by NikolajBjorner
July 22, 2023 19:24 32m 22s master
master
July 22, 2023 19:24 32m 22s
rename antecedent utilities for clarity Open Issues #1831: Commit a0892c6 pushed by NikolajBjorner
July 22, 2023 18:31 36m 52s master
master
July 22, 2023 18:31 36m 52s
#6822 string matching against version number of glibc to ensure inclu… Open Issues #1830: Commit df8ccce pushed by NikolajBjorner
July 21, 2023 18:03 31m 49s master
master
July 21, 2023 18:03 31m 49s
remove unused variable Open Issues #1829: Commit 4d31ff7 pushed by NikolajBjorner
July 21, 2023 15:35 44m 14s master
master
July 21, 2023 15:35 44m 14s
separate hint literals Open Issues #1828: Commit 3479cdc pushed by NikolajBjorner
July 20, 2023 17:53 42m 6s master
master
July 20, 2023 17:53 42m 6s
build fixes Open Issues #1827: Commit e8a38c5 pushed by NikolajBjorner
July 19, 2023 02:14 29m 54s master
master
July 19, 2023 02:14 29m 54s
enable on-clause with dependencies Open Issues #1826: Commit 3d8f75b pushed by NikolajBjorner
July 18, 2023 23:59 31m 41s master
master
July 18, 2023 23:59 31m 41s
Merge branch 'master' of https://github.com/z3prover/z3 Open Issues #1825: Commit 9db636c pushed by NikolajBjorner
July 17, 2023 18:00 34m 23s master
master
July 17, 2023 18:00 34m 23s
add to m_touched_rows only when bound Open Issues #1824: Commit bfc37bd pushed by levnach
July 17, 2023 18:00 32m 25s master
master
July 17, 2023 18:00 32m 25s
remove garbage file Open Issues #1823: Commit 013d5dc pushed by nunoplopes
July 17, 2023 07:45 30m 46s master
master
July 17, 2023 07:45 30m 46s
comment out debug output Open Issues #1822: Commit 0a91465 pushed by levnach
July 17, 2023 04:41 39m 22s master
master
July 17, 2023 04:41 39m 22s
relax an assertion in int_solver::patcher Open Issues #1821: Commit fd5902f pushed by levnach
July 16, 2023 21:55 41m 4s master
master
July 16, 2023 21:55 41m 4s
fix build Open Issues #1820: Commit 305c1c1 pushed by NikolajBjorner
July 16, 2023 00:52 29m 49s master
master
July 16, 2023 00:52 29m 49s
Merge branch 'master' of https://github.com/z3prover/z3 Open Issues #1819: Commit 715081c pushed by NikolajBjorner
July 16, 2023 00:05 30m 59s master
master
July 16, 2023 00:05 30m 59s
restore the change_rows population in lar_solver Open Issues #1818: Commit 144c9a7 pushed by levnach
July 15, 2023 17:09 30m 58s master
master
July 15, 2023 17:09 30m 58s
code cleaning around m_touched_rows of lar_solver (#6814) Open Issues #1817: Commit 401ec04 pushed by levnach
July 15, 2023 03:19 31m 2s master
master
July 15, 2023 03:19 31m 2s
#6523 Open Issues #1816: Commit 3849f66 pushed by NikolajBjorner
July 14, 2023 17:17 31m 55s master
master
July 14, 2023 17:17 31m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-07-14 or the other filters available.