Skip to content

Actions: Z3Prover/z3

Actions

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyodide.yml
275 workflow runs
275 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix complete_partial_func for finite domains (#7547) Pyodide Build #275: Commit af270da pushed by NikolajBjorner
February 6, 2025 00:14 21m 5s master
master
February 6, 2025 00:14 21m 5s
Fixed bug in UP (#7545) Pyodide Build #274: Commit 0919844 pushed by NikolajBjorner
February 4, 2025 16:41 21m 0s master
master
February 4, 2025 16:41 21m 0s
fix #7493 Pyodide Build #273: Commit 17d47ca pushed by NikolajBjorner
February 2, 2025 23:00 20m 32s master
master
February 2, 2025 23:00 20m 32s
Add a sharp throttle to lia2card tactic to control overhead in defaul… Pyodide Build #272: Commit 99cbfa7 pushed by NikolajBjorner
February 2, 2025 21:58 20m 40s master
master
February 2, 2025 21:58 20m 40s
disable small clause generation for propagation Pyodide Build #271: Commit fd2a8a5 pushed by NikolajBjorner
February 2, 2025 04:04 20m 30s master
master
February 2, 2025 04:04 20m 30s
release Pyodide Build #270: Commit 0ef2698 pushed by NikolajBjorner
February 1, 2025 01:32 20m 16s master
master
February 1, 2025 01:32 20m 16s
throttle overhead with lia2card Pyodide Build #269: Commit aea4490 pushed by NikolajBjorner
January 31, 2025 20:37 20m 45s master
master
January 31, 2025 20:37 20m 45s
include extensionality constraints for arrays Pyodide Build #268: Commit d465bdb pushed by NikolajBjorner
January 31, 2025 19:06 20m 45s master
master
January 31, 2025 19:06 20m 45s
rehearse release Pyodide Build #267: Commit d6dcc51 pushed by NikolajBjorner
January 31, 2025 17:49 20m 36s master
master
January 31, 2025 17:49 20m 36s
update release version Pyodide Build #266: Commit 8ae24e2 pushed by NikolajBjorner
January 31, 2025 17:29 20m 38s master
master
January 31, 2025 17:29 20m 38s
Bump docker/build-push-action from 6.12.0 to 6.13.0 (#7535) Pyodide Build #265: Commit 1d622a6 pushed by NikolajBjorner
January 31, 2025 17:26 20m 36s master
master
January 31, 2025 17:26 20m 36s
Minor (#7540) Pyodide Build #264: Commit 9557e7c pushed by NikolajBjorner
January 31, 2025 16:22 20m 35s master
master
January 31, 2025 16:22 20m 35s
generalize logic detection to use sub-string matching Pyodide Build #263: Commit 1ce6e66 pushed by NikolajBjorner
January 31, 2025 00:35 20m 42s master
master
January 31, 2025 00:35 20m 42s
fixes based on benchmarking UFDTLIA/NIA/BV Pyodide Build #262: Commit e356628 pushed by NikolajBjorner
January 30, 2025 01:00 20m 48s master
master
January 30, 2025 01:00 20m 48s
fix several crashes exposed by QF_UFDTNIA benchmark sets Pyodide Build #261: Commit f1e0950 pushed by NikolajBjorner
January 30, 2025 00:24 20m 43s master
master
January 30, 2025 00:24 20m 43s
Add selective filter on Ackerman axioms Pyodide Build #260: Commit 51357f6 pushed by NikolajBjorner
January 29, 2025 19:42 20m 52s master
master
January 29, 2025 19:42 20m 52s
Removed no progress case in seq-sls (#7537) Pyodide Build #259: Commit c2a0919 pushed by NikolajBjorner
January 29, 2025 17:44 19m 58s master
master
January 29, 2025 17:44 19m 58s
add eval1 functionality for replace_all Pyodide Build #258: Commit 6d3cfb6 pushed by NikolajBjorner
January 29, 2025 12:37 20m 35s master
master
January 29, 2025 12:37 20m 35s
fix semantics of check-int64 div operation to align with smtlib seman… Pyodide Build #257: Commit ab43d2d pushed by NikolajBjorner
January 29, 2025 12:29 20m 50s master
master
January 29, 2025 12:29 20m 50s
remove verbose output of overflow Pyodide Build #256: Commit 30d72f7 pushed by NikolajBjorner
January 29, 2025 11:48 20m 41s master
master
January 29, 2025 11:48 20m 41s
add check for root literal assignment Pyodide Build #255: Commit 3379155 pushed by NikolajBjorner
January 29, 2025 11:14 20m 58s master
master
January 29, 2025 11:14 20m 58s
handle exception internally, avoid passing rationals to integer opera… Pyodide Build #254: Commit fe5d17d pushed by NikolajBjorner
January 29, 2025 04:10 20m 47s master
master
January 29, 2025 04:10 20m 47s
disable quadratic moves for non-integers as sqrt isn't currently defi… Pyodide Build #253: Commit fe713eb pushed by NikolajBjorner
January 29, 2025 00:53 20m 59s master
master
January 29, 2025 00:53 20m 59s
fix crash reported by Nikhil on F* due to unhandled exception while u… Pyodide Build #252: Commit fa60545 pushed by NikolajBjorner
January 29, 2025 00:27 20m 25s master
master
January 29, 2025 00:27 20m 25s
fix pickup of new constraints Pyodide Build #251: Commit 5c2a9d9 pushed by NikolajBjorner
January 28, 2025 23:04 20m 51s master
master
January 28, 2025 23:04 20m 51s