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 dlist tests (#7323) Open Issues #2465: Commit fe59461 pushed by NikolajBjorner
August 1, 2024 23:56 25m 21s master
master
August 1, 2024 23:56 25m 21s
add permutation unit tests (#7300) Open Issues #2464: Commit 6ba25b8 pushed by NikolajBjorner
August 1, 2024 19:56 26m 25s master
master
August 1, 2024 19:56 26m 25s
Added "λ" pretty printing to python (#7320) Open Issues #2463: Commit e7382d6 pushed by NikolajBjorner
July 31, 2024 15:14 26m 3s master
master
July 31, 2024 15:14 26m 3s
fix #7292 (#7316) Open Issues #2462: Commit 0c16d34 pushed by NikolajBjorner
July 30, 2024 18:35 24m 57s master
master
July 30, 2024 18:35 24m 57s
Revert "add scoped vector unit test (#7307)" (#7317) Open Issues #2461: Commit 5fcc50f pushed by NikolajBjorner
July 30, 2024 18:34 24m 15s master
master
July 30, 2024 18:34 24m 15s
add scoped vector unit test (#7307) Open Issues #2460: Commit 2ae3d87 pushed by NikolajBjorner
July 29, 2024 18:08 25m 19s master
master
July 29, 2024 18:08 25m 19s
Gcc 15 two phase (#7313) Open Issues #2459: Commit 2ce89e5 pushed by NikolajBjorner
July 29, 2024 18:07 25m 13s master
master
July 29, 2024 18:07 25m 13s
fix finalize method Open Issues #2458: Commit 25e683e pushed by NikolajBjorner
July 29, 2024 02:10 25m 14s master
master
July 29, 2024 02:10 25m 14s
expose public Open Issues #2457: Commit ac7014a pushed by NikolajBjorner
July 29, 2024 01:18 24m 51s master
master
July 29, 2024 01:18 24m 51s
fix #7309 Open Issues #2456: Commit f94500c pushed by NikolajBjorner
July 28, 2024 11:18 1m 23s master
master
July 28, 2024 11:18 1m 23s
fix #7311 Open Issues #2455: Commit 5f6bb3d pushed by NikolajBjorner
July 27, 2024 06:26 24m 33s master
master
July 27, 2024 06:26 24m 33s
Bump docker/build-push-action from 6.4.0 to 6.5.0 (#7304) Open Issues #2454: Commit 1e6b137 pushed by NikolajBjorner
July 22, 2024 22:42 25m 7s master
master
July 22, 2024 22:42 25m 7s
remove crashing test Open Issues #2453: Commit b535509 pushed by NikolajBjorner
July 22, 2024 15:43 25m 33s master
master
July 22, 2024 15:43 25m 33s
Update coverage.yml Open Issues #2452: Commit 2013cd1 pushed by NikolajBjorner
July 22, 2024 04:08 25m 11s master
master
July 22, 2024 04:08 25m 11s
Revert "new heap invariants (#7298)" (#7303) Open Issues #2451: Commit 966c9a3 pushed by NikolajBjorner
July 22, 2024 04:07 25m 1s master
master
July 22, 2024 04:07 25m 1s
add new hashtable unit tests (#7297) Open Issues #2450: Commit 3d014f8 pushed by NikolajBjorner
July 20, 2024 03:34 25m 12s master
master
July 20, 2024 03:34 25m 12s
add new permutation class invariant (#7299) Open Issues #2449: Commit 49dc1bb pushed by NikolajBjorner
July 20, 2024 02:27 24m 57s master
master
July 20, 2024 02:27 24m 57s
Revert "New invariant for dlist (#7294)" (#7301) Open Issues #2448: Commit 5003d41 pushed by NikolajBjorner
July 20, 2024 02:11 25m 14s master
master
July 20, 2024 02:11 25m 14s
new heap invariants (#7298) Open Issues #2447: Commit 80ac7b3 pushed by NikolajBjorner
July 19, 2024 21:03 25m 9s master
master
July 19, 2024 21:03 25m 9s
new hashtable.h invariants (#7296) Open Issues #2446: Commit bc636d7 pushed by NikolajBjorner
July 19, 2024 21:01 25m 3s master
master
July 19, 2024 21:01 25m 3s
fix signature Open Issues #2445: Commit 08b6338 pushed by NikolajBjorner
July 18, 2024 17:20 24m 27s master
master
July 18, 2024 17:20 24m 27s
unit tests for dlist.h (#7293) Open Issues #2444: Commit 9803e9e pushed by NikolajBjorner
July 18, 2024 17:08 24m 25s master
master
July 18, 2024 17:08 24m 25s
New invariant for dlist (#7294) Open Issues #2443: Commit cf4d0e7 pushed by NikolajBjorner
July 18, 2024 17:07 25m 27s master
master
July 18, 2024 17:07 25m 27s
Bump docker/build-push-action from 6.3.0 to 6.4.0 (#7289) Open Issues #2442: Commit 9073da4 pushed by NikolajBjorner
July 15, 2024 23:54 24m 37s master
master
July 15, 2024 23:54 24m 37s
Bump docker/build-push-action from 6.2.0 to 6.3.0 (#7280) Open Issues #2441: Commit a2c3ce5 pushed by NikolajBjorner
July 15, 2024 20:07 25m 34s master
master
July 15, 2024 20:07 25m 34s